examples.v2c.tr.types

Class TRFunctionType

java.lang.Object

com.fujitsu.vdmj.mapper.MappedObject

examples.v2c.tr.TRNode

examples.v2c.tr.types.TRType

examples.v2c.tr.types.TRFunctionType

All Implemented Interfaces:

Mappable, Serializable

public class TRFunctionType
extends TRType

See Also:

Serialized Form

Field Summary

Fields inherited from class examples.v2c.tr.TRNode

MAPPINGS

Constructor Summary

Constructors

Constructor and Description
TRFunctionType(TRTypeList parameters, TRType result)

Method Summary

Modifier and Type	Method and Description
TRTypeList	getParameters()
TRType	getResult()
String	translate()

Methods inherited from class com.fujitsu.vdmj.mapper.MappedObject

getMappedId

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TRFunctionType

public TRFunctionType(TRTypeList parameters,
                      TRType result)

Method Detail

translate

public String translate()

Specified by:

translate in class TRType

getParameters

public TRTypeList getParameters()

getResult

public TRType getResult()