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

Packages that use SeparationLogicParser.HeapBodyContext

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

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

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

Modifier and Type	Method and Description
SeparationLogicParser.HeapBodyContext	SeparationLogicParser.heapBody()
SeparationLogicParser.HeapBodyContext	SeparationLogicParser.HeapContext.heapBody()

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

Modifier and Type	Method and Description
void	SeparationLogicBaseListener.enterHeapBody(SeparationLogicParser.HeapBodyContext ctx) Enter a parse tree produced by SeparationLogicParser.heapBody().
void	SeparationLogicListener.enterHeapBody(SeparationLogicParser.HeapBodyContext ctx) Enter a parse tree produced by SeparationLogicParser.heapBody().
void	HeapConfigurationExtractor.enterHeapBody(SeparationLogicParser.HeapBodyContext ctx) Prepares construction of a new HeapConfiguration corresponding to the given parse tree.
void	SeparationLogicBaseListener.exitHeapBody(SeparationLogicParser.HeapBodyContext ctx) Exit a parse tree produced by SeparationLogicParser.heapBody().
void	SeparationLogicListener.exitHeapBody(SeparationLogicParser.HeapBodyContext ctx) Exit a parse tree produced by SeparationLogicParser.heapBody().