FPsolve/convert_cfg.py at master · mschlund/FPsolve · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
#usage: python convert_cfg.py input.cfg > output.cfg

tokens = ('COLON','SEMICOLON','TERMINAL','NONTERMINAL')

t_COLON = r'\:'
t_SEMICOLON = r'\;'

t_NONTERMINAL = r'<[a-zA-Z_][a-zA-Z0-9_]*>'

def t_TERMINAL(t):
  r'\".*?\"'
  try:
    t.value = t.value[1:-1] #strip the quotes
  except ValueError:
    print("ValError: %s", t.value)
    t.value = ""
  return t

t_ignore = " \t\n"

def t_error(t):
  print("Illegal character '%s'" % t.value[0])
  t.lexer.skip(1)

import ply.lex as lex
lex.lex()


#from calclex import tokens

import ply.yacc as yacc

def p_cfg_rec(p) :
  'cfg : vardecl cfg'
  p[0] = p[1] + "\n" + p[2]

def p_cfg_end(p) :
  'cfg : vardecl'
  p[0] = p[1]

def p_empty(p):
    'empty :'
    pass

def p_vardecl(p) :
  'vardecl : NONTERMINAL rules'
  #p[0] = "<"+p[1]+">" + "::=" + p[2]
  p[0] = p[1] + "::=" + p[2]

def p_rules_rec(p) :
  'rules : rule rules'
  p[0] = p[1] + " | " + p[2]

def p_rules_end(p) :
  'rules : rule'
  p[0] = p[1] + ";"

def p_rule_empty(p) :
  'rule : COLON SEMICOLON'
#  p[0] = "\"<>\""
  p[0] = "\"()\""

def p_rule(p) :
  'rule : COLON symbollist SEMICOLON'
  p[0] = p[2]

def p_symbollist_rec(p) :
  'symbollist : symbol symbollist'
  p[0] = p[1] + " " + p[2]

def p_symbollist_end(p) :
  'symbollist : symbol'
  p[0] = p[1]

def p_symbol_NT(p) :
  'symbol : NONTERMINAL'
#  p[0] = "<"+p[1]+">"
  p[0] = p[1]

def p_symbol_Terminal(p) :
  'symbol : TERMINAL'
#  p[0] = "\"<"+p[1]+":1>\""
  p[0] = "\""+p[1]+"\""
def p_error(p):
    print "Syntax error in input!"

yacc.yacc()

import sys
try:
  f = open(sys.argv[1])
  p = yacc.parse(f.read())
  print p
except EOFError:
  print "EOF Err.."