public interface SeparationLogicListener
extends org.antlr.v4.runtime.tree.ParseTreeListener
SeparationLogicParser.void enterHeap(SeparationLogicParser.HeapContext ctx)
SeparationLogicParser.heap().ctx - the parse treevoid exitHeap(SeparationLogicParser.HeapContext ctx)
SeparationLogicParser.heap().ctx - the parse treevoid enterHeapHead(SeparationLogicParser.HeapHeadContext ctx)
SeparationLogicParser.heapHead().ctx - the parse treevoid exitHeapHead(SeparationLogicParser.HeapHeadContext ctx)
SeparationLogicParser.heapHead().ctx - the parse treevoid enterHeapBody(SeparationLogicParser.HeapBodyContext ctx)
SeparationLogicParser.heapBody().ctx - the parse treevoid exitHeapBody(SeparationLogicParser.HeapBodyContext ctx)
SeparationLogicParser.heapBody().ctx - the parse treevoid enterSid(SeparationLogicParser.SidContext ctx)
SeparationLogicParser.sid().ctx - the parse treevoid exitSid(SeparationLogicParser.SidContext ctx)
SeparationLogicParser.sid().ctx - the parse treevoid enterSidRule(SeparationLogicParser.SidRuleContext ctx)
SeparationLogicParser.sidRule().ctx - the parse treevoid exitSidRule(SeparationLogicParser.SidRuleContext ctx)
SeparationLogicParser.sidRule().ctx - the parse treevoid enterSidRuleHead(SeparationLogicParser.SidRuleHeadContext ctx)
SeparationLogicParser.sidRuleHead().ctx - the parse treevoid exitSidRuleHead(SeparationLogicParser.SidRuleHeadContext ctx)
SeparationLogicParser.sidRuleHead().ctx - the parse treevoid enterSidRuleBody(SeparationLogicParser.SidRuleBodyContext ctx)
SeparationLogicParser.sidRuleBody().ctx - the parse treevoid exitSidRuleBody(SeparationLogicParser.SidRuleBodyContext ctx)
SeparationLogicParser.sidRuleBody().ctx - the parse treevoid enterFreeVariableDeclaration(SeparationLogicParser.FreeVariableDeclarationContext ctx)
SeparationLogicParser.freeVariableDeclaration().ctx - the parse treevoid exitFreeVariableDeclaration(SeparationLogicParser.FreeVariableDeclarationContext ctx)
SeparationLogicParser.freeVariableDeclaration().ctx - the parse treevoid enterVariableDeclaration(SeparationLogicParser.VariableDeclarationContext ctx)
SeparationLogicParser.variableDeclaration().ctx - the parse treevoid exitVariableDeclaration(SeparationLogicParser.VariableDeclarationContext ctx)
SeparationLogicParser.variableDeclaration().ctx - the parse treevoid enterVariable(SeparationLogicParser.VariableContext ctx)
SeparationLogicParser.variable().ctx - the parse treevoid exitVariable(SeparationLogicParser.VariableContext ctx)
SeparationLogicParser.variable().ctx - the parse treevoid enterType(SeparationLogicParser.TypeContext ctx)
SeparationLogicParser.type().ctx - the parse treevoid exitType(SeparationLogicParser.TypeContext ctx)
SeparationLogicParser.type().ctx - the parse treevoid enterSpatial(SeparationLogicParser.SpatialContext ctx)
SeparationLogicParser.spatial().ctx - the parse treevoid exitSpatial(SeparationLogicParser.SpatialContext ctx)
SeparationLogicParser.spatial().ctx - the parse treevoid enterAtom(SeparationLogicParser.AtomContext ctx)
SeparationLogicParser.atom().ctx - the parse treevoid exitAtom(SeparationLogicParser.AtomContext ctx)
SeparationLogicParser.atom().ctx - the parse treevoid enterPointer(SeparationLogicParser.PointerContext ctx)
SeparationLogicParser.pointer().ctx - the parse treevoid exitPointer(SeparationLogicParser.PointerContext ctx)
SeparationLogicParser.pointer().ctx - the parse treevoid enterSelector(SeparationLogicParser.SelectorContext ctx)
SeparationLogicParser.selector().ctx - the parse treevoid exitSelector(SeparationLogicParser.SelectorContext ctx)
SeparationLogicParser.selector().ctx - the parse treevoid enterPure(SeparationLogicParser.PureContext ctx)
SeparationLogicParser.pure().ctx - the parse treevoid exitPure(SeparationLogicParser.PureContext ctx)
SeparationLogicParser.pure().ctx - the parse treevoid enterConstant(SeparationLogicParser.ConstantContext ctx)
SeparationLogicParser.constant().ctx - the parse treevoid exitConstant(SeparationLogicParser.ConstantContext ctx)
SeparationLogicParser.constant().ctx - the parse treevoid enterPredicateCall(SeparationLogicParser.PredicateCallContext ctx)
SeparationLogicParser.predicateCall().ctx - the parse treevoid exitPredicateCall(SeparationLogicParser.PredicateCallContext ctx)
SeparationLogicParser.predicateCall().ctx - the parse treevoid enterParameter(SeparationLogicParser.ParameterContext ctx)
SeparationLogicParser.parameter().ctx - the parse treevoid exitParameter(SeparationLogicParser.ParameterContext ctx)
SeparationLogicParser.parameter().ctx - the parse treevoid enterPredicateSymbol(SeparationLogicParser.PredicateSymbolContext ctx)
SeparationLogicParser.predicateSymbol().ctx - the parse treevoid exitPredicateSymbol(SeparationLogicParser.PredicateSymbolContext ctx)
SeparationLogicParser.predicateSymbol().ctx - the parse treeCopyright © 2019. All rights reserved.