def parse_goal(this_module, s, check_tables = False, debug = 0):
global goal_mode, pattern_vars
init(this_module, check_tables, debug)
scanner.init(scanner, debug, check_tables)
scanner.lexer.lineno = 1
scanner.lexer.filename = s
scanner.kfb_mode = False
scanner.goal_mode = True
goal_mode = True
pattern_vars = []
#parser.restart()
return parser.parse('check ' + s, lexer=scanner.lexer, tracking=True,
debug=debug)
def parse(this_module, filename, check_tables = False, debug = 0):
#def parse(this_module, filename, check_tables = True, debug = 1):
global goal_mode
init(this_module, check_tables, debug)
with open(filename) as f:
scanner.init(scanner, debug, check_tables)
scanner.lexer.lineno = 1
scanner.lexer.filename = filename
scanner.kfb_mode = False
scanner.goal_mode = False
goal_mode = False
#parser.restart()
return parser.parse(f.read() + '\n', lexer=scanner.lexer, tracking=True,
debug=debug)
def parse_goal(this_module, s, check_tables=False, debug=0):
global goal_mode, pattern_vars
init(this_module, check_tables, debug)
scanner.init(scanner, debug, check_tables)
scanner.lexer.lineno = 1
scanner.lexer.filename = s
scanner.kfb_mode = False
scanner.goal_mode = True
goal_mode = True
pattern_vars = []
#parser.restart()
return parser.parse('check ' + s,
lexer=scanner.lexer,
tracking=True,
debug=debug)
def parse(this_module, filename, check_tables=False, debug=0):
#def parse(this_module, filename, check_tables = True, debug = 1):
global goal_mode
init(this_module, check_tables, debug)
with open(filename) as f:
scanner.init(scanner, debug, check_tables)
scanner.lexer.lineno = 1
scanner.lexer.filename = filename
scanner.kfb_mode = False
scanner.goal_mode = False
goal_mode = False
#parser.restart()
return parser.parse(f.read() + '\n',
lexer=scanner.lexer,
tracking=True,
debug=debug)
def parse(this_module, filename, check_tables=False, debug=0):
#def parse(this_module, filename, check_tables = False, debug = 1):
'''
>>> from pyke.krb_compiler import kfbparser
>>> kfbparser.parse(kfbparser,
... os.path.join(os.path.dirname(__file__),
... 'TEST/kfbparse_test.kfb'),
... True)
<fact_base kfbparse_test>
'''
global Fact_base
init(this_module, check_tables, debug)
name = os.path.basename(filename)[:-4]
Fact_base = fact_base.fact_base(None, name, False)
with open(filename) as f:
scanner.init(scanner, debug, check_tables, True)
scanner.lexer.lineno = 1
scanner.lexer.filename = filename
#parser.restart()
parser.parse(f.read(), lexer=scanner.lexer, tracking=True, debug=debug)
ans = Fact_base
Fact_base = None
return ans
def parse(this_module, filename, check_tables = False, debug = 0):
#def parse(this_module, filename, check_tables = False, debug = 1):
'''
>>> from pyke.krb_compiler import kfbparser
>>> kfbparser.parse(kfbparser,
... os.path.join(os.path.dirname(__file__),
... 'TEST/kfbparse_test.kfb'),
... True)
<fact_base kfbparse_test>
'''
global Fact_base
init(this_module, check_tables, debug)
name = os.path.basename(filename)[:-4]
Fact_base = fact_base.fact_base(None, name, False)
with open(filename) as f:
scanner.init(scanner, debug, check_tables, True)
scanner.lexer.lineno = 1
scanner.lexer.filename = filename
#parser.restart()
parser.parse(f.read(), lexer=scanner.lexer, tracking=True, debug=debug)
ans = Fact_base
Fact_base = None
return ans
