@VisibleForTesting protected ExplodedGraphWalker(List<SECheck> seChecks, BehaviorCache behaviorCache, SemanticModel semanticModel) { this.alwaysTrueOrFalseExpressionCollector = new AlwaysTrueOrFalseExpressionCollector(); this.checkerDispatcher = new CheckerDispatcher(this, seChecks); this.behaviorCache = behaviorCache; this.semanticModel = semanticModel; }
@VisibleForTesting protected ExplodedGraphWalker(List<SECheck> seChecks, BehaviorCache behaviorCache, SemanticModel semanticModel) { this.alwaysTrueOrFalseExpressionCollector = new AlwaysTrueOrFalseExpressionCollector(); this.checkerDispatcher = new CheckerDispatcher(this, seChecks); this.behaviorCache = behaviorCache; this.semanticModel = semanticModel; }
@VisibleForTesting public ExplodedGraphWalker(BehaviorCache behaviorCache, SemanticModel semanticModel) { List<SECheck> checks = Lists.newArrayList(new NullDereferenceCheck(), new DivisionByZeroCheck(), new UnclosedResourcesCheck(), new LocksNotUnlockedCheck(), new NonNullSetToNullCheck(), new NoWayOutLoopCheck()); this.alwaysTrueOrFalseExpressionCollector = new AlwaysTrueOrFalseExpressionCollector(); this.checkerDispatcher = new CheckerDispatcher(this, checks); this.behaviorCache = behaviorCache; this.semanticModel = semanticModel; }
@VisibleForTesting public ExplodedGraphWalker(BehaviorCache behaviorCache, SemanticModel semanticModel) { List<SECheck> checks = Lists.newArrayList(new NullDereferenceCheck(), new DivisionByZeroCheck(), new UnclosedResourcesCheck(), new LocksNotUnlockedCheck(), new NonNullSetToNullCheck(), new NoWayOutLoopCheck()); this.alwaysTrueOrFalseExpressionCollector = new AlwaysTrueOrFalseExpressionCollector(); this.checkerDispatcher = new CheckerDispatcher(this, checks); this.behaviorCache = behaviorCache; this.semanticModel = semanticModel; }
public ExplodedGraphWalker(JavaFileScannerContext context) { alwaysTrueOrFalseChecker = new ConditionAlwaysTrueOrFalseCheck(); this.checkerDispatcher = new CheckerDispatcher(this, context, Lists.<SECheck>newArrayList(alwaysTrueOrFalseChecker, new NullDereferenceCheck(), new UnclosedResourcesCheck(), new LocksNotUnlockedCheck())); }