Skip to content

Commit

Permalink
Fix quality flaw: method can be static
Browse files Browse the repository at this point in the history
  • Loading branch information
Wohops committed Nov 24, 2015
1 parent 821ae2e commit 5987d83
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -96,7 +96,7 @@ public void checkPostStatement(CheckerContext context, Tree syntaxNode) {
}
}

private List<ProgramState> setNullConstraint(CheckerContext context, Tree syntaxNode) {
private static List<ProgramState> setNullConstraint(CheckerContext context, Tree syntaxNode) {
SymbolicValue val = context.getState().peekValue();
if (syntaxNode.is(Tree.Kind.NULL_LITERAL)) {
// invariant to check that value was correctly evaluated.
Expand Down

0 comments on commit 5987d83

Please sign in to comment.