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
-
-
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
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Stringtranslate()
-
-
-
Constructor Detail
-
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)
-
-