SeparationLogicBaseListener (Attestor 0.4.1 API)

java.lang.Object
- de.rwth.i2.attestor.seplog.SeparationLogicBaseListener

All Implemented Interfaces:

SeparationLogicListener, org.antlr.v4.runtime.tree.ParseTreeListener

Direct Known Subclasses:

GrammarExtractor, HeapConfigurationExtractor, VariableExtractor
```
public class SeparationLogicBaseListener
extends Object
implements SeparationLogicListener
```
This class provides an empty implementation of SeparationLogicListener, which can be extended to create a listener which only needs to handle a subset of the available methods.

Constructor Summary

Constructors
Constructor and Description

SeparationLogicBaseListener()

Constructors
Constructor and Description
`SeparationLogicBaseListener()`

Method Summary

All Methods Instance Methods Concrete 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`	`enterEveryRule(org.antlr.v4.runtime.ParserRuleContext ctx)`
`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`	`exitEveryRule(org.antlr.v4.runtime.ParserRuleContext ctx)`
`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()`.
`void`	`visitErrorNode(org.antlr.v4.runtime.tree.ErrorNode node)`
`void`	`visitTerminal(org.antlr.v4.runtime.tree.TerminalNode node)`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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

Class SeparationLogicBaseListener

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Constructor Detail

SeparationLogicBaseListener

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

enterEveryRule

exitEveryRule

visitTerminal

visitErrorNode