Uses of Class
examples.v2c.tr.types.TRType

Packages that use TRType

Package	Description
examples.v2c.tr.definitions
examples.v2c.tr.types

Uses of TRType in examples.v2c.tr.definitions

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

Modifier	Constructor	Description
	TRValueDefinition(com.fujitsu.vdmj.ast.lex.LexCommentList comments, com.fujitsu.vdmj.tc.patterns.TCPattern pattern, TRType type, TRExpression exp)

Uses of TRType in examples.v2c.tr.types

Subclasses of TRType in examples.v2c.tr.types

Modifier and Type	Class	Description
class	TRFunctionType
class	TRNumericType

Methods in examples.v2c.tr.types that return TRType

Modifier and Type	Method	Description
TRType	TRFunctionType.getResult()

Constructors in examples.v2c.tr.types with parameters of type TRType

Modifier	Constructor	Description
	TRFunctionType(TRTypeList parameters, TRType result)