Uses of Class
de.rwth.i2.attestor.seplog.SeparationLogicParser.VariableDeclarationContext

Packages that use SeparationLogicParser.VariableDeclarationContext

Package	Description
de.rwth.i2.attestor.seplog	The separation logic interface of Attestor.

Uses of SeparationLogicParser.VariableDeclarationContext in de.rwth.i2.attestor.seplog

Methods in de.rwth.i2.attestor.seplog that return SeparationLogicParser.VariableDeclarationContext

Modifier and Type	Method and Description
SeparationLogicParser.VariableDeclarationContext	SeparationLogicParser.variableDeclaration()
SeparationLogicParser.VariableDeclarationContext	SeparationLogicParser.SidRuleBodyContext.variableDeclaration()
SeparationLogicParser.VariableDeclarationContext	SeparationLogicParser.FreeVariableDeclarationContext.variableDeclaration()
SeparationLogicParser.VariableDeclarationContext	SeparationLogicParser.HeapHeadContext.variableDeclaration(int i)
SeparationLogicParser.VariableDeclarationContext	SeparationLogicParser.HeapBodyContext.variableDeclaration(int i)

Methods in de.rwth.i2.attestor.seplog that return types with arguments of type SeparationLogicParser.VariableDeclarationContext

Modifier and Type	Method and Description
List<SeparationLogicParser.VariableDeclarationContext>	SeparationLogicParser.HeapHeadContext.variableDeclaration()
List<SeparationLogicParser.VariableDeclarationContext>	SeparationLogicParser.HeapBodyContext.variableDeclaration()

Methods in de.rwth.i2.attestor.seplog with parameters of type SeparationLogicParser.VariableDeclarationContext

Modifier and Type	Method and Description
void	SeparationLogicBaseListener.enterVariableDeclaration(SeparationLogicParser.VariableDeclarationContext ctx) Enter a parse tree produced by SeparationLogicParser.variableDeclaration().
void	SeparationLogicListener.enterVariableDeclaration(SeparationLogicParser.VariableDeclarationContext ctx) Enter a parse tree produced by SeparationLogicParser.variableDeclaration().
void	SeparationLogicBaseListener.exitVariableDeclaration(SeparationLogicParser.VariableDeclarationContext ctx) Exit a parse tree produced by SeparationLogicParser.variableDeclaration().
void	SeparationLogicListener.exitVariableDeclaration(SeparationLogicParser.VariableDeclarationContext ctx) Exit a parse tree produced by SeparationLogicParser.variableDeclaration().
void	VariableExtractor.exitVariableDeclaration(SeparationLogicParser.VariableDeclarationContext ctx)
void	GrammarExtractor.exitVariableDeclaration(SeparationLogicParser.VariableDeclarationContext ctx) Finishes variable declaration.