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

Packages that use SeparationLogicParser.PureContext

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

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

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

Modifier and Type	Method and Description
SeparationLogicParser.PureContext	SeparationLogicParser.pure()
SeparationLogicParser.PureContext	SeparationLogicParser.AtomContext.pure()

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

Modifier and Type	Method and Description
void	SeparationLogicBaseListener.enterPure(SeparationLogicParser.PureContext ctx) Enter a parse tree produced by SeparationLogicParser.pure().
void	SeparationLogicListener.enterPure(SeparationLogicParser.PureContext ctx) Enter a parse tree produced by SeparationLogicParser.pure().
void	VariableExtractor.enterPure(SeparationLogicParser.PureContext ctx)
void	GrammarExtractor.enterPure(SeparationLogicParser.PureContext ctx)
void	SeparationLogicBaseListener.exitPure(SeparationLogicParser.PureContext ctx) Exit a parse tree produced by SeparationLogicParser.pure().
void	SeparationLogicListener.exitPure(SeparationLogicParser.PureContext ctx) Exit a parse tree produced by SeparationLogicParser.pure().
void	VariableExtractor.exitPure(SeparationLogicParser.PureContext ctx)