Minicode/eficas_mini.py

   1 #!/usr/bin/env python
   2 # -*- coding: utf-8 -*-
   3 """
   4     Ce module sert à lancer EFICAS configuré pour Code_Mini
   5 """
   6 # Modules Python
   7 import sys,os
   8
   9 # Modules Eficas
  10 import prefs
  11 sys.path[:0]=[prefs.INSTALLDIR]
  12
  13 args=sys.argv[1:]
  14 for a in args:
  15    if a == "-display":
  16       os.environ['DISPLAY']=args[args.index("-display")+1]
  17
  18 import Misc.Trace
  19 import Editeur
  20 from Editeur import eficas_go
  21
  22 def main():
  23    #Misc.Trace.begin_trace()
  24    if len(sys.argv) > 1 :
  25        # on veut ouvrir un fichier directement au lancement d'Eficas
  26        eficas_go.lance_eficas(code='MINICODE',fichier = sys.argv[1])
  27    else:
  28        # on veut ouvrir Eficas 'vide'
  29        eficas_go.lance_eficas(code='MINICODE')
  30    Misc.Trace.end_trace()
  31
  32 def hidez():
  33    from Misc import Cyclops
  34    z = Cyclops.CycleFinder()
  35    z.run(main)
  36    z.find_cycles()
  37    z.show_stats()
  38    z.show_cycles()
  39    # z.show_cycleobjs()
  40    # z.show_sccs()
  41    z.show_arcs()
  42
  43 withCyclops=0
  44
  45 if withCyclops:
  46    hidez()
  47 else:
  48    main()
  49
  50