Package examples.v2c.tr.definitions

Class TRExplicitFunctionDefinition

java.lang.Object

com.fujitsu.vdmj.mapper.MappedObject

examples.v2c.tr.TRNode

examples.v2c.tr.definitions.TRDefinition

examples.v2c.tr.definitions.TRExplicitFunctionDefinition

All Implemented Interfaces:

com.fujitsu.vdmj.mapper.Mappable, Serializable

public class TRExplicitFunctionDefinition
extends TRDefinition

See Also:

Serialized Form

Field Summary

Fields inherited from class examples.v2c.tr.definitions.TRDefinition

comments

Fields inherited from class examples.v2c.tr.TRNode

MAPPINGS

Constructor Summary

Constructors

Constructor	Description
TRExplicitFunctionDefinition(com.fujitsu.vdmj.ast.lex.LexCommentList comments, com.fujitsu.vdmj.tc.lex.TCNameToken name, TRFunctionType type, TRParameterList parameters, TRExpression body)

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

TRExplicitFunctionDefinition

public TRExplicitFunctionDefinition(com.fujitsu.vdmj.ast.lex.LexCommentList comments,
                                    com.fujitsu.vdmj.tc.lex.TCNameToken name,
                                    TRFunctionType type,
                                    TRParameterList parameters,
                                    TRExpression body)

Method Detail

translate

public String translate()

Overrides:

translate in class TRDefinition