Fonctions |
def | urmCutlandTk.compile |
| Compile le source.
|
def | urmCutlandTk.inst_to_str |
def | urmCutlandTk.num_inst_to_str |
| Renvoie un numéro d'instruction sous forme de String.
|
def | urmCutlandTk.run |
| Exécute certaines instructions du programme dans l'URM.
|
def | urmCutlandTk.cmd_about |
| MessageBox About...
|
def | urmCutlandTk.cmd_clear_regs |
| Efface les registres.
|
def | urmCutlandTk.cmd_clear_src |
| Efface le source (et donc le programme)
|
def | urmCutlandTk.cmd_compile |
| Compile le source et actualise l'affichage.
|
def | urmCutlandTk.cmd_compile_run |
| cmd_compile() puis cmd_run()
|
def | urmCutlandTk.cmd_finish |
| Exécute le reste du programme à partir de l'instruction courante.
|
def | urmCutlandTk.cmd_num_inst |
| Récupère et actualise le numéro d'instruction courante.
|
def | urmCutlandTk.cmd_quit |
| Quitter ?
|
def | urmCutlandTk.cmd_restart |
| Réinitialise sur la première instruction.
|
def | urmCutlandTk.cmd_run |
| Exécute tout le programme après réinitialisation.
|
def | urmCutlandTk.cmd_select_inst |
| Sélection d'une instruction.
|
def | urmCutlandTk.cmd_change_delay |
| Initialise sleep_delay avec la valeur saisie.
|
def | urmCutlandTk.cmd_change_reg |
| Initialise num_reg avec la valeur saisie.
|
def | urmCutlandTk.cmd_select_reg |
| Sélection d'un registre.
|
def | urmCutlandTk.cmd_step |
| Exécute l'instruction courante.
|
def | urmCutlandTk.cmd_stop |
| Active le stop.
|
def | urmCutlandTk.update_godel_prog |
| Réactualise l'affichage de godel_prog.
|
def | urmCutlandTk.update_godel_regs |
| Réactualise l'affichage de godel_regs.
|
def | urmCutlandTk.update_nb_runned |
| Réactualise l'affichage de nb_runned.
|
def | urmCutlandTk.update_num_inst |
| Réactualise l'affichage de num_inst.
|
def | urmCutlandTk.update_num_reg |
| Réactualise l'affichage de num_reg.
|
def | urmCutlandTk.update_prog |
| Réactualise l'affichage de prog.
|
def | urmCutlandTk.update_registers |
| Réactualise l'affichage des registres.
|
Variables |
string | urmCutlandTk.VERSION = 'v.00.00 --- 2010 April 12' |
| Version.
|
int | urmCutlandTk.godel_prog = 1 |
| Représentation du programme par un code à la Gödel.
|
int | urmCutlandTk.godel_regs = 1 |
| Représentation des registres par un code à la Gödel.
|
int | urmCutlandTk.nb_runned = 0 |
| Nombre d'instructions exécutée.
|
int | urmCutlandTk.num_inst = 1 |
| Numéro de l'instruction courante.
|
| urmCutlandTk.num_inst_old = None |
| Numéro de l'instruction courante précédante.
|
int | urmCutlandTk.num_reg = 1 |
| Numéro du registre courant.
|
| urmCutlandTk.num_reg_old = None |
| Numéro du registre courant précédant.
|
tuple | urmCutlandTk.prog = urmCutland.UrmCutlandProg('') |
| Programme à faire exécuter par urm.
|
tuple | urmCutlandTk.urm = urmCutland.UrmCutland() |
| Machine virtuelle URM.
|
tuple | urmCutlandTk.w = tk.Tk() |
| Fenêtre principale.
|
tuple | urmCutlandTk.monospace = tkFont.Font(w, size=10, family='courier') |
| Police de caractères à taille fixe pour les listes.
|
tuple | urmCutlandTk.hide_qJmnq1 = tk.IntVar() |
| Si True alors n'affiche pas les instructions q) J(m,n,q+1) dans le champ programme.
|
tuple | urmCutlandTk.hide_Tnn = tk.IntVar() |
| Si True alors n'affiche pas les instructions T(n,n) dans le champ programme.
|
tuple | urmCutlandTk.show_godel_numbers = tk.IntVar() |
| Si True alors affiche les "nombres de Gödel" de chaque instruction.
|
tuple | urmCutlandTk.show_godel_prog = tk.IntVar() |
| Si True alors affiche godel_prog.
|
tuple | urmCutlandTk.show_godel_regs = tk.IntVar() |
| Si True alors affiche godel_regs.
|
tuple | urmCutlandTk.show_factors = tk.IntVar() |
| Si True alors affiche les facteurs des registres.
|
tuple | urmCutlandTk.sleep = tk.IntVar() |
| Si True alors marque une pause entre chaque instruction exécutée.
|
int | urmCutlandTk.sleep_delay = 100 |
| Durée en ms de l'attente en deux exécutions.
|
| urmCutlandTk.stop = False |
| Si True alors interrompre l'exécution en cours.
|
Application URM of Cutland Tk permettant de manipuler une URM de Cutland !!! Work in progress !!!
Cf.
http://www.opimedia.be/Bruno_Marchal/index.htm#Theo
Définition dans le fichier urmCutlandTk.py.