public class MatchConditions
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static MatchConditions |
EMPTY_MATCHCONDITIONS |
private SVInstantiations |
instantiations |
private RenameTable |
renameTable |
Constructor and Description |
---|
MatchConditions() |
MatchConditions(SVInstantiations p_instantiations,
RenameTable p_renameTable) |
Modifier and Type | Method and Description |
---|---|
MatchConditions |
addRenaming(QuantifiableVariable q1,
QuantifiableVariable q2) |
MatchConditions |
extendRenameTable() |
SVInstantiations |
getInstantiations() |
RenameTable |
renameTable() |
MatchConditions |
setInstantiations(SVInstantiations p_instantiations) |
MatchConditions |
shrinkRenameTable() |
public static final MatchConditions EMPTY_MATCHCONDITIONS
private final SVInstantiations instantiations
private final RenameTable renameTable
public MatchConditions()
public MatchConditions(SVInstantiations p_instantiations, RenameTable p_renameTable)
public SVInstantiations getInstantiations()
public MatchConditions setInstantiations(SVInstantiations p_instantiations)
public MatchConditions extendRenameTable()
public MatchConditions addRenaming(QuantifiableVariable q1, QuantifiableVariable q2)
public RenameTable renameTable()
public MatchConditions shrinkRenameTable()