orc.ast.oil.visitor
Class Walker

java.lang.Object
  orc.ast.oil.visitor.Walker

All Implemented Interfaces:

Visitor<java.lang.Void>

Direct Known Subclasses:

ExceptionsOnChecker, RenameVariables, UnguardedRecursionChecker

public abstract class Walker
extends java.lang.Object
implements Visitor<java.lang.Void>

Abstract base class tree walker for OIL expressions.

Author:

quark

Constructor Summary

Walker()

Method Summary

void	enter(Call expr)
void	enter(Constant arg)
void	enter(DeclareDefs expr)
void	enter(DeclareType expr)
void	enter(Def def)
void	enter(Field arg)
void	enter(HasType expr)
void	enter(Otherwise expr)
void	enter(Parallel expr)
void	enter(Pruning expr)
void	enter(Sequential expr)
void	enter(Site arg)
void	enter(Stop arg)
void	enter(Variable arg)
void	enter(WithLocation expr)
void	enterScope(int n)
void	leave(Call expr)
void	leave(Constant arg)
void	leave(DeclareDefs expr)
void	leave(DeclareType expr)
void	leave(Def def)
void	leave(Field arg)
void	leave(HasType expr)
void	leave(Otherwise expr)
void	leave(Parallel expr)
void	leave(Pruning expr)
void	leave(Sequential expr)
void	leave(Site arg)
void	leave(Stop arg)
void	leave(Variable arg)
void	leave(WithLocation expr)
void	leaveScope(int n)
java.lang.Void	visit(Call expr)
java.lang.Void	visit(Catch catchExpr)
java.lang.Void	visit(Constant arg)
java.lang.Void	visit(DeclareDefs expr)
java.lang.Void	visit(DeclareType expr)
java.lang.Void	visit(Field arg)
java.lang.Void	visit(HasType expr)
java.lang.Void	visit(Otherwise expr)
java.lang.Void	visit(Parallel expr)
java.lang.Void	visit(Pruning expr)
java.lang.Void	visit(Sequential expr)
java.lang.Void	visit(Site arg)
java.lang.Void	visit(Stop arg)
java.lang.Void	visit(Throw throwExpr)
java.lang.Void	visit(Variable arg)
java.lang.Void	visit(WithLocation expr)

Methods inherited from class java.lang.Object

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

Constructor Detail

Walker

public Walker()

Method Detail

enterScope

public void enterScope(int n)

leaveScope

public void leaveScope(int n)

visit

public java.lang.Void visit(Parallel expr)

Specified by:

visit in interface Visitor<java.lang.Void>

enter

public void enter(Parallel expr)

leave

public void leave(Parallel expr)

visit

public java.lang.Void visit(Call expr)

Specified by:

visit in interface Visitor<java.lang.Void>

enter

public void enter(Call expr)

leave

public void leave(Call expr)

visit

public java.lang.Void visit(DeclareDefs expr)

Specified by:

visit in interface Visitor<java.lang.Void>

enter

public void enter(Def def)

leave

public void leave(Def def)

enter

public void enter(DeclareDefs expr)

leave

public void leave(DeclareDefs expr)

visit

public java.lang.Void visit(Stop arg)

Specified by:

visit in interface Visitor<java.lang.Void>

enter

public void enter(Stop arg)

leave

public void leave(Stop arg)

visit

public java.lang.Void visit(Pruning expr)

Specified by:

visit in interface Visitor<java.lang.Void>

enter

public void enter(Pruning expr)

leave

public void leave(Pruning expr)

visit

public java.lang.Void visit(Sequential expr)

Specified by:

visit in interface Visitor<java.lang.Void>

enter

public void enter(Sequential expr)

leave

public void leave(Sequential expr)

visit

public java.lang.Void visit(Otherwise expr)

Specified by:

visit in interface Visitor<java.lang.Void>

enter

public void enter(Otherwise expr)

leave

public void leave(Otherwise expr)

visit

public java.lang.Void visit(WithLocation expr)

Specified by:

visit in interface Visitor<java.lang.Void>

enter

public void enter(WithLocation expr)

leave

public void leave(WithLocation expr)

visit

public java.lang.Void visit(Constant arg)

Specified by:

visit in interface Visitor<java.lang.Void>

enter

public void enter(Constant arg)

leave

public void leave(Constant arg)

visit

public java.lang.Void visit(Field arg)

Specified by:

visit in interface Visitor<java.lang.Void>

enter

public void enter(Field arg)

leave

public void leave(Field arg)

visit

public java.lang.Void visit(Site arg)

Specified by:

visit in interface Visitor<java.lang.Void>

enter

public void enter(Site arg)

leave

public void leave(Site arg)

visit

public java.lang.Void visit(Variable arg)

Specified by:

visit in interface Visitor<java.lang.Void>

enter

public void enter(Variable arg)

leave

public void leave(Variable arg)

visit

public java.lang.Void visit(HasType expr)

Specified by:

visit in interface Visitor<java.lang.Void>

enter

public void enter(HasType expr)

leave

public void leave(HasType expr)

visit

public java.lang.Void visit(DeclareType expr)

Specified by:

visit in interface Visitor<java.lang.Void>

enter

public void enter(DeclareType expr)

leave

public void leave(DeclareType expr)

visit

public java.lang.Void visit(Catch catchExpr)

Specified by:

visit in interface Visitor<java.lang.Void>

visit

public java.lang.Void visit(Throw throwExpr)

Specified by:

visit in interface Visitor<java.lang.Void>