Package mini_c

Class LTLinterp

java.lang.Object

mini_c.LTLinterp

All Implemented Interfaces:

LTLVisitor

public class LTLinterp
extends java.lang.Object
implements LTLVisitor

Interprète de code LTL

Constructor Summary

Constructors

Constructor	Description
LTLinterp(LTLfile file)	interprète un programme RTL donné, à partir de la fonction "main"

Method Summary

Modifier and Type	Method	Description
(package private) long	get(mini_c.Register r)
(package private) void	set(mini_c.Register r, boolean v)
(package private) void	set(mini_c.Register r, long v)
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

LTLinterp

LTLinterp(LTLfile file)

interprète un programme RTL donné, à partir de la fonction "main"

Method Detail

get

long get(mini_c.Register r)

set

void set(mini_c.Register r,
         long v)

set

void set(mini_c.Register r,
         boolean v)

visit

public void visit(Lconst o)

Specified by:

visit in interface LTLVisitor

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(Lmunop o)

Specified by:

visit in interface LTLVisitor

visit

public void visit(Lmbinop 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(Lcall o)

Specified by:

visit in interface LTLVisitor

visit

public void visit(Lgoto 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

visit

public void visit(Lpush o)

Specified by:

visit in interface LTLVisitor

visit

public void visit(Lreturn o)

Specified by:

visit in interface LTLVisitor

visit

public void visit(Lpop o)

Specified by:

visit in interface LTLVisitor