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

Packages that use SeparationLogicParser.AtomContext

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

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

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

Modifier and Type	Method and Description
SeparationLogicParser.AtomContext	SeparationLogicParser.atom()
SeparationLogicParser.AtomContext	SeparationLogicParser.HeapBodyContext.atom(int i)

Methods in de.rwth.i2.attestor.seplog that return types with arguments of type SeparationLogicParser.AtomContext

Modifier and Type	Method and Description
List<SeparationLogicParser.AtomContext>	SeparationLogicParser.HeapBodyContext.atom()

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

Modifier and Type	Method and Description
void	SeparationLogicBaseListener.enterAtom(SeparationLogicParser.AtomContext ctx) Enter a parse tree produced by SeparationLogicParser.atom().
void	SeparationLogicListener.enterAtom(SeparationLogicParser.AtomContext ctx) Enter a parse tree produced by SeparationLogicParser.atom().
void	SeparationLogicBaseListener.exitAtom(SeparationLogicParser.AtomContext ctx) Exit a parse tree produced by SeparationLogicParser.atom().
void	SeparationLogicListener.exitAtom(SeparationLogicParser.AtomContext ctx) Exit a parse tree produced by SeparationLogicParser.atom().