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

Packages that use SpecParser.Class_constructionContext

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

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

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

Modifier and Type	Method and Description
SpecParser.Class_constructionContext	SpecParser.class_construction()
SpecParser.Class_constructionContext	SpecParser.ClauseContext.class_construction()

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

Modifier and Type	Method and Description
void	SpecListener.enterClass_construction(SpecParser.Class_constructionContext ctx) Enter a parse tree produced by SpecParser.class_construction().
void	SpecBaseListener.enterClass_construction(SpecParser.Class_constructionContext ctx) Enter a parse tree produced by SpecParser.class_construction().
void	SpecListener.exitClass_construction(SpecParser.Class_constructionContext ctx) Exit a parse tree produced by SpecParser.class_construction().
void	SpecBaseListener.exitClass_construction(SpecParser.Class_constructionContext ctx) Exit a parse tree produced by SpecParser.class_construction().