8 from developpeur import DEVELOPPEUR
18 developpeur.sortie.write( "import de "+__name__+" : $Id$" )
19 developpeur.sortie.write( "\n" )
20 developpeur.sortie.flush()
25 def __init__ ( self, texte, contexte=None, verbeux=1 ) :
27 assert( type(texte) == types.StringType )
32 message.MESSAGE( "execution de "+texte )
34 exec texte in contexte
39 developpeur.sortie.write( "\n\n\n" )
40 message.MESSAGE( "Exception interceptee" )
41 scrute.SCRUTE( texte )
42 scrute.SCRUTE( contexte )
43 scrute.SCRUTE( e.__class__.__name__ )
44 scrute.SCRUTE( str(e) )
45 developpeur.sortie.write( "\n\n\n" )
46 developpeur.sortie.flush()
56 if __name__ == "__main__" :
57 class Ex(Exception) : pass
60 raise Ex( "y a bel et bien un erreur" )
69 scrute.SCRUTE(str(ee))
70 scrute.SCRUTE(ee.__class__)