Package examples.v2c.tr
Class TRNode
- java.lang.Object
-
- com.fujitsu.vdmj.mapper.MappedObject
-
- examples.v2c.tr.TRNode
-
- All Implemented Interfaces:
com.fujitsu.vdmj.mapper.Mappable,Serializable
- Direct Known Subclasses:
TRDefinition,TRExpression,TRModule,TRType
public abstract class TRNode extends com.fujitsu.vdmj.mapper.MappedObject- See Also:
- Serialized Form
-
-
Constructor Summary
Constructors Constructor Description TRNode()
-
-
-
Field Detail
-
MAPPINGS
public static final String MAPPINGS
- See Also:
- Constant Field Values
-
-