Package mini_c

Class EmptyLTLVisitor

java.lang.Object

mini_c.EmptyLTLVisitor

All Implemented Interfaces:

LTLVisitor

class EmptyLTLVisitor
extends java.lang.Object
implements LTLVisitor

Constructor Summary

Constructors

Constructor	Description
EmptyLTLVisitor()

Method Summary

Modifier and Type	Method	Description
void	visit(Lcall o)
void	visit(Lconst o)
void	visit(Lgoto o)
void	visit(Lload o)
void	visit(Lmbbranch o)
void	visit(Lmbinop o)
void	visit(Lmubranch o)
void	visit(Lmunop o)
void	visit(Lpop o)
void	visit(Lpush o)
void	visit(Lreturn o)
void	visit(Lstore o)
void	visit(LTLfile o)
void	visit(LTLfun o)

Methods inherited from class java.lang.Object

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

Constructor Detail

EmptyLTLVisitor

EmptyLTLVisitor()

Method Detail

visit

public void visit(Lload o)

Specified by:

visit in interface LTLVisitor

visit

public void visit(Lstore o)

Specified by:

visit in interface LTLVisitor

visit

public void visit(Lmubranch o)

Specified by:

visit in interface LTLVisitor

visit

public void visit(Lmbbranch o)

Specified by:

visit in interface LTLVisitor

visit

public void visit(Lgoto o)

Specified by:

visit in interface LTLVisitor

visit

public void visit(Lreturn o)

Specified by:

visit in interface LTLVisitor

visit

public void visit(Lconst o)

Specified by:

visit in interface LTLVisitor

visit

public void visit(Lmunop o)

Specified by:

visit in interface LTLVisitor

visit

public void visit(Lmbinop o)

Specified by:

visit in interface LTLVisitor

visit

public void visit(Lpush o)

Specified by:

visit in interface LTLVisitor

visit

public void visit(Lpop o)

Specified by:

visit in interface LTLVisitor

visit

public void visit(Lcall o)

Specified by:

visit in interface LTLVisitor

visit

public void visit(LTLfun o)

Specified by:

visit in interface LTLVisitor

visit

public void visit(LTLfile o)

Specified by:

visit in interface LTLVisitor