SeparationLogicListener (Attestor 0.4.1 API)

All Superinterfaces:

org.antlr.v4.runtime.tree.ParseTreeListener

All Known Implementing Classes:

GrammarExtractor, HeapConfigurationExtractor, SeparationLogicBaseListener, VariableExtractor
```
public interface SeparationLogicListener
extends org.antlr.v4.runtime.tree.ParseTreeListener
```
This interface defines a complete listener for a parse tree produced by SeparationLogicParser.

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method and Description
`void`	`enterAtom(SeparationLogicParser.AtomContext ctx)` Enter a parse tree produced by `SeparationLogicParser.atom()`.
`void`	`enterConstant(SeparationLogicParser.ConstantContext ctx)` Enter a parse tree produced by `SeparationLogicParser.constant()`.
`void`	`enterFreeVariableDeclaration(SeparationLogicParser.FreeVariableDeclarationContext ctx)` Enter a parse tree produced by `SeparationLogicParser.freeVariableDeclaration()`.
`void`	`enterHeap(SeparationLogicParser.HeapContext ctx)` Enter a parse tree produced by `SeparationLogicParser.heap()`.
`void`	`enterHeapBody(SeparationLogicParser.HeapBodyContext ctx)` Enter a parse tree produced by `SeparationLogicParser.heapBody()`.
`void`	`enterHeapHead(SeparationLogicParser.HeapHeadContext ctx)` Enter a parse tree produced by `SeparationLogicParser.heapHead()`.
`void`	`enterParameter(SeparationLogicParser.ParameterContext ctx)` Enter a parse tree produced by `SeparationLogicParser.parameter()`.
`void`	`enterPointer(SeparationLogicParser.PointerContext ctx)` Enter a parse tree produced by `SeparationLogicParser.pointer()`.
`void`	`enterPredicateCall(SeparationLogicParser.PredicateCallContext ctx)` Enter a parse tree produced by `SeparationLogicParser.predicateCall()`.
`void`	`enterPredicateSymbol(SeparationLogicParser.PredicateSymbolContext ctx)` Enter a parse tree produced by `SeparationLogicParser.predicateSymbol()`.
`void`	`enterPure(SeparationLogicParser.PureContext ctx)` Enter a parse tree produced by `SeparationLogicParser.pure()`.
`void`	`enterSelector(SeparationLogicParser.SelectorContext ctx)` Enter a parse tree produced by `SeparationLogicParser.selector()`.
`void`	`enterSid(SeparationLogicParser.SidContext ctx)` Enter a parse tree produced by `SeparationLogicParser.sid()`.
`void`	`enterSidRule(SeparationLogicParser.SidRuleContext ctx)` Enter a parse tree produced by `SeparationLogicParser.sidRule()`.
`void`	`enterSidRuleBody(SeparationLogicParser.SidRuleBodyContext ctx)` Enter a parse tree produced by `SeparationLogicParser.sidRuleBody()`.
`void`	`enterSidRuleHead(SeparationLogicParser.SidRuleHeadContext ctx)` Enter a parse tree produced by `SeparationLogicParser.sidRuleHead()`.
`void`	`enterSpatial(SeparationLogicParser.SpatialContext ctx)` Enter a parse tree produced by `SeparationLogicParser.spatial()`.
`void`	`enterType(SeparationLogicParser.TypeContext ctx)` Enter a parse tree produced by `SeparationLogicParser.type()`.
`void`	`enterVariable(SeparationLogicParser.VariableContext ctx)` Enter a parse tree produced by `SeparationLogicParser.variable()`.
`void`	`enterVariableDeclaration(SeparationLogicParser.VariableDeclarationContext ctx)` Enter a parse tree produced by `SeparationLogicParser.variableDeclaration()`.
`void`	`exitAtom(SeparationLogicParser.AtomContext ctx)` Exit a parse tree produced by `SeparationLogicParser.atom()`.
`void`	`exitConstant(SeparationLogicParser.ConstantContext ctx)` Exit a parse tree produced by `SeparationLogicParser.constant()`.
`void`	`exitFreeVariableDeclaration(SeparationLogicParser.FreeVariableDeclarationContext ctx)` Exit a parse tree produced by `SeparationLogicParser.freeVariableDeclaration()`.
`void`	`exitHeap(SeparationLogicParser.HeapContext ctx)` Exit a parse tree produced by `SeparationLogicParser.heap()`.
`void`	`exitHeapBody(SeparationLogicParser.HeapBodyContext ctx)` Exit a parse tree produced by `SeparationLogicParser.heapBody()`.
`void`	`exitHeapHead(SeparationLogicParser.HeapHeadContext ctx)` Exit a parse tree produced by `SeparationLogicParser.heapHead()`.
`void`	`exitParameter(SeparationLogicParser.ParameterContext ctx)` Exit a parse tree produced by `SeparationLogicParser.parameter()`.
`void`	`exitPointer(SeparationLogicParser.PointerContext ctx)` Exit a parse tree produced by `SeparationLogicParser.pointer()`.
`void`	`exitPredicateCall(SeparationLogicParser.PredicateCallContext ctx)` Exit a parse tree produced by `SeparationLogicParser.predicateCall()`.
`void`	`exitPredicateSymbol(SeparationLogicParser.PredicateSymbolContext ctx)` Exit a parse tree produced by `SeparationLogicParser.predicateSymbol()`.
`void`	`exitPure(SeparationLogicParser.PureContext ctx)` Exit a parse tree produced by `SeparationLogicParser.pure()`.
`void`	`exitSelector(SeparationLogicParser.SelectorContext ctx)` Exit a parse tree produced by `SeparationLogicParser.selector()`.
`void`	`exitSid(SeparationLogicParser.SidContext ctx)` Exit a parse tree produced by `SeparationLogicParser.sid()`.
`void`	`exitSidRule(SeparationLogicParser.SidRuleContext ctx)` Exit a parse tree produced by `SeparationLogicParser.sidRule()`.
`void`	`exitSidRuleBody(SeparationLogicParser.SidRuleBodyContext ctx)` Exit a parse tree produced by `SeparationLogicParser.sidRuleBody()`.
`void`	`exitSidRuleHead(SeparationLogicParser.SidRuleHeadContext ctx)` Exit a parse tree produced by `SeparationLogicParser.sidRuleHead()`.
`void`	`exitSpatial(SeparationLogicParser.SpatialContext ctx)` Exit a parse tree produced by `SeparationLogicParser.spatial()`.
`void`	`exitType(SeparationLogicParser.TypeContext ctx)` Exit a parse tree produced by `SeparationLogicParser.type()`.
`void`	`exitVariable(SeparationLogicParser.VariableContext ctx)` Exit a parse tree produced by `SeparationLogicParser.variable()`.
`void`	`exitVariableDeclaration(SeparationLogicParser.VariableDeclarationContext ctx)` Exit a parse tree produced by `SeparationLogicParser.variableDeclaration()`.

