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:

Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
protected 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 Detail

comments

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

Constructor Detail

TRDefinition

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

Method Detail

translate

public String translate()