Package examples.v2c.tr.expressions
Class TRExpression
- java.lang.Object
-
- com.fujitsu.vdmj.mapper.MappedObject
-
- examples.v2c.tr.TRNode
-
- examples.v2c.tr.expressions.TRExpression
-
- All Implemented Interfaces:
com.fujitsu.vdmj.mapper.Mappable,Serializable
- Direct Known Subclasses:
TRApplyExpression,TRBinaryExpression,TRIfExpression,TRLiteralExpression,TRVariableExpression
public abstract class TRExpression extends TRNode
- See Also:
- Serialized Form
-
-
Constructor Summary
Constructors Constructor Description TRExpression()
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description abstract Stringtranslate()
-
-
-
Method Detail
-
translate
public abstract String translate()
-
-