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

Packages that use SeparationLogicParser.TypeContext

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

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

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

Modifier and Type	Method and Description
SeparationLogicParser.TypeContext	SeparationLogicParser.type()
SeparationLogicParser.TypeContext	SeparationLogicParser.VariableDeclarationContext.type()

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

Modifier and Type	Method and Description
void	SeparationLogicBaseListener.enterType(SeparationLogicParser.TypeContext ctx) Enter a parse tree produced by SeparationLogicParser.type().
void	SeparationLogicListener.enterType(SeparationLogicParser.TypeContext ctx) Enter a parse tree produced by SeparationLogicParser.type().
void	VariableExtractor.enterType(SeparationLogicParser.TypeContext ctx)
void	GrammarExtractor.enterType(SeparationLogicParser.TypeContext ctx) Retrieves the type of a variable declaration.
void	SeparationLogicBaseListener.exitType(SeparationLogicParser.TypeContext ctx) Exit a parse tree produced by SeparationLogicParser.type().
void	SeparationLogicListener.exitType(SeparationLogicParser.TypeContext ctx) Exit a parse tree produced by SeparationLogicParser.type().