Package examples.v2c.tr.types

Class TRNumericType

java.lang.Object

com.fujitsu.vdmj.mapper.MappedObject

examples.v2c.tr.TRNode

examples.v2c.tr.types.TRType

examples.v2c.tr.types.TRNumericType

All Implemented Interfaces:

com.fujitsu.vdmj.mapper.Mappable, Serializable

public class TRNumericType
extends TRType

See Also:

• Serialized Form

Field Summary

Fields inherited from class examples.v2c.tr.TRNode

MAPPINGS

Constructor Summary

Constructors

Constructor	Description
TRNumericType(com.fujitsu.vdmj.tc.types.TCIntegerType type)
TRNumericType(com.fujitsu.vdmj.tc.types.TCNaturalOneType type)
TRNumericType(com.fujitsu.vdmj.tc.types.TCNaturalType type)
TRNumericType(com.fujitsu.vdmj.tc.types.TCRationalType type)
TRNumericType(com.fujitsu.vdmj.tc.types.TCRealType type)

Method Summary

Modifier and Type	Method	Description
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

TRNumericType

public TRNumericType(com.fujitsu.vdmj.tc.types.TCNaturalType type)

TRNumericType

public TRNumericType(com.fujitsu.vdmj.tc.types.TCNaturalOneType type)

TRNumericType

public TRNumericType(com.fujitsu.vdmj.tc.types.TCIntegerType type)

TRNumericType

public TRNumericType(com.fujitsu.vdmj.tc.types.TCRationalType type)

TRNumericType

public TRNumericType(com.fujitsu.vdmj.tc.types.TCRealType type)

Method Details

translate

public String translate()

Specified by:

translate in class TRType