6.13.10.1.3. Process file data

Start python section to interscript/frames/inputf.py[5 /40 ] Next Prev Last
   181: #line 228 "input_frame.ipk"
   182:   def file_pass(self):
   183:     while 1:
   184:       try:
   185:         file,count,line = self.readline()
   186: 
   187:         echo = 0
   188:         if self.userdict.has_key('echo_input'):
   189:           echo = self.userdict['echo_input']
   190:         if self.verbosity>=6 or echo and self.verbosity!=0:
   191:           print '%s %6s: %s' % (file,count,line)
   192:         for r in self.reg_list:
   193:           match = r[0].match(line)
   194:           if match:
   195:             r[1](match,file,count,self.process.global_frame.__dict__,self.userdict)
   196:             break
   197:       except eoi:
   198:         if self.verbosity>=3: print 'EOI detected'
   199:         if self.verbosity>=4: print 'Poping input stack'
   200:         if self.current_tangler:
   201:           self.select(None)
   202:         self.close()
   203:         return
   204:       except KeyboardInterrupt:
   205:         print '!!!!!!!!! KEYBOARD INTERRUPT !!!!!!!!!'
   206:         self.process.update_files = 0
   207:         self.close()
   208:         raise KeyboardInterrupt
   209:       except SystemExit,value:
   210:         print '!!!!!!!!! SYSTEM EXIT !!!!!!!!!'
   211:         self.process.update_files = 0
   212:         self.close()
   213:         raise SystemExit,value
   214:       except:
   215:         if self.verbosity>=1:
   216:           print '!!!!!!!!! PROGRAM ERROR !!!!!!!!!'
   217:           traceback.print_exc()
   218:         self.process.update_files = 0
   219:         self.close()
   220:         sys.exit(1)
   221: 
End python section to interscript/frames/inputf.py[5]