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

Packages that use SeparationLogicParser.HeapHeadContext

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

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

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

Modifier and Type	Method and Description
SeparationLogicParser.HeapHeadContext	SeparationLogicParser.heapHead()
SeparationLogicParser.HeapHeadContext	SeparationLogicParser.HeapContext.heapHead()

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

Modifier and Type	Method and Description
void	SeparationLogicBaseListener.enterHeapHead(SeparationLogicParser.HeapHeadContext ctx) Enter a parse tree produced by SeparationLogicParser.heapHead().
void	SeparationLogicListener.enterHeapHead(SeparationLogicParser.HeapHeadContext ctx) Enter a parse tree produced by SeparationLogicParser.heapHead().
void	VariableExtractor.enterHeapHead(SeparationLogicParser.HeapHeadContext ctx)
void	SeparationLogicBaseListener.exitHeapHead(SeparationLogicParser.HeapHeadContext ctx) Exit a parse tree produced by SeparationLogicParser.heapHead().
void	SeparationLogicListener.exitHeapHead(SeparationLogicParser.HeapHeadContext ctx) Exit a parse tree produced by SeparationLogicParser.heapHead().
void	VariableExtractor.exitHeapHead(SeparationLogicParser.HeapHeadContext ctx)