Uses of Class
examples.v2c.tr.definitions.TRDefinitionList

Packages that use TRDefinitionList

Package	Description
examples.v2c.tr.definitions
examples.v2c.tr.modules

Uses of TRDefinitionList in examples.v2c.tr.definitions

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

Modifier	Constructor	Description
	TRClassDefinition(com.fujitsu.vdmj.ast.lex.LexCommentList comments, com.fujitsu.vdmj.tc.lex.TCNameToken name, TRDefinitionList definitions)

Uses of TRDefinitionList in examples.v2c.tr.modules

Constructors in examples.v2c.tr.modules with parameters of type TRDefinitionList

Modifier	Constructor	Description
	TRModule(com.fujitsu.vdmj.tc.lex.TCIdentifierToken name, TRDefinitionList definitions)