examples.v2c.tr.expressions

Class TRLiteralExpression

java.lang.Object

com.fujitsu.vdmj.mapper.MappedObject

examples.v2c.tr.TRNode

examples.v2c.tr.expressions.TRExpression

examples.v2c.tr.expressions.TRLiteralExpression

All Implemented Interfaces:

Mappable, Serializable

public class TRLiteralExpression
extends TRExpression

See Also:

Serialized Form

Field Summary

Fields inherited from class examples.v2c.tr.TRNode

MAPPINGS

Constructor Summary

Constructors

Constructor and Description
TRLiteralExpression(TCIntegerLiteralExpression exp)
TRLiteralExpression(TCRealLiteralExpression exp)

Method Summary

Modifier and Type	Method and Description
String	translate()

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

Constructor Detail

TRLiteralExpression

public TRLiteralExpression(TCIntegerLiteralExpression exp)

TRLiteralExpression

public TRLiteralExpression(TCRealLiteralExpression exp)

Method Detail

translate

public String translate()

Specified by:

translate in class TRExpression