Package examples.v2c.tr.expressions

Class TRBinaryExpression

java.lang.Object

com.fujitsu.vdmj.mapper.MappedObject

examples.v2c.tr.TRNode

examples.v2c.tr.expressions.TRExpression

examples.v2c.tr.expressions.TRBinaryExpression

All Implemented Interfaces:

com.fujitsu.vdmj.mapper.Mappable, Serializable

Direct Known Subclasses:

TRCompareExpression, TRDivideExpression, TREqualsExpression, TRPlusExpression, TRSubtractExpression, TRTimesExpression

public abstract class TRBinaryExpression
extends TRExpression

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
protected final TRExpression	left
protected final TRExpression	right

Fields inherited from class examples.v2c.tr.TRNode

MAPPINGS

Constructor Summary

Constructors

Constructor	Description
TRBinaryExpression(TRExpression left, TRExpression right)

Method Summary

Methods inherited from class examples.v2c.tr.expressions.TRExpression

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

Field Details

left

protected final TRExpression left

right

protected final TRExpression right

Constructor Details

TRBinaryExpression

public TRBinaryExpression(TRExpression left,
 TRExpression right)