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

Field Summary

Fields

Modifier and Type	Field	Description
static final String	MAPPINGS

Constructor Summary

Constructors

Constructor	Description
TRNode()

Method Summary

Methods inherited from class com.fujitsu.vdmj.mapper.MappedObject

getMappedId, getNextMappedId

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

MAPPINGS

public static final String MAPPINGS

See Also:

• Constant Field Values

Constructor Details

TRNode

public TRNode()