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

Packages that use SeparationLogicParser.SpatialContext

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

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

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

Modifier and Type	Method and Description
SeparationLogicParser.SpatialContext	SeparationLogicParser.spatial()
SeparationLogicParser.SpatialContext	SeparationLogicParser.AtomContext.spatial()
SeparationLogicParser.SpatialContext	SeparationLogicParser.SidRuleBodyContext.spatial(int i)

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

Modifier and Type	Method and Description
List<SeparationLogicParser.SpatialContext>	SeparationLogicParser.SidRuleBodyContext.spatial()

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

Modifier and Type	Method and Description
void	SeparationLogicBaseListener.enterSpatial(SeparationLogicParser.SpatialContext ctx) Enter a parse tree produced by SeparationLogicParser.spatial().
void	SeparationLogicListener.enterSpatial(SeparationLogicParser.SpatialContext ctx) Enter a parse tree produced by SeparationLogicParser.spatial().
void	SeparationLogicBaseListener.exitSpatial(SeparationLogicParser.SpatialContext ctx) Exit a parse tree produced by SeparationLogicParser.spatial().
void	SeparationLogicListener.exitSpatial(SeparationLogicParser.SpatialContext ctx) Exit a parse tree produced by SeparationLogicParser.spatial().