steps++; if (steps > maxSteps()) { throw new ExplodedGraphWalker.MaximumStepsReachedException("Too many steps resolving "+methodBehavior.signature());
steps++; if (steps > MAX_STEPS) { throw new MaximumStepsReachedException("reached limit of " + MAX_STEPS + " steps for method " + tree.simpleName().name() + " in class " + tree.symbol().owner().name()); throw new MaximumStepsReachedException( "reached maximum number of " + MAX_NESTED_BOOLEAN_STATES + " branched states for method " + tree.simpleName().name() + " in class " + tree.symbol().owner().name(), e);
steps++; if (steps > maxSteps()) { throw new ExplodedGraphWalker.MaximumStepsReachedException("Too many steps resolving "+methodBehavior.signature());
private void throwMaxSteps(MethodTree tree) { String message = String.format("reached limit of %d steps for method %s#%d in class %s", maxSteps(), tree.simpleName().name(), tree.simpleName().firstToken().line(), tree.symbol().owner().name()); MaximumStepsReachedException cause = new MaximumStepsReachedException(message); interrupted(cause); throw cause; }
private void throwTooManyTransitiveRelationsException(MethodTree tree, RelationalSymbolicValue.TransitiveRelationExceededException e) { String message = String.format("reached maximum number of transitive relations generated for method %s in class %s", tree.simpleName().name(), tree.symbol().owner().name()); MaximumStepsReachedException cause = new MaximumStepsReachedException(message, e); interrupted(cause); throw cause; }
private void throwTooManyBooleanStates(MethodTree tree, TooManyNestedBooleanStatesException e) { String message = String.format("reached maximum number of %d branched states for method %s in class %s", MAX_NESTED_BOOLEAN_STATES, tree.simpleName().name(), tree.symbol().owner().name()); MaximumStepsReachedException cause = new MaximumStepsReachedException(message, e); interrupted(cause); throw cause; }
private void throwTooManyBooleanStates(MethodTree tree, TooManyNestedBooleanStatesException e) { String message = String.format("reached maximum number of %d branched states for method %s in class %s", MAX_NESTED_BOOLEAN_STATES, tree.simpleName().name(), tree.symbol().owner().name()); MaximumStepsReachedException cause = new MaximumStepsReachedException(message, e); interrupted(cause); throw cause; }
private void throwTooManyTransitiveRelationsException(MethodTree tree, RelationalSymbolicValue.TransitiveRelationExceededException e) { String message = String.format("reached maximum number of transitive relations generated for method %s in class %s", tree.simpleName().name(), tree.symbol().owner().name()); MaximumStepsReachedException cause = new MaximumStepsReachedException(message, e); interrupted(cause); throw cause; }
private void throwMaxSteps(MethodTree tree) { String message = String.format("reached limit of %d steps for method %s#%d in class %s", maxSteps(), tree.simpleName().name(), tree.simpleName().firstToken().line(), tree.symbol().owner().name()); MaximumStepsReachedException cause = new MaximumStepsReachedException(message); interrupted(cause); throw cause; }