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

Field Summary

Fields inherited from class examples.v2c.tr.TRNode

MAPPINGS

Constructor Summary

Constructors

Constructor	Description
TRType()

Method Summary

Modifier and Type	Method	Description
abstract String	translate()

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

Constructor Details

TRType

public TRType()

Method Details

translate

public abstract String translate()