examples.v2c.tr

Class TRNode

java.lang.Object

com.fujitsu.vdmj.mapper.MappedObject

examples.v2c.tr.TRNode

All Implemented Interfaces:

Mappable, Serializable

Direct Known Subclasses:

TRDefinition, TRExpression, TRModule, TRType

public abstract class TRNode
extends MappedObject

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
static String	MAPPINGS

Constructor Summary

Constructors

Constructor and Description
TRNode()

Method Summary

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

getMappedId

Methods inherited from class java.lang.Object

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

Field Detail

MAPPINGS

public static final String MAPPINGS

See Also:

Constant Field Values

Constructor Detail

TRNode

public TRNode()