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