TRLiteralExpression (Example V2C Class Mapper 4.6.0-P API)

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:: com.fujitsu.vdmj.mapper.Mappable, Serializable

public class TRLiteralExpression extends TRExpression

See Also:

Field Summary

Fields inherited from class examples.v2c.tr.TRNode
MAPPINGS
Constructor Summary

Constructors

Constructor

Description

TRLiteralExpression(com.fujitsu.vdmj.tc.expressions.TCIntegerLiteralExpression exp)

TRLiteralExpression(com.fujitsu.vdmj.tc.expressions.TCRealLiteralExpression exp)
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 Details
- TRLiteralExpression
  
  public TRLiteralExpression(com.fujitsu.vdmj.tc.expressions.TCIntegerLiteralExpression exp)
- TRLiteralExpression
  
  public TRLiteralExpression(com.fujitsu.vdmj.tc.expressions.TCRealLiteralExpression exp)
Method Details
- translate
  
  public String translate()
  
  Specified by:
  
  translate in class TRExpression