Skip to content

Commit

Permalink
Add error message keys
Browse files Browse the repository at this point in the history
  • Loading branch information
@mernst
mernst committed Jan 5, 2023
1 parent c82aa14 commit febb026
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions framework/src/main/java/org/checkerframework/common/basetype/messages.properties
View file
Original file line number Diff line number Diff line change
Expand Up @@ -73,6 +73,8 @@ purity.not.deterministic.object.creation=object creation not allowed in determin
purity.not.deterministic.not.sideeffectfree.assign.array=array assignment not allowed in deterministic side-effect-free method
purity.not.deterministic.not.sideeffectfree.assign.field=field assignment not allowed in deterministic side-effect-free method
purity.not.deterministic.not.sideeffectfree.call=call to non-deterministic side-effecting %s not allowed in deterministic side-effect-free method
purity.not.sideeffectfree.assign.array=array assignment not allowed in side-effect-free method
purity.not.sideeffectfree.assign.field=field assignment not allowed in side-effect-free method
purity.not.sideeffectfree.call=call to side-effecting %s not allowed in side-effect-free method
purity.more.deterministic=the method %s could be declared as @Deterministic
purity.more.pure=the method %s could be declared as @Pure
Expand Down

0 comments on commit febb026

Please sign in to comment.