Searched refs:scanfile (Results 1 – 3 of 3) sorted by relevance
36 sub scanfile { subroutine90 $errs += scanfile("$dir/$_");
308 self.scanfile = sys.stdin374 tmp = self.scanmine and self.scanfile375 self.scanfile = None446 self.scanfile = file467 if not self.scanfile:469 self.line = self.scanfile.readline()478 if not self.scanfile:481 inputname = self.scanfile.name
237 scanfile($fullname);342 sub scanfile { subroutine