Package mini_c
Class LTLgraph
- java.lang.Object
-
- mini_c.LTLgraph
-
class LTLgraph extends java.lang.Object
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
-
-
Constructor Summary
Constructors Constructor Description LTLgraph()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description (package private) mini_c.Label
add(LTL instr)
ajoute une nouvelle instruction dans le graphe et renvoie son étiquette(package private) void
print(mini_c.Label entry)
imprime le graphe (pour debugger)(package private) void
put(mini_c.Label l, LTL instr)
-
-
-
Field Detail
-
graph
java.util.Map<mini_c.Label,LTL> graph
-
-