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

Packages that use SeparationLogicParser.SidRuleHeadContext

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

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

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

Modifier and Type	Method and Description
SeparationLogicParser.SidRuleHeadContext	SeparationLogicParser.sidRuleHead()
SeparationLogicParser.SidRuleHeadContext	SeparationLogicParser.SidRuleContext.sidRuleHead()

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

Modifier and Type	Method and Description
void	SeparationLogicBaseListener.enterSidRuleHead(SeparationLogicParser.SidRuleHeadContext ctx) Enter a parse tree produced by SeparationLogicParser.sidRuleHead().
void	SeparationLogicListener.enterSidRuleHead(SeparationLogicParser.SidRuleHeadContext ctx) Enter a parse tree produced by SeparationLogicParser.sidRuleHead().
void	GrammarExtractor.enterSidRuleHead(SeparationLogicParser.SidRuleHeadContext ctx) Prepares collection of the names and types of variables corresponding to external nodes.
void	SeparationLogicBaseListener.exitSidRuleHead(SeparationLogicParser.SidRuleHeadContext ctx) Exit a parse tree produced by SeparationLogicParser.sidRuleHead().
void	SeparationLogicListener.exitSidRuleHead(SeparationLogicParser.SidRuleHeadContext ctx) Exit a parse tree produced by SeparationLogicParser.sidRuleHead().