+ while line.endswith("\\\n"):
+ line = line[:-2] + inputFile.readline()
+ lineNumber += 1
+ match = includeRe.match(line)
+ if match:
+ inputStack.append((fileName, inputFile, lineNumber))
+ inputFile = open(includePath + match.group(1))
+ lineNumber = 0
+ continue
+ if line == "":
+ if inputStack:
+ fileName, inputFile, lineNumber = inputStack.pop()
+ continue
+ if token == None:
+ fatal("unexpected end of input")
+ token = None
+ return False
+ break