Package examples.v2c.tr.expressions

Class TRCompareExpression

java.lang.Object

com.fujitsu.vdmj.mapper.MappedObject

examples.v2c.tr.TRNode

examples.v2c.tr.expressions.TRExpression

examples.v2c.tr.expressions.TRBinaryExpression

examples.v2c.tr.expressions.TRCompareExpression

All Implemented Interfaces:

com.fujitsu.vdmj.mapper.Mappable, Serializable

public class TRCompareExpression
extends TRBinaryExpression

See Also:

Serialized Form

Field Summary

Fields inherited from class examples.v2c.tr.expressions.TRBinaryExpression

left, right

Fields inherited from class examples.v2c.tr.TRNode

MAPPINGS

Constructor Summary

Constructors

Constructor	Description
TRCompareExpression(TRExpression left, com.fujitsu.vdmj.ast.lex.LexToken op, TRExpression right)

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 Detail

TRCompareExpression

public TRCompareExpression(TRExpression left,
                           com.fujitsu.vdmj.ast.lex.LexToken op,
                           TRExpression right)

Method Detail

translate

public String translate()

Specified by:

translate in class TRExpression