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

Packages that use SeparationLogicParser.PredicateSymbolContext

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

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

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

Modifier and Type	Method and Description
SeparationLogicParser.PredicateSymbolContext	SeparationLogicParser.predicateSymbol()
SeparationLogicParser.PredicateSymbolContext	SeparationLogicParser.HeapHeadContext.predicateSymbol()
SeparationLogicParser.PredicateSymbolContext	SeparationLogicParser.SidRuleHeadContext.predicateSymbol()
SeparationLogicParser.PredicateSymbolContext	SeparationLogicParser.PredicateCallContext.predicateSymbol()

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

Modifier and Type	Method and Description
void	SeparationLogicBaseListener.enterPredicateSymbol(SeparationLogicParser.PredicateSymbolContext ctx) Enter a parse tree produced by SeparationLogicParser.predicateSymbol().
void	SeparationLogicListener.enterPredicateSymbol(SeparationLogicParser.PredicateSymbolContext ctx) Enter a parse tree produced by SeparationLogicParser.predicateSymbol().
void	HeapConfigurationExtractor.enterPredicateSymbol(SeparationLogicParser.PredicateSymbolContext ctx) Collects the nonterminal label of the next hyperedge.
void	GrammarExtractor.enterPredicateSymbol(SeparationLogicParser.PredicateSymbolContext ctx) Treats predicate symbols both on the left-hand side of rules and in the form of predicate calls.
void	SeparationLogicBaseListener.exitPredicateSymbol(SeparationLogicParser.PredicateSymbolContext ctx) Exit a parse tree produced by SeparationLogicParser.predicateSymbol().
void	SeparationLogicListener.exitPredicateSymbol(SeparationLogicParser.PredicateSymbolContext ctx) Exit a parse tree produced by SeparationLogicParser.predicateSymbol().