6.23.10.1.3. Process file data

Comienzo python section to interscript/frames/inputf.py[5 /41 ] Siguiente Previo Primero Ăšltimo
   192: #line 239 "input_frame.ipk"
   193:   def file_pass(self):
   194:     while 1:
   195:       try:
   196:         file,count,line = self.readline()
   197: 
   198:         self.echo = 'input' in self.process.trace
   199:         if self.echo:
   200:           print '%s %6s: %s' % (file,count,line)
   201:         for r in self.reg_list:
   202:           match = r[0].match(line)
   203:           if match:
   204:             r[1](match,file,count,self.userdict)
   205:             break
   206:       except eoi:
   207:         if 'frames' in self.process.trace:
   208:           print 'EOI detected'
   209:         if self.current_tangler:
   210:           self.select(None)
   211:         self.close()
   212:         return
   213:       except KeyboardInterrupt:
   214:         print '!!!!!!!!! KEYBOARD INTERRUPT !!!!!!!!!'
   215:         self.process.update_files = 0
   216:         self.close()
   217:         raise KeyboardInterrupt
   218:       except process_fault,value:
   219:         print '!!!!!!!!! PROCESS FAULT ',value,' !!!!!!!!!'
   220:         self.process.update_files = 0
   221:         self.close()
   222:         raise
   223:       except SystemExit,value:
   224:         print '!!!!!!!!! SYSTEM EXIT !!!!!!!!!'
   225:         self.process.update_files = 0
   226:         self.close()
   227:         raise SystemExit,value
   228:       except:
   229:         print '!!!!!!!!! PROGRAM ERROR !!!!!!!!!'
   230:         traceback.print_exc()
   231:         self.process.update_files = 0
   232:         self.close()
   233:         sys.exit(1)
   234: 
End python section to interscript/frames/inputf.py[5]