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
-
-
Method Summary
All Methods Instance Methods Concrete Methods 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)
-
-
-
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 interfaceLTLVisitor
-
visit
public void visit(Lload o)
- Specified by:
visit
in interfaceLTLVisitor
-
visit
public void visit(Lstore o)
- Specified by:
visit
in interfaceLTLVisitor
-
visit
public void visit(Lmunop o)
- Specified by:
visit
in interfaceLTLVisitor
-
visit
public void visit(Lmbinop o)
- Specified by:
visit
in interfaceLTLVisitor
-
visit
public void visit(Lmubranch o)
- Specified by:
visit
in interfaceLTLVisitor
-
visit
public void visit(Lmbbranch o)
- Specified by:
visit
in interfaceLTLVisitor
-
visit
public void visit(Lcall o)
- Specified by:
visit
in interfaceLTLVisitor
-
visit
public void visit(Lgoto o)
- Specified by:
visit
in interfaceLTLVisitor
-
visit
public void visit(LTLfun o)
- Specified by:
visit
in interfaceLTLVisitor
-
visit
public void visit(LTLfile o)
- Specified by:
visit
in interfaceLTLVisitor
-
visit
public void visit(Lpush o)
- Specified by:
visit
in interfaceLTLVisitor
-
visit
public void visit(Lreturn o)
- Specified by:
visit
in interfaceLTLVisitor
-
visit
public void visit(Lpop o)
- Specified by:
visit
in interfaceLTLVisitor
-
-