Uses of Class
claw.wani.language.parser.ClawParser.Induction_clauseContext

Packages that use ClawParser.Induction_clauseContext

Package	Description
claw.wani.language.parser

Uses of ClawParser.Induction_clauseContext in claw.wani.language.parser

Methods in claw.wani.language.parser that return ClawParser.Induction_clauseContext

Modifier and Type	Method and Description
ClawParser.Induction_clauseContext	ClawParser.induction_clause(ClawPragma l)
ClawParser.Induction_clauseContext	ClawParser.Array_transform_clausesContext.induction_clause(int i)

Methods in claw.wani.language.parser that return types with arguments of type ClawParser.Induction_clauseContext

Modifier and Type	Method and Description
java.util.List<ClawParser.Induction_clauseContext>	ClawParser.Array_transform_clausesContext.induction_clause()

Methods in claw.wani.language.parser with parameters of type ClawParser.Induction_clauseContext

Modifier and Type	Method and Description
void	ClawListener.enterInduction_clause(ClawParser.Induction_clauseContext ctx) Enter a parse tree produced by ClawParser.induction_clause(claw.wani.language.ClawPragma).
void	ClawBaseListener.enterInduction_clause(ClawParser.Induction_clauseContext ctx) Enter a parse tree produced by ClawParser.induction_clause(claw.wani.language.ClawPragma).
void	ClawListener.exitInduction_clause(ClawParser.Induction_clauseContext ctx) Exit a parse tree produced by ClawParser.induction_clause(claw.wani.language.ClawPragma).
void	ClawBaseListener.exitInduction_clause(ClawParser.Induction_clauseContext ctx) Exit a parse tree produced by ClawParser.induction_clause(claw.wani.language.ClawPragma).