public class PBodyCopier extends AbstractRewriterTraceSource
Modifier and Type | Field and Description |
---|---|
protected PBody |
body
The created body
|
protected java.util.Map<PVariable,PVariable> |
variableMapping
Mapping between the original and the copied variables
|
Constructor and Description |
---|
PBodyCopier(PBody body,
IRewriterTraceCollector traceCollector) |
PBodyCopier(PQuery query) |
addTrace, derivativeRemoved, getTraceCollector, getTraces, setTraceCollector
protected PBody body
public PBodyCopier(PBody body, IRewriterTraceCollector traceCollector)
public PBodyCopier(PQuery query)
public void mergeBody(PBody sourceBody)
public void mergeBody(PBody sourceBody, IVariableRenamer namingTool, IConstraintFilter filter)
protected void copyVariable(PVariable variable, java.lang.String newName)
public PBody getCopiedBody()
protected void copyConstraint(PConstraint constraint)
protected ExportedParameter copyExportedParameterConstraint(ExportedParameter exportedParameter)
protected void copyEqualityConstraint(Equality equality)
protected void copyInequalityConstraint(Inequality inequality)
protected void copyTypeConstraint(TypeConstraint typeConstraint)
protected void copyTypeFilterConstraint(TypeFilterConstraint typeConstraint)
protected void copyConstantValueConstraint(ConstantValue constantValue)
protected void copyPositivePatternCallConstraint(PositivePatternCall positivePatternCall)
protected void copyNegativePatternCallConstraint(NegativePatternCall negativePatternCall)
protected void copyBinaryTransitiveClosureConstraint(BinaryTransitiveClosure binaryTransitiveClosure)
protected void copyRelationEvaluationConstraint(RelationEvaluation relationEvaluation)
protected void copyBinaryReflexiveTransitiveClosureConstraint(BinaryReflexiveTransitiveClosure binaryReflexiveTransitiveClosure)
protected void copyPatternMatchCounterConstraint(PatternMatchCounter patternMatchCounter)
protected void copyAggregatorConstraint(AggregatorConstraint constraint)
protected void copyExpressionEvaluationConstraint(ExpressionEvaluation expressionEvaluation)
protected PVariable[] extractMappedVariables(EnumerablePConstraint enumerablePConstraint)
positivePatternCall
-