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

Packages that use SeparationLogicParser.VariableContext

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

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

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

Modifier and Type	Method and Description
SeparationLogicParser.VariableContext	SeparationLogicParser.variable()
SeparationLogicParser.VariableContext	SeparationLogicParser.VariableDeclarationContext.variable()
SeparationLogicParser.VariableContext	SeparationLogicParser.ParameterContext.variable()
SeparationLogicParser.VariableContext	SeparationLogicParser.PointerContext.variable(int i)
SeparationLogicParser.VariableContext	SeparationLogicParser.PureContext.variable(int i)

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

Modifier and Type	Method and Description
List<SeparationLogicParser.VariableContext>	SeparationLogicParser.PointerContext.variable()
List<SeparationLogicParser.VariableContext>	SeparationLogicParser.PureContext.variable()

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

Modifier and Type	Method and Description
void	SeparationLogicBaseListener.enterVariable(SeparationLogicParser.VariableContext ctx) Enter a parse tree produced by SeparationLogicParser.variable().
void	SeparationLogicListener.enterVariable(SeparationLogicParser.VariableContext ctx) Enter a parse tree produced by SeparationLogicParser.variable().
void	HeapConfigurationExtractor.enterVariable(SeparationLogicParser.VariableContext ctx) Stores the name of the encountered variable.
void	VariableExtractor.enterVariable(SeparationLogicParser.VariableContext ctx)
void	GrammarExtractor.enterVariable(SeparationLogicParser.VariableContext ctx) Retrieves the name of a variable.
void	SeparationLogicBaseListener.exitVariable(SeparationLogicParser.VariableContext ctx) Exit a parse tree produced by SeparationLogicParser.variable().
void	SeparationLogicListener.exitVariable(SeparationLogicParser.VariableContext ctx) Exit a parse tree produced by SeparationLogicParser.variable().