Methods inherited from interface org.antlr.v4.runtime.tree.ParseTreeListener
enterEveryRule, exitEveryRule, visitErrorNode, visitTerminal

- Method Detail
  - enterHeap
```
void enterHeap(SeparationLogicParser.HeapContext ctx)
```
    Enter a parse tree produced by SeparationLogicParser.heap().
    
    Parameters:
    
    ctx - the parse tree
  - exitHeap
```
void exitHeap(SeparationLogicParser.HeapContext ctx)
```
    Exit a parse tree produced by SeparationLogicParser.heap().
    
    Parameters:
    
    ctx - the parse tree
  - enterHeapHead
```
void enterHeapHead(SeparationLogicParser.HeapHeadContext ctx)
```
    Enter a parse tree produced by SeparationLogicParser.heapHead().
    
    Parameters:
    
    ctx - the parse tree
  - exitHeapHead
```
void exitHeapHead(SeparationLogicParser.HeapHeadContext ctx)
```
    Exit a parse tree produced by SeparationLogicParser.heapHead().
    
    Parameters:
    
    ctx - the parse tree
  - enterHeapBody
```
void enterHeapBody(SeparationLogicParser.HeapBodyContext ctx)
```
    Enter a parse tree produced by SeparationLogicParser.heapBody().
    
    Parameters:
    
    ctx - the parse tree
  - exitHeapBody
```
void exitHeapBody(SeparationLogicParser.HeapBodyContext ctx)
```
    Exit a parse tree produced by SeparationLogicParser.heapBody().
    
    Parameters:
    
    ctx - the parse tree
  - enterSid
```
void enterSid(SeparationLogicParser.SidContext ctx)
```
    Enter a parse tree produced by SeparationLogicParser.sid().
    
    Parameters:
    
    ctx - the parse tree
  - exitSid
