public class InfFlowSpec
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static InfFlowSpec |
EMPTY_INF_FLOW_SPEC |
ImmutableList<Term> |
newObjects |
ImmutableList<Term> |
postExpressions |
ImmutableList<Term> |
preExpressions |
Modifier | Constructor and Description |
---|---|
private |
InfFlowSpec() |
|
InfFlowSpec(ImmutableList<Term> preExpressions,
ImmutableList<Term> postExpressions,
ImmutableList<Term> newObjects) |
public static final InfFlowSpec EMPTY_INF_FLOW_SPEC
public final ImmutableList<Term> preExpressions
public final ImmutableList<Term> postExpressions
public final ImmutableList<Term> newObjects
public InfFlowSpec(ImmutableList<Term> preExpressions, ImmutableList<Term> postExpressions, ImmutableList<Term> newObjects)
private InfFlowSpec()