public abstract class Transformation
extends java.lang.Object
originalNode
to any equal node.Modifier and Type | Field and Description |
---|---|
protected EquivalenceInfo |
eqInfo |
static GenProofStepStmt |
MORE_COMPLEX_TRANSFORMATION
It is a possible result for
checkTransformationNecessary(mmj.transforms.Transformation, mmj.transforms.WorksheetInfo)
function. |
static GenProofStepStmt |
NOTHING_TO_TRANSFORM
It is a possible result for
checkTransformationNecessary(mmj.transforms.Transformation, mmj.transforms.WorksheetInfo)
function. |
ParseNode |
originalNode
The original node
|
protected TransformationManager |
trManager |
Constructor and Description |
---|
Transformation(TransformationManager trManager,
ParseNode originalNode) |
Modifier and Type | Method and Description |
---|---|
protected GenProofStepStmt |
checkTransformationNecessary(Transformation target,
mmj.transforms.WorksheetInfo info)
This function checks maybe we should not do anything! We should perform
transformations if this function returns
MORE_COMPLEX_TRANSFORMATION . |
abstract ParseNode |
getCanonicalNode(mmj.transforms.WorksheetInfo info) |
java.lang.String |
toString() |
abstract GenProofStepStmt |
transformMeToTarget(Transformation target,
mmj.transforms.WorksheetInfo info)
This function should construct derivation step sequence from this
originalNode to target's
originalNode |
public final ParseNode originalNode
protected final TransformationManager trManager
protected final EquivalenceInfo eqInfo
public static final GenProofStepStmt NOTHING_TO_TRANSFORM
checkTransformationNecessary(mmj.transforms.Transformation, mmj.transforms.WorksheetInfo)
function. This marker indicates that we should not do anything to get
target transformation.public static final GenProofStepStmt MORE_COMPLEX_TRANSFORMATION
checkTransformationNecessary(mmj.transforms.Transformation, mmj.transforms.WorksheetInfo)
function. This marker indicates that it is not simple case and we should
perform more complex transformation.public Transformation(TransformationManager trManager, ParseNode originalNode)
public abstract ParseNode getCanonicalNode(mmj.transforms.WorksheetInfo info)
info
- the information about previous statementsoriginalNode
public abstract GenProofStepStmt transformMeToTarget(Transformation target, mmj.transforms.WorksheetInfo info)
originalNode
to target's
originalNode
target
- the target transformationinfo
- the information about work sheetoriginalNode
is equal to target
originalNode
. Could returns null it this
and target are equal.protected final GenProofStepStmt checkTransformationNecessary(Transformation target, mmj.transforms.WorksheetInfo info)
MORE_COMPLEX_TRANSFORMATION
.target
- the target transformationinfo
- the information about work sheetNOTHING_TO_TRANSFORM
(if target equals to this), general
statement (if it is already exists) or
MORE_COMPLEX_TRANSFORMATION
if we should perform some
transformations!public java.lang.String toString()
toString
in class java.lang.Object