Package examples.v2c.tr.expressions
Class TRSubtractExpression
- java.lang.Object
-
- com.fujitsu.vdmj.mapper.MappedObject
-
- examples.v2c.tr.TRNode
-
- examples.v2c.tr.expressions.TRExpression
-
- examples.v2c.tr.expressions.TRBinaryExpression
-
- examples.v2c.tr.expressions.TRSubtractExpression
-
- All Implemented Interfaces:
com.fujitsu.vdmj.mapper.Mappable,Serializable
public class TRSubtractExpression extends TRBinaryExpression
- See Also:
- Serialized Form
-
-
Field Summary
-
Fields inherited from class examples.v2c.tr.expressions.TRBinaryExpression
left, right
-
-
Constructor Summary
Constructors Constructor Description TRSubtractExpression(TRExpression left, TRExpression right)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Stringtranslate()
-
-
-
Constructor Detail
-
TRSubtractExpression
public TRSubtractExpression(TRExpression left, TRExpression right)
-
-
Method Detail
-
translate
public String translate()
- Specified by:
translatein classTRExpression
-
-