A B C D E F G H I J L M N O P Q R S T V X
All Classes All Packages
All Classes All Packages
All Classes All Packages
A
- accept(LTLVisitor) - Method in class mini_c.Lcall
- accept(LTLVisitor) - Method in class mini_c.Lconst
- accept(LTLVisitor) - Method in class mini_c.Lgoto
- accept(LTLVisitor) - Method in class mini_c.Lload
- accept(LTLVisitor) - Method in class mini_c.Lmbbranch
- accept(LTLVisitor) - Method in class mini_c.Lmbinop
- accept(LTLVisitor) - Method in class mini_c.Lmubranch
- accept(LTLVisitor) - Method in class mini_c.Lmunop
- accept(LTLVisitor) - Method in class mini_c.Lpop
- accept(LTLVisitor) - Method in class mini_c.Lpush
- accept(LTLVisitor) - Method in class mini_c.Lreturn
- accept(LTLVisitor) - Method in class mini_c.Lstore
- accept(LTLVisitor) - Method in class mini_c.LTL
- accept(LTLVisitor) - Method in class mini_c.LTLfile
- accept(LTLVisitor) - Method in class mini_c.LTLfun
- add(LTL) - Method in class mini_c.LTLgraph
-
ajoute une nouvelle instruction dans le graphe et renvoie son étiquette
- addq(String, String) - Method in class mini_c.X86_64
- andq(String, String) - Method in class mini_c.X86_64
- Asm - Class in mini_c
- Asm(String) - Constructor for class mini_c.Asm
B
C
- call(String) - Method in class mini_c.X86_64
- callstar(String) - Method in class mini_c.X86_64
- cmpb(int, String) - Method in class mini_c.X86_64
- cmpb(String, String) - Method in class mini_c.X86_64
- cmpl(int, String) - Method in class mini_c.X86_64
- cmpl(String, String) - Method in class mini_c.X86_64
- cmpq(int, String) - Method in class mini_c.X86_64
- cmpq(String, String) - Method in class mini_c.X86_64
- cmpw(int, String) - Method in class mini_c.X86_64
- cmpw(String, String) - Method in class mini_c.X86_64
- cqto() - Method in class mini_c.X86_64
D
- data(String) - Method in class mini_c.X86_64
- decq(String) - Method in class mini_c.X86_64
- dlabel(String) - Method in class mini_c.X86_64
-
ajoute une étiquette dans le segment de données
E
- emit(String) - Method in class mini_c.X86_64
-
ajoute une nouvelle instruction à la fin du code
- EmptyLTLVisitor - Class in mini_c
- EmptyLTLVisitor() - Constructor for class mini_c.EmptyLTLVisitor
- entry - Variable in class mini_c.LTLfun
-
point d'entrée dans le graphe
- equals(Object) - Method in class mini_c.Reg
- equals(Object) - Method in class mini_c.Spilled
F
G
- get(Register) - Method in class mini_c.LTLinterp
- globl(String) - Method in class mini_c.X86_64
- graph - Variable in class mini_c.LTLgraph
H
- hashCode() - Method in class mini_c.Reg
- hashCode() - Method in class mini_c.Spilled
I
- i - Variable in class mini_c.Lconst
- i - Variable in class mini_c.Lload
- i - Variable in class mini_c.Lstore
- idivq(String) - Method in class mini_c.X86_64
- imulq(String, String) - Method in class mini_c.X86_64
- incq(String) - Method in class mini_c.X86_64
- inline(String) - Method in class mini_c.X86_64
-
ajoute de l'assembleur à la fin de la zone text (par exemple pour ajouter des pirmitives écrites en assembleur)
J
- ja(String) - Method in class mini_c.X86_64
- jae(String) - Method in class mini_c.X86_64
- jb(String) - Method in class mini_c.X86_64
- jbe(String) - Method in class mini_c.X86_64
- je(String) - Method in class mini_c.X86_64
- jg(String) - Method in class mini_c.X86_64
- jge(String) - Method in class mini_c.X86_64
- jl(String) - Method in class mini_c.X86_64
- jle(String) - Method in class mini_c.X86_64
- jmp(String) - Method in class mini_c.X86_64
- jmpstar(String) - Method in class mini_c.X86_64
- jne(String) - Method in class mini_c.X86_64
- jns(String) - Method in class mini_c.X86_64
- jnz(String) - Method in class mini_c.X86_64
- js(String) - Method in class mini_c.X86_64
- jz(String) - Method in class mini_c.X86_64
L
- l - Variable in class mini_c.Lcall
- l - Variable in class mini_c.Lconst
- l - Variable in class mini_c.Lgoto
- l - Variable in class mini_c.Lload
- l - Variable in class mini_c.Lmbinop
- l - Variable in class mini_c.Lmunop
- l - Variable in class mini_c.Lpop
- l - Variable in class mini_c.Lpush
- l - Variable in class mini_c.Lstore
- l1 - Variable in class mini_c.Lmbbranch
- l1 - Variable in class mini_c.Lmubranch
- l2 - Variable in class mini_c.Lmbbranch
- l2 - Variable in class mini_c.Lmubranch
- Lab - Class in mini_c
- Lab(String) - Constructor for class mini_c.Lab
- label(String) - Method in class mini_c.X86_64
-
ajoute une étiquette qui doit rester dans le code (par ex.
- label(Label) - Method in class mini_c.X86_64
-
ajoute une étiquette ; elle ne restera dans le code qui si on appelle needLabel sur cette étiquette
- LabelAsm - Class in mini_c
-
une étiquette (Lab) ou une instruction (Asm)
- LabelAsm() - Constructor for class mini_c.LabelAsm
- Lcall - Class in mini_c
-
légèrement modifiée
- Lcall(String, Label) - Constructor for class mini_c.Lcall
- Lconst - Class in mini_c
-
les mêmes que dans ERTL, mais avec Operand à la place de Register
- Lconst(int, Operand, Label) - Constructor for class mini_c.Lconst
- leaq(String, String) - Method in class mini_c.X86_64
- leave() - Method in class mini_c.X86_64
- Lgoto - Class in mini_c
- Lgoto(Label) - Constructor for class mini_c.Lgoto
- Lload - Class in mini_c
-
les mêmes que dans ERTL
- Lload(Register, int, Register, Label) - Constructor for class mini_c.Lload
- Lmbbranch - Class in mini_c
- Lmbbranch(Mbbranch, Operand, Operand, Label, Label) - Constructor for class mini_c.Lmbbranch
- Lmbinop - Class in mini_c
- Lmbinop(Mbinop, Operand, Operand, Label) - Constructor for class mini_c.Lmbinop
- Lmubranch - Class in mini_c
- Lmubranch(Mubranch, Operand, Label, Label) - Constructor for class mini_c.Lmubranch
- Lmunop - Class in mini_c
- Lmunop(Munop, Operand, Label) - Constructor for class mini_c.Lmunop
- Lpop - Class in mini_c
- Lpop(Register, Label) - Constructor for class mini_c.Lpop
- Lpush - Class in mini_c
- Lpush(Operand, Label) - Constructor for class mini_c.Lpush
- Lreturn - Class in mini_c
- Lreturn() - Constructor for class mini_c.Lreturn
- Lstore - Class in mini_c
- Lstore(Register, Register, int, Label) - Constructor for class mini_c.Lstore
- LTL - Class in mini_c
-
instruction LTL
- LTL() - Constructor for class mini_c.LTL
- LTLfile - Class in mini_c
- LTLfile() - Constructor for class mini_c.LTLfile
- LTLfun - Class in mini_c
-
une fonction LTL
- LTLfun(String) - Constructor for class mini_c.LTLfun
- LTLgraph - Class in mini_c
-
graphe de flot de contrôle (d'une fonction) c'est un dictionnaire qui associe une instruction de type RTL à une étiquette de type Label
- LTLgraph() - Constructor for class mini_c.LTLgraph
- LTLinterp - Class in mini_c
-
Interprète de code LTL
- LTLinterp(LTLfile) - Constructor for class mini_c.LTLinterp
-
interprète un programme RTL donné, à partir de la fonction "main"
- LTLVisitor - Interface in mini_c
M
- m - Variable in class mini_c.Lmbbranch
- m - Variable in class mini_c.Lmbinop
- m - Variable in class mini_c.Lmubranch
- m - Variable in class mini_c.Lmunop
- mini_c - package mini_c
- movq(int, String) - Method in class mini_c.X86_64
- movq(String, String) - Method in class mini_c.X86_64
- movzbq(String, String) - Method in class mini_c.X86_64
N
- n - Variable in class mini_c.Spilled
- name - Variable in class mini_c.LTLfun
-
nom de la fonction
- needLabel(Label) - Method in class mini_c.X86_64
-
déclare que cette étiquette devra rester dans le code
- negq(String) - Method in class mini_c.X86_64
- notq(String) - Method in class mini_c.X86_64
O
- o - Variable in class mini_c.Lconst
- o - Variable in class mini_c.Lmunop
- o - Variable in class mini_c.Lpush
- o1 - Variable in class mini_c.Lmbinop
- o2 - Variable in class mini_c.Lmbinop
- Operand - Class in mini_c
-
une opérande = un registre ou un emplacement de pile (résultat de l'allocation de registres)
- Operand() - Constructor for class mini_c.Operand
- orq(String, String) - Method in class mini_c.X86_64
P
- popq(String) - Method in class mini_c.X86_64
- print() - Method in class mini_c.LTLfile
-
pour débugger
- print() - Method in class mini_c.LTLfun
-
pour débugger
- print(Label) - Method in class mini_c.LTLgraph
-
imprime le graphe (pour debugger)
- printToFile(String) - Method in class mini_c.X86_64
-
imprime le programme assembleur dans un fichier
- pushq(String) - Method in class mini_c.X86_64
- put(Label, LTL) - Method in class mini_c.LTLgraph
Q
- quad(long) - Method in class mini_c.X86_64
R
- r - Variable in class mini_c.Lmubranch
- r - Variable in class mini_c.Lpop
- r - Variable in class mini_c.Reg
- r1 - Variable in class mini_c.Lload
- r1 - Variable in class mini_c.Lmbbranch
- r1 - Variable in class mini_c.Lstore
- r2 - Variable in class mini_c.Lload
- r2 - Variable in class mini_c.Lmbbranch
- r2 - Variable in class mini_c.Lstore
- Reg - Class in mini_c
-
une opérande qui est un registre (physique)
- Reg(Register) - Constructor for class mini_c.Reg
- ret() - Method in class mini_c.X86_64
S
- s - Variable in class mini_c.LabelAsm
- s - Variable in class mini_c.Lcall
- sarq(String, String) - Method in class mini_c.X86_64
- set(Register, boolean) - Method in class mini_c.LTLinterp
- set(Register, long) - Method in class mini_c.LTLinterp
- seta(String) - Method in class mini_c.X86_64
- setae(String) - Method in class mini_c.X86_64
- setb(String) - Method in class mini_c.X86_64
- setbe(String) - Method in class mini_c.X86_64
- sete(String) - Method in class mini_c.X86_64
- setg(String) - Method in class mini_c.X86_64
- setge(String) - Method in class mini_c.X86_64
- setl(String) - Method in class mini_c.X86_64
- setle(String) - Method in class mini_c.X86_64
- setne(String) - Method in class mini_c.X86_64
- setns(String) - Method in class mini_c.X86_64
- setnz(String) - Method in class mini_c.X86_64
- sets(String) - Method in class mini_c.X86_64
- setz(String) - Method in class mini_c.X86_64
- shlq(String, String) - Method in class mini_c.X86_64
- shrq(String, String) - Method in class mini_c.X86_64
- space(int) - Method in class mini_c.X86_64
- Spilled - Class in mini_c
-
une opérande qui est un emplacement de pile
- Spilled(int) - Constructor for class mini_c.Spilled
-
position par rapport à %rbp
- string(String) - Method in class mini_c.X86_64
- subq(String, String) - Method in class mini_c.X86_64
- succ() - Method in class mini_c.Lcall
- succ() - Method in class mini_c.Lconst
- succ() - Method in class mini_c.Lgoto
- succ() - Method in class mini_c.Lload
- succ() - Method in class mini_c.Lmbbranch
- succ() - Method in class mini_c.Lmbinop
- succ() - Method in class mini_c.Lmubranch
- succ() - Method in class mini_c.Lmunop
- succ() - Method in class mini_c.Lpop
- succ() - Method in class mini_c.Lpush
- succ() - Method in class mini_c.Lreturn
- succ() - Method in class mini_c.Lstore
- succ() - Method in class mini_c.LTL
T
- testq(int, String) - Method in class mini_c.X86_64
- testq(String, String) - Method in class mini_c.X86_64
- toString() - Method in class mini_c.Lcall
- toString() - Method in class mini_c.Lconst
- toString() - Method in class mini_c.Lgoto
- toString() - Method in class mini_c.Lload
- toString() - Method in class mini_c.Lmbbranch
- toString() - Method in class mini_c.Lmbinop
- toString() - Method in class mini_c.Lmubranch
- toString() - Method in class mini_c.Lmunop
- toString() - Method in class mini_c.Lpop
- toString() - Method in class mini_c.Lpush
- toString() - Method in class mini_c.Lreturn
- toString() - Method in class mini_c.Lstore
- toString() - Method in class mini_c.Reg
- toString() - Method in class mini_c.Spilled
V
- visit(Lcall) - Method in class mini_c.EmptyLTLVisitor
- visit(Lcall) - Method in class mini_c.LTLinterp
- visit(Lcall) - Method in interface mini_c.LTLVisitor
- visit(Lconst) - Method in class mini_c.EmptyLTLVisitor
- visit(Lconst) - Method in class mini_c.LTLinterp
- visit(Lconst) - Method in interface mini_c.LTLVisitor
- visit(Lgoto) - Method in class mini_c.EmptyLTLVisitor
- visit(Lgoto) - Method in class mini_c.LTLinterp
- visit(Lgoto) - Method in interface mini_c.LTLVisitor
- visit(Lload) - Method in class mini_c.EmptyLTLVisitor
- visit(Lload) - Method in class mini_c.LTLinterp
- visit(Lload) - Method in interface mini_c.LTLVisitor
- visit(Lmbbranch) - Method in class mini_c.EmptyLTLVisitor
- visit(Lmbbranch) - Method in class mini_c.LTLinterp
- visit(Lmbbranch) - Method in interface mini_c.LTLVisitor
- visit(Lmbinop) - Method in class mini_c.EmptyLTLVisitor
- visit(Lmbinop) - Method in class mini_c.LTLinterp
- visit(Lmbinop) - Method in interface mini_c.LTLVisitor
- visit(Lmubranch) - Method in class mini_c.EmptyLTLVisitor
- visit(Lmubranch) - Method in class mini_c.LTLinterp
- visit(Lmubranch) - Method in interface mini_c.LTLVisitor
- visit(Lmunop) - Method in class mini_c.EmptyLTLVisitor
- visit(Lmunop) - Method in class mini_c.LTLinterp
- visit(Lmunop) - Method in interface mini_c.LTLVisitor
- visit(Lpop) - Method in class mini_c.EmptyLTLVisitor
- visit(Lpop) - Method in class mini_c.LTLinterp
- visit(Lpop) - Method in interface mini_c.LTLVisitor
- visit(Lpush) - Method in class mini_c.EmptyLTLVisitor
- visit(Lpush) - Method in class mini_c.LTLinterp
- visit(Lpush) - Method in interface mini_c.LTLVisitor
- visit(Lreturn) - Method in class mini_c.EmptyLTLVisitor
- visit(Lreturn) - Method in class mini_c.LTLinterp
- visit(Lreturn) - Method in interface mini_c.LTLVisitor
- visit(Lstore) - Method in class mini_c.EmptyLTLVisitor
- visit(Lstore) - Method in class mini_c.LTLinterp
- visit(Lstore) - Method in interface mini_c.LTLVisitor
- visit(LTLfile) - Method in class mini_c.EmptyLTLVisitor
- visit(LTLfile) - Method in class mini_c.LTLinterp
- visit(LTLfile) - Method in interface mini_c.LTLVisitor
- visit(LTLfun) - Method in class mini_c.EmptyLTLVisitor
- visit(LTLfun) - Method in class mini_c.LTLinterp
- visit(LTLfun) - Method in interface mini_c.LTLVisitor
X
- X86_64 - Class in mini_c
-
programme assembleur x86-64
- X86_64() - Constructor for class mini_c.X86_64
- xorq(String, String) - Method in class mini_c.X86_64
All Classes All Packages