/** * Creates a new PartialEvaluator. * @param valueFactory the value factory that will create all values * during evaluation. * @param invocationUnit the invocation unit that will handle all * communication with other fields and methods. * @param evaluateAllCode a flag that specifies whether all branch targets * and exception handlers should be evaluated, * even if they are unreachable. */ public PartialEvaluator(ValueFactory valueFactory, InvocationUnit invocationUnit, boolean evaluateAllCode) { this(valueFactory, invocationUnit, evaluateAllCode, evaluateAllCode ? new BasicBranchUnit() : new TracedBranchUnit(), new BranchTargetFinder(), null); }
/** * Creates a new PartialEvaluator. * @param valueFactory the value factory that will create all * values during the evaluation. * @param invocationUnit the invocation unit that will handle all * communication with other fields and * methods. * @param evaluateAllCode a flag that specifies whether all branch * targets and exception handlers should be * evaluated, even if they are unreachable. * @param extraInstructionVisitor an optional extra visitor for all * instructions right before they are * executed. */ public PartialEvaluator(ValueFactory valueFactory, InvocationUnit invocationUnit, boolean evaluateAllCode, InstructionVisitor extraInstructionVisitor) { this(valueFactory, invocationUnit, evaluateAllCode, extraInstructionVisitor, evaluateAllCode ? new BasicBranchUnit() : new TracedBranchUnit(), new BranchTargetFinder(), null); }
/** * Creates a new PartialEvaluator. * @param valueFactory the value factory that will create all * values during the evaluation. * @param invocationUnit the invocation unit that will handle all * communication with other fields and * methods. * @param evaluateAllCode a flag that specifies whether all branch * targets and exception handlers should be * evaluated, even if they are unreachable. * @param extraInstructionVisitor an optional extra visitor for all * instructions right before they are * executed. */ public PartialEvaluator(ValueFactory valueFactory, InvocationUnit invocationUnit, boolean evaluateAllCode, InstructionVisitor extraInstructionVisitor) { this(valueFactory, invocationUnit, evaluateAllCode, extraInstructionVisitor, evaluateAllCode ? new BasicBranchUnit() : new TracedBranchUnit(), new BranchTargetFinder(), null); }
/** * Creates a new PartialEvaluator. * @param valueFactory the value factory that will create all * values during the evaluation. * @param invocationUnit the invocation unit that will handle all * communication with other fields and * methods. * @param evaluateAllCode a flag that specifies whether all branch * targets and exception handlers should be * evaluated, even if they are unreachable. * @param extraInstructionVisitor an optional extra visitor for all * instructions right before they are * executed. */ public PartialEvaluator(ValueFactory valueFactory, InvocationUnit invocationUnit, boolean evaluateAllCode, InstructionVisitor extraInstructionVisitor) { this(valueFactory, invocationUnit, evaluateAllCode, extraInstructionVisitor, evaluateAllCode ? new BasicBranchUnit() : new TracedBranchUnit(), new BranchTargetFinder(), null); }