Package examples.v2c.tr.definitions

Class TRDefinition

java.lang.Object
com.fujitsu.vdmj.mapper.MappedObject
examples.v2c.tr.TRNode
examples.v2c.tr.definitions.TRDefinition
All Implemented Interfaces:
com.fujitsu.vdmj.mapper.Mappable, Serializable
Direct Known Subclasses:
TRClassDefinition, TRExplicitFunctionDefinition, TRValueDefinition
public abstract class TRDefinition extends TRNode
See Also:

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    protected final com.fujitsu.vdmj.ast.lex.LexCommentList
    comments
     

    Fields inherited from class examples.v2c.tr.TRNode

    MAPPINGS

  • Constructor Summary

    Constructors
    Modifier
    Constructor
    Description
    protected
    TRDefinition(com.fujitsu.vdmj.ast.lex.LexCommentList comments)
     

  • 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

  • Field Details

    • comments

      protected final com.fujitsu.vdmj.ast.lex.LexCommentList comments

  • Constructor Details

    • TRDefinition

      protected TRDefinition(com.fujitsu.vdmj.ast.lex.LexCommentList comments)

  • Method Details

    • translate

      public String translate()