Uses of Class examples.v2c.tr.types.TRFunctionType (Example V2C Class Mapper 4.6.0-P API)

Packages that use TRFunctionType

Package

Description

examples.v2c.tr.definitions

Uses of TRFunctionType in examples.v2c.tr.definitions

Constructors in examples.v2c.tr.definitions with parameters of type TRFunctionType

Modifier

Constructor

Description

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