examples.v2c.tr.expressions

Class TRExpression

java.lang.Object

com.fujitsu.vdmj.mapper.MappedObject

examples.v2c.tr.TRNode

examples.v2c.tr.expressions.TRExpression

All Implemented Interfaces:

Mappable, Serializable

Direct Known Subclasses:

TRApplyExpression, TRBinaryExpression, TRIfExpression, TRLiteralExpression, TRVariableExpression

public abstract class TRExpression
extends TRNode

See Also:

Serialized Form

Field Summary

Fields inherited from class examples.v2c.tr.TRNode

MAPPINGS

Constructor Summary

Constructors

Constructor and Description
TRExpression()

Method Summary

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

TRExpression

public TRExpression()

Method Detail

translate

public abstract String translate()