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

Packages that use SpecParser.SignatureContext

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

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

Fields in org.requs.facet.syntax declared as SpecParser.SignatureContext

Modifier and Type	Field and Description
SpecParser.SignatureContext	SpecParser.Method_declarationContext.msig
SpecParser.SignatureContext	SpecParser.StepContext.step_informal
SpecParser.SignatureContext	SpecParser.StepContext.step_sig

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

Modifier and Type	Method and Description
SpecParser.SignatureContext	SpecParser.signature()
SpecParser.SignatureContext	SpecParser.Method_declarationContext.signature()
SpecParser.SignatureContext	SpecParser.StepContext.signature()

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

Modifier and Type	Method and Description
void	SpecListener.enterSignature(SpecParser.SignatureContext ctx) Enter a parse tree produced by SpecParser.signature().
void	SpecBaseListener.enterSignature(SpecParser.SignatureContext ctx) Enter a parse tree produced by SpecParser.signature().
void	SpecListener.exitSignature(SpecParser.SignatureContext ctx) Exit a parse tree produced by SpecParser.signature().
void	SpecBaseListener.exitSignature(SpecParser.SignatureContext ctx) Exit a parse tree produced by SpecParser.signature().