Package 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:

com.fujitsu.vdmj.mapper.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	Description
TRExpression()

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

TRExpression

public TRExpression()

Method Details

translate

public abstract String translate()