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

Packages that use SeparationLogicParser.PredicateCallContext

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

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

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

Modifier and Type	Method and Description
SeparationLogicParser.PredicateCallContext	SeparationLogicParser.predicateCall()
SeparationLogicParser.PredicateCallContext	SeparationLogicParser.SpatialContext.predicateCall()

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

Modifier and Type	Method and Description
void	SeparationLogicBaseListener.enterPredicateCall(SeparationLogicParser.PredicateCallContext ctx) Enter a parse tree produced by SeparationLogicParser.predicateCall().
void	SeparationLogicListener.enterPredicateCall(SeparationLogicParser.PredicateCallContext ctx) Enter a parse tree produced by SeparationLogicParser.predicateCall().
void	HeapConfigurationExtractor.enterPredicateCall(SeparationLogicParser.PredicateCallContext ctx) Prepares construction of a new nonterminal hyperedge.
void	GrammarExtractor.enterPredicateCall(SeparationLogicParser.PredicateCallContext ctx) Prepares the creation of a new nonterminal edge corresponding to a predicate call.
void	SeparationLogicBaseListener.exitPredicateCall(SeparationLogicParser.PredicateCallContext ctx) Exit a parse tree produced by SeparationLogicParser.predicateCall().
void	SeparationLogicListener.exitPredicateCall(SeparationLogicParser.PredicateCallContext ctx) Exit a parse tree produced by SeparationLogicParser.predicateCall().
void	HeapConfigurationExtractor.exitPredicateCall(SeparationLogicParser.PredicateCallContext ctx) Finishes construction of a nonterminal hyperedge.
void	GrammarExtractor.exitPredicateCall(SeparationLogicParser.PredicateCallContext ctx) Finishes the creation of a new nonterminal edge corresponding to a predicate call.