```
void exitSid(SeparationLogicParser.SidContext ctx)
```
    Exit a parse tree produced by SeparationLogicParser.sid().
    
    Parameters:
    
    ctx - the parse tree
  - enterSidRule
```
void enterSidRule(SeparationLogicParser.SidRuleContext ctx)
```
    Enter a parse tree produced by SeparationLogicParser.sidRule().
    
    Parameters:
    
    ctx - the parse tree
  - exitSidRule
```
void exitSidRule(SeparationLogicParser.SidRuleContext ctx)
```
    Exit a parse tree produced by SeparationLogicParser.sidRule().
    
    Parameters:
    
    ctx - the parse tree
  - enterSidRuleHead
```
void enterSidRuleHead(SeparationLogicParser.SidRuleHeadContext ctx)
```
    Enter a parse tree produced by SeparationLogicParser.sidRuleHead().
    
    Parameters:
    
    ctx - the parse tree
  - exitSidRuleHead
```
void exitSidRuleHead(SeparationLogicParser.SidRuleHeadContext ctx)
```
    Exit a parse tree produced by SeparationLogicParser.sidRuleHead().
    
    Parameters:
    
    ctx - the parse tree
  - enterSidRuleBody
```
void enterSidRuleBody(SeparationLogicParser.SidRuleBodyContext ctx)
```
    Enter a parse tree produced by SeparationLogicParser.sidRuleBody().
    
    Parameters:
    
    ctx - the parse tree
  - exitSidRuleBody
```
void exitSidRuleBody(SeparationLogicParser.SidRuleBodyContext ctx)
```
    Exit a parse tree produced by SeparationLogicParser.sidRuleBody().
    
    Parameters:
    
    ctx - the parse tree
  - enterFreeVariableDeclaration
```
void enterFreeVariableDeclaration(SeparationLogicParser.FreeVariableDeclarationContext ctx)
```
    Enter a parse tree produced by SeparationLogicParser.freeVariableDeclaration().
    
    Parameters:
    
    ctx - the parse tree
  - exitFreeVariableDeclaration
```
void exitFreeVariableDeclaration(SeparationLogicParser.FreeVariableDeclarationContext ctx)
```
    Exit a parse tree produced by SeparationLogicParser.freeVariableDeclaration().
    
    Parameters:
    
    ctx - the parse tree
  - enterVariableDeclaration
```
void enterVariableDeclaration(SeparationLogicParser.VariableDeclarationContext ctx)
```
    Enter a parse tree produced by SeparationLogicParser.variableDeclaration().
    
    Parameters:
    
    ctx - the parse tree
  - exitVariableDeclaration
```
void exitVariableDeclaration(SeparationLogicParser.VariableDeclarationContext ctx)
```
    Exit a parse tree produced by SeparationLogicParser.variableDeclaration().
    
    Parameters:
    
    ctx - the parse tree
  - enterVariable
```
void enterVariable(SeparationLogicParser.VariableContext ctx)
```
    Enter a parse tree produced by SeparationLogicParser.variable().
    
    Parameters:
    
    ctx - the parse tree
  - exitVariable
```
void exitVariable(SeparationLogicParser.VariableContext ctx)
```
    Exit a parse tree produced by SeparationLogicParser.variable().
    
    Parameters:
    
    ctx - the parse tree
  - enterType
```
void enterType(SeparationLogicParser.TypeContext ctx)
```
    Enter a parse tree produced by SeparationLogicParser.type().
    
    Parameters:
    
    ctx - the parse tree
  - exitType
```
void exitType(SeparationLogicParser.TypeContext ctx)
```
    Exit a parse tree produced by SeparationLogicParser.type().
    
    Parameters:
    
    ctx - the parse tree
  - enterSpatial
```
void enterSpatial(SeparationLogicParser.SpatialContext ctx)
```
    Enter a parse tree produced by SeparationLogicParser.spatial().
    
    Parameters:
    
    ctx - the parse tree
  - exitSpatial
```
void exitSpatial(SeparationLogicParser.SpatialContext ctx)
```
    Exit a parse tree produced by SeparationLogicParser.spatial().
    
    Parameters:
    
    ctx - the parse tree
  - enterAtom
```
void enterAtom(SeparationLogicParser.AtomContext ctx)
```
    Enter a parse tree produced by SeparationLogicParser.atom().
    
    Parameters:
    
    ctx - the parse tree
  - exitAtom
