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

Packages that use SeparationLogicParser.PointerContext

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

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

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

Modifier and Type	Method and Description
SeparationLogicParser.PointerContext	SeparationLogicParser.pointer()
SeparationLogicParser.PointerContext	SeparationLogicParser.SpatialContext.pointer()

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

Modifier and Type	Method and Description
void	SeparationLogicBaseListener.enterPointer(SeparationLogicParser.PointerContext ctx) Enter a parse tree produced by SeparationLogicParser.pointer().
void	SeparationLogicListener.enterPointer(SeparationLogicParser.PointerContext ctx) Enter a parse tree produced by SeparationLogicParser.pointer().
void	SeparationLogicBaseListener.exitPointer(SeparationLogicParser.PointerContext ctx) Exit a parse tree produced by SeparationLogicParser.pointer().
void	SeparationLogicListener.exitPointer(SeparationLogicParser.PointerContext ctx) Exit a parse tree produced by SeparationLogicParser.pointer().
void	HeapConfigurationExtractor.exitPointer(SeparationLogicParser.PointerContext ctx) Creates a new pointer and the involved nodes (if necessary).
void	VariableExtractor.exitPointer(SeparationLogicParser.PointerContext ctx)
void	GrammarExtractor.exitPointer(SeparationLogicParser.PointerContext ctx) Adds a new pointer.