net.sourceforge.czt.rules.oracles

Class CollectStateVariablesVisitor

java.lang.Object

net.sourceforge.czt.rules.oracles.CollectStateVariablesVisitor

All Implemented Interfaces:

net.sourceforge.czt.util.Visitor<Object>, net.sourceforge.czt.z.visitor.ConstDeclVisitor<Object>, net.sourceforge.czt.z.visitor.InclDeclVisitor<Object>, net.sourceforge.czt.z.visitor.VarDeclVisitor<Object>, net.sourceforge.czt.z.visitor.ZDeclListVisitor<Object>, net.sourceforge.czt.zpatt.visitor.HeadDeclListVisitor<Object>, net.sourceforge.czt.zpatt.visitor.JokerDeclListVisitor<Object>

public class CollectStateVariablesVisitor
extends Object
implements net.sourceforge.czt.z.visitor.ConstDeclVisitor<Object>, net.sourceforge.czt.zpatt.visitor.HeadDeclListVisitor<Object>, net.sourceforge.czt.z.visitor.InclDeclVisitor<Object>, net.sourceforge.czt.z.visitor.VarDeclVisitor<Object>, net.sourceforge.czt.zpatt.visitor.JokerDeclListVisitor<Object>, net.sourceforge.czt.z.visitor.ZDeclListVisitor<Object>

A visitor for collecting all ZNames in some schema text. It takes into account the fact that ids inside a InclDecl are different to the ids outside. Eg. [ [x@1 : N | x@1<10] | x@2 > 0 ] collects x@1 and x@2 (they are connected via the type annotation on the InclDecl).

Constructor Summary

Constructors

Constructor and Description
CollectStateVariablesVisitor()

Method Summary

Modifier and Type	Method and Description
Set<net.sourceforge.czt.z.ast.Name>	getVariables()
Object	visitConstDecl(net.sourceforge.czt.z.ast.ConstDecl constDecl)
Object	visitHeadDeclList(net.sourceforge.czt.zpatt.ast.HeadDeclList headDeclList)
net.sourceforge.czt.base.ast.Term	visitInclDecl(net.sourceforge.czt.z.ast.InclDecl inclDecl)
Object	visitJokerDeclList(net.sourceforge.czt.zpatt.ast.JokerDeclList jokerDeclList)
Object	visitVarDecl(net.sourceforge.czt.z.ast.VarDecl varDecl)
Object	visitZDeclList(net.sourceforge.czt.z.ast.ZDeclList zDeclList)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CollectStateVariablesVisitor

public CollectStateVariablesVisitor()

Method Detail

getVariables

public Set<net.sourceforge.czt.z.ast.Name> getVariables()

visitHeadDeclList

public Object visitHeadDeclList(net.sourceforge.czt.zpatt.ast.HeadDeclList headDeclList)

Specified by:

visitHeadDeclList in interface net.sourceforge.czt.zpatt.visitor.HeadDeclListVisitor<Object>

visitInclDecl

public net.sourceforge.czt.base.ast.Term visitInclDecl(net.sourceforge.czt.z.ast.InclDecl inclDecl)

Specified by:

visitInclDecl in interface net.sourceforge.czt.z.visitor.InclDeclVisitor<Object>

visitVarDecl

public Object visitVarDecl(net.sourceforge.czt.z.ast.VarDecl varDecl)

Specified by:

visitVarDecl in interface net.sourceforge.czt.z.visitor.VarDeclVisitor<Object>

visitConstDecl

public Object visitConstDecl(net.sourceforge.czt.z.ast.ConstDecl constDecl)

Specified by:

visitConstDecl in interface net.sourceforge.czt.z.visitor.ConstDeclVisitor<Object>

visitJokerDeclList

public Object visitJokerDeclList(net.sourceforge.czt.zpatt.ast.JokerDeclList jokerDeclList)

Specified by:

visitJokerDeclList in interface net.sourceforge.czt.zpatt.visitor.JokerDeclListVisitor<Object>

visitZDeclList

public Object visitZDeclList(net.sourceforge.czt.z.ast.ZDeclList zDeclList)

Specified by:

visitZDeclList in interface net.sourceforge.czt.z.visitor.ZDeclListVisitor<Object>