```
void exitAtom(SeparationLogicParser.AtomContext ctx)
```
    Exit a parse tree produced by SeparationLogicParser.atom().
    
    Parameters:
    
    ctx - the parse tree
  - enterPointer
```
void enterPointer(SeparationLogicParser.PointerContext ctx)
```
    Enter a parse tree produced by SeparationLogicParser.pointer().
    
    Parameters:
    
    ctx - the parse tree
  - exitPointer
```
void exitPointer(SeparationLogicParser.PointerContext ctx)
```
    Exit a parse tree produced by SeparationLogicParser.pointer().
    
    Parameters:
    
    ctx - the parse tree
  - enterSelector
```
void enterSelector(SeparationLogicParser.SelectorContext ctx)
```
    Enter a parse tree produced by SeparationLogicParser.selector().
    
    Parameters:
    
    ctx - the parse tree
  - exitSelector
```
void exitSelector(SeparationLogicParser.SelectorContext ctx)
```
    Exit a parse tree produced by SeparationLogicParser.selector().
    
    Parameters:
    
    ctx - the parse tree
  - enterPure
```
void enterPure(SeparationLogicParser.PureContext ctx)
```
    Enter a parse tree produced by SeparationLogicParser.pure().
    
    Parameters:
    
    ctx - the parse tree
  - exitPure
```
void exitPure(SeparationLogicParser.PureContext ctx)
```
    Exit a parse tree produced by SeparationLogicParser.pure().
    
    Parameters:
    
    ctx - the parse tree
  - enterConstant
```
void enterConstant(SeparationLogicParser.ConstantContext ctx)
```
    Enter a parse tree produced by SeparationLogicParser.constant().
    
    Parameters:
    
    ctx - the parse tree
  - exitConstant
```
void exitConstant(SeparationLogicParser.ConstantContext ctx)
```
    Exit a parse tree produced by SeparationLogicParser.constant().
    
    Parameters:
    
    ctx - the parse tree
  - enterPredicateCall
```
void enterPredicateCall(SeparationLogicParser.PredicateCallContext ctx)
```
    Enter a parse tree produced by SeparationLogicParser.predicateCall().
    
    Parameters:
    
    ctx - the parse tree
  - exitPredicateCall
```
void exitPredicateCall(SeparationLogicParser.PredicateCallContext ctx)
```
    Exit a parse tree produced by SeparationLogicParser.predicateCall().
    
    Parameters:
    
    ctx - the parse tree
  - enterParameter
```
void enterParameter(SeparationLogicParser.ParameterContext ctx)
```
    Enter a parse tree produced by SeparationLogicParser.parameter().
    
    Parameters:
    
    ctx - the parse tree
  - exitParameter
```
void exitParameter(SeparationLogicParser.ParameterContext ctx)
```
    Exit a parse tree produced by SeparationLogicParser.parameter().
    
    Parameters:
    
    ctx - the parse tree
  - enterPredicateSymbol
```
void enterPredicateSymbol(SeparationLogicParser.PredicateSymbolContext ctx)
```
    Enter a parse tree produced by SeparationLogicParser.predicateSymbol().
    
    Parameters:
    
    ctx - the parse tree
  - exitPredicateSymbol
```
void exitPredicateSymbol(SeparationLogicParser.PredicateSymbolContext ctx)
```
    Exit a parse tree produced by SeparationLogicParser.predicateSymbol().
    
    Parameters:
    
    ctx - the parse tree

Interface SeparationLogicListener

Method Summary

Methods inherited from interface org.antlr.v4.runtime.tree.ParseTreeListener

Method Detail

enterHeap

exitHeap

enterHeapHead

exitHeapHead

enterHeapBody

exitHeapBody

enterSid

exitSid

enterSidRule

exitSidRule

enterSidRuleHead

exitSidRuleHead

enterSidRuleBody

exitSidRuleBody

enterFreeVariableDeclaration

exitFreeVariableDeclaration

enterVariableDeclaration

exitVariableDeclaration

enterVariable

exitVariable

enterType

exitType

enterSpatial

exitSpatial

enterAtom

exitAtom

enterPointer

exitPointer

enterSelector

exitSelector

enterPure

exitPure

enterConstant

exitConstant

enterPredicateCall

exitPredicateCall

enterParameter

exitParameter

enterPredicateSymbol

exitPredicateSymbol