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

Packages that use SeparationLogicParser.SelectorContext

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

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

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

Modifier and Type	Method and Description
SeparationLogicParser.SelectorContext	SeparationLogicParser.selector()
SeparationLogicParser.SelectorContext	SeparationLogicParser.PointerContext.selector()

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

Modifier and Type	Method and Description
void	SeparationLogicBaseListener.enterSelector(SeparationLogicParser.SelectorContext ctx) Enter a parse tree produced by SeparationLogicParser.selector().
void	SeparationLogicListener.enterSelector(SeparationLogicParser.SelectorContext ctx) Enter a parse tree produced by SeparationLogicParser.selector().
void	HeapConfigurationExtractor.enterSelector(SeparationLogicParser.SelectorContext ctx) Prepares construction of a new pointer.
void	VariableExtractor.enterSelector(SeparationLogicParser.SelectorContext ctx)
void	GrammarExtractor.enterSelector(SeparationLogicParser.SelectorContext ctx) Saves the previously encountered variable as the left-hand side of a points-to assertion and stores the encountered selector.
void	SeparationLogicBaseListener.exitSelector(SeparationLogicParser.SelectorContext ctx) Exit a parse tree produced by SeparationLogicParser.selector().
void	SeparationLogicListener.exitSelector(SeparationLogicParser.SelectorContext ctx) Exit a parse tree produced by SeparationLogicParser.selector().