public class Transformation
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private ValueExpression |
expr1 |
private ValueExpression |
expr2 |
private java.lang.String |
type |
Constructor and Description |
---|
Transformation(java.lang.String type,
ValueExpression ob1,
ValueExpression ob2)
Creation
|
Modifier and Type | Method and Description |
---|---|
void |
accept(EDOALVisitor visitor) |
TypeCheckingVisitor.TYPE |
accept(TypeCheckingVisitor visitor) |
ValueExpression |
getObject1() |
ValueExpression |
getObject2() |
java.lang.String |
getType() |
Transformation |
inverse() |
private java.lang.String type
private ValueExpression expr1
private ValueExpression expr2
public Transformation(java.lang.String type, ValueExpression ob1, ValueExpression ob2) throws AlignmentException
type:
- the direction of the transformationob1
- andob2:
- the two components of the transformationAlignmentException
- when something goes wrong (unlikely)public void accept(EDOALVisitor visitor) throws AlignmentException
AlignmentException
public TypeCheckingVisitor.TYPE accept(TypeCheckingVisitor visitor) throws AlignmentException
AlignmentException
public ValueExpression getObject1()
public ValueExpression getObject2()
public java.lang.String getType()
public Transformation inverse() throws AlignmentException
AlignmentException
(C) INRIA & friends, 2003-2020