public static class ExecutingInvocationUnit.Builder
extends java.lang.Object
ExecutingInvocationUnit
.Modifier and Type | Field and Description |
---|---|
protected java.util.Map<java.lang.String,java.util.Set<java.lang.String>> |
alwaysModifiesInstance |
protected java.util.Map<java.lang.String,java.util.Set<java.lang.String>> |
alwaysReturnsNewInstance |
protected boolean |
enableSameInstanceIdApproximation |
Constructor and Description |
---|
Builder() |
Modifier and Type | Method and Description |
---|---|
ExecutingInvocationUnit |
build(ValueFactory valueFactory) |
ExecutingInvocationUnit.Builder |
setAlwaysModifiesInstance(java.util.Map<java.lang.String,java.util.Set<java.lang.String>> alwaysModifiesInstance) |
ExecutingInvocationUnit.Builder |
setAlwaysReturnsNewInstance(java.util.Map<java.lang.String,java.util.Set<java.lang.String>> alwaysReturnsNewInstance) |
ExecutingInvocationUnit.Builder |
setEnableSameInstanceIdApproximation(boolean enableSameInstanceIdApproximation) |
protected java.util.Map<java.lang.String,java.util.Set<java.lang.String>> alwaysReturnsNewInstance
protected java.util.Map<java.lang.String,java.util.Set<java.lang.String>> alwaysModifiesInstance
protected boolean enableSameInstanceIdApproximation
public ExecutingInvocationUnit build(ValueFactory valueFactory)
valueFactory
- a value factoryExecutingInvocationUnit
public ExecutingInvocationUnit.Builder setAlwaysReturnsNewInstance(java.util.Map<java.lang.String,java.util.Set<java.lang.String>> alwaysReturnsNewInstance)
alwaysReturnsNewInstance
- a mapping from class name to method name of methods that the invocation unit will assume to always return a new referenceExecutingInvocationUnit.Builder
public ExecutingInvocationUnit.Builder setAlwaysModifiesInstance(java.util.Map<java.lang.String,java.util.Set<java.lang.String>> alwaysModifiesInstance)
alwaysModifiesInstance
- a mapping from class name to method name of methods that the invocation unit will assume to modify the calling instanceExecutingInvocationUnit.Builder
public ExecutingInvocationUnit.Builder setEnableSameInstanceIdApproximation(boolean enableSameInstanceIdApproximation)
enableSameInstanceIdApproximation
- whether the invocation unit will assume for classes not supported for execution that they might return the same reference of the calling
instance if their types matchExecutingInvocationUnit.Builder