Uses of Class
org.requs.facet.syntax.SpecParser.Class_declarationContext

Packages that use SpecParser.Class_declarationContext

Package	Description
org.requs.facet.syntax	Syntax analysis.

Uses of SpecParser.Class_declarationContext in org.requs.facet.syntax

Methods in org.requs.facet.syntax that return SpecParser.Class_declarationContext

Modifier and Type	Method and Description
SpecParser.Class_declarationContext	SpecParser.class_declaration()
SpecParser.Class_declarationContext	SpecParser.ClauseContext.class_declaration()

Methods in org.requs.facet.syntax with parameters of type SpecParser.Class_declarationContext

Modifier and Type	Method and Description
void	SpecListener.enterClass_declaration(SpecParser.Class_declarationContext ctx) Enter a parse tree produced by SpecParser.class_declaration().
void	SpecBaseListener.enterClass_declaration(SpecParser.Class_declarationContext ctx) Enter a parse tree produced by SpecParser.class_declaration().
void	SpecListener.exitClass_declaration(SpecParser.Class_declarationContext ctx) Exit a parse tree produced by SpecParser.class_declaration().
void	SpecBaseListener.exitClass_declaration(SpecParser.Class_declarationContext ctx) Exit a parse tree produced by SpecParser.class_declaration().