proguard.evaluation

Class ExecutingInvocationUnit.Builder

java.lang.Object

proguard.evaluation.ExecutingInvocationUnit.Builder

Enclosing class:

ExecutingInvocationUnit

public static class ExecutingInvocationUnit.Builder
extends java.lang.Object

Builds an ExecutingInvocationUnit.

Field Summary

Fields

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 Summary

Constructors

Constructor and Description
Builder()

Method Summary

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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

alwaysReturnsNewInstance

protected java.util.Map<java.lang.String,java.util.Set<java.lang.String>> alwaysReturnsNewInstance

alwaysModifiesInstance

protected java.util.Map<java.lang.String,java.util.Set<java.lang.String>> alwaysModifiesInstance

enableSameInstanceIdApproximation

protected boolean enableSameInstanceIdApproximation

Constructor Detail

Builder

public Builder()

Method Detail

build

public ExecutingInvocationUnit build(ValueFactory valueFactory)

Parameters:

valueFactory - a value factory

Returns:

the build ExecutingInvocationUnit

setAlwaysReturnsNewInstance

public ExecutingInvocationUnit.Builder setAlwaysReturnsNewInstance(java.util.Map<java.lang.String,java.util.Set<java.lang.String>> alwaysReturnsNewInstance)

Parameters:

alwaysReturnsNewInstance - a mapping from class name to method name of methods that the invocation unit will assume to always return a new reference

Returns:

the ExecutingInvocationUnit.Builder

setAlwaysModifiesInstance

public ExecutingInvocationUnit.Builder setAlwaysModifiesInstance(java.util.Map<java.lang.String,java.util.Set<java.lang.String>> alwaysModifiesInstance)

Parameters:

alwaysModifiesInstance - a mapping from class name to method name of methods that the invocation unit will assume to modify the calling instance

Returns:

the ExecutingInvocationUnit.Builder

setEnableSameInstanceIdApproximation

public ExecutingInvocationUnit.Builder setEnableSameInstanceIdApproximation(boolean enableSameInstanceIdApproximation)

Parameters:

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 match

Returns:

the ExecutingInvocationUnit.Builder