Minicode/eficas_mini.py

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