Package | Description |
---|---|
de.uka.ilkd.key.nparser |
Modifier and Type | Method and Description |
---|---|
KeYParser.Id_declarationContext |
KeYParser.id_declaration() |
static KeYParser.Id_declarationContext |
ParsingFacade.parseIdDeclaration(org.antlr.v4.runtime.CharStream stream)
Deprecated.
|
Modifier and Type | Method and Description |
---|---|
void |
KeYParserBaseListener.enterId_declaration(KeYParser.Id_declarationContext ctx)
Enter a parse tree produced by
KeYParser.id_declaration() . |
void |
KeYParserListener.enterId_declaration(KeYParser.Id_declarationContext ctx)
Enter a parse tree produced by
KeYParser.id_declaration() . |
void |
KeYParserBaseListener.exitId_declaration(KeYParser.Id_declarationContext ctx)
Exit a parse tree produced by
KeYParser.id_declaration() . |
void |
KeYParserListener.exitId_declaration(KeYParser.Id_declarationContext ctx)
Exit a parse tree produced by
KeYParser.id_declaration() . |
T |
KeYParserVisitor.visitId_declaration(KeYParser.Id_declarationContext ctx)
Visit a parse tree produced by
KeYParser.id_declaration() . |
T |
KeYParserBaseVisitor.visitId_declaration(KeYParser.Id_declarationContext ctx)
Visit a parse tree produced by
KeYParser.id_declaration() . |
Copyright © 2003-2019 The KeY-Project.