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 |
Constructor and Description |
---|
InfFlowSpec(ImmutableList<Term> preExpressions,
ImmutableList<Term> postExpressions,
ImmutableList<Term> newObjects) |
Modifier and Type | Method and Description |
---|---|
InfFlowSpec |
map(java.util.function.UnaryOperator<Term> op)
Applies a unary operator to every list of terms in this InfFlow specification element.
|
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)
public InfFlowSpec map(java.util.function.UnaryOperator<Term> op)
op
- the operator to apply.Copyright © 2003-2019 The KeY-Project.