minikconfig: add AST
Add Python classes that represent the Kconfig abstract syntax tree.
The abstract syntax tree is stored as a list of clauses. For example:
config FOO
depends on BAR
select BAZ
is represented as three clauses:
FOO depends on BAR
FOO default n
select BAZ if FOO
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Message-Id: <20190123065618.3520-24-yang.zhong@intel.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
This commit is contained in:
Paolo Bonzini
parent
d4fdccadba
commit
53167f5626
@ -31,11 +31,84 @@ def debug_print(*args):
|
||||
# -------------------------------------------
|
||||
|
||||
class KconfigData:
|
||||
class Expr:
|
||||
def __and__(self, rhs):
|
||||
return KconfigData.AND(self, rhs)
|
||||
def __or__(self, rhs):
|
||||
return KconfigData.OR(self, rhs)
|
||||
def __invert__(self):
|
||||
return KconfigData.NOT(self)
|
||||
|
||||
class AND(Expr):
|
||||
def __init__(self, lhs, rhs):
|
||||
self.lhs = lhs
|
||||
self.rhs = rhs
|
||||
def __str__(self):
|
||||
return "(%s && %s)" % (self.lhs, self.rhs)
|
||||
|
||||
class OR(Expr):
|
||||
def __init__(self, lhs, rhs):
|
||||
self.lhs = lhs
|
||||
self.rhs = rhs
|
||||
def __str__(self):
|
||||
return "(%s || %s)" % (self.lhs, self.rhs)
|
||||
|
||||
class NOT(Expr):
|
||||
def __init__(self, lhs):
|
||||
self.lhs = lhs
|
||||
def __str__(self):
|
||||
return "!%s" % (self.lhs)
|
||||
|
||||
class Var(Expr):
|
||||
def __init__(self, name):
|
||||
self.name = name
|
||||
self.value = None
|
||||
def __str__(self):
|
||||
return self.name
|
||||
|
||||
class Clause:
|
||||
def __init__(self, dest):
|
||||
self.dest = dest
|
||||
|
||||
class AssignmentClause(Clause):
|
||||
def __init__(self, dest, value):
|
||||
KconfigData.Clause.__init__(self, dest)
|
||||
self.value = value
|
||||
def __str__(self):
|
||||
return "%s=%s" % (self.dest, 'y' if self.value else 'n')
|
||||
|
||||
class DefaultClause(Clause):
|
||||
def __init__(self, dest, value, cond=None):
|
||||
KconfigData.Clause.__init__(self, dest)
|
||||
self.value = value
|
||||
self.cond = cond
|
||||
def __str__(self):
|
||||
value = 'y' if self.value else 'n'
|
||||
if self.cond is None:
|
||||
return "config %s default %s" % (self.dest, value)
|
||||
else:
|
||||
return "config %s default %s if %s" % (self.dest, value, self.cond)
|
||||
|
||||
class DependsOnClause(Clause):
|
||||
def __init__(self, dest, expr):
|
||||
KconfigData.Clause.__init__(self, dest)
|
||||
self.expr = expr
|
||||
def __str__(self):
|
||||
return "config %s depends on %s" % (self.dest, self.expr)
|
||||
|
||||
class SelectClause(Clause):
|
||||
def __init__(self, dest, cond):
|
||||
KconfigData.Clause.__init__(self, dest)
|
||||
self.cond = cond
|
||||
def __str__(self):
|
||||
return "select %s if %s" % (self.dest, self.cond)
|
||||
|
||||
def __init__(self):
|
||||
self.previously_included = []
|
||||
self.incl_info = None
|
||||
self.defined_vars = set()
|
||||
self.referenced_vars = set()
|
||||
self.referenced_vars = dict()
|
||||
self.clauses = list()
|
||||
|
||||
# semantic analysis -------------
|
||||
|
||||
@ -53,29 +126,34 @@ class KconfigData:
|
||||
if (var in self.defined_vars):
|
||||
raise Exception('variable "' + var + '" defined twice')
|
||||
|
||||
self.defined_vars.add(var)
|
||||
self.defined_vars.add(var.name)
|
||||
|
||||
# var is a string with the variable's name.
|
||||
#
|
||||
# For now this just returns the variable's name itself.
|
||||
def do_var(self, var):
|
||||
self.referenced_vars.add(var)
|
||||
return var
|
||||
if (var in self.referenced_vars):
|
||||
return self.referenced_vars[var]
|
||||
|
||||
var_obj = self.referenced_vars[var] = KconfigData.Var(var)
|
||||
return var_obj
|
||||
|
||||
def do_assignment(self, var, val):
|
||||
pass
|
||||
self.clauses.append(KconfigData.AssignmentClause(var, val))
|
||||
|
||||
def do_default(self, var, val, cond=None):
|
||||
pass
|
||||
self.clauses.append(KconfigData.DefaultClause(var, val, cond))
|
||||
|
||||
def do_depends_on(self, var, expr):
|
||||
pass
|
||||
self.clauses.append(KconfigData.DependsOnClause(var, expr))
|
||||
|
||||
def do_select(self, var, symbol, cond=None):
|
||||
pass
|
||||
cond = (cond & var) if cond is not None else var
|
||||
self.clauses.append(KconfigData.SelectClause(symbol, cond))
|
||||
|
||||
def do_imply(self, var, symbol, cond=None):
|
||||
pass
|
||||
# "config X imply Y [if COND]" is the same as
|
||||
# "config Y default y if X [&& COND]"
|
||||
cond = (cond & var) if cond is not None else var
|
||||
self.do_default(symbol, True, cond)
|
||||
|
||||
# -------------------------------------------
|
||||
# KconfigParser implements a recursive descent parser for (simplified)
|
||||
@ -237,31 +315,34 @@ class KconfigParser:
|
||||
def parse_primary(self):
|
||||
if self.tok == TOK_NOT:
|
||||
self.get_token()
|
||||
self.parse_primary()
|
||||
val = ~self.parse_primary()
|
||||
elif self.tok == TOK_LPAREN:
|
||||
self.get_token()
|
||||
self.parse_expr()
|
||||
val = self.parse_expr()
|
||||
if self.tok != TOK_RPAREN:
|
||||
raise KconfigParserError(self, 'Expected ")"')
|
||||
self.get_token()
|
||||
elif self.tok == TOK_ID:
|
||||
self.parse_var()
|
||||
val = self.parse_var()
|
||||
else:
|
||||
raise KconfigParserError(self, 'Expected "!" or "(" or identifier')
|
||||
return val
|
||||
|
||||
# disj: primary (OR primary)*
|
||||
def parse_disj(self):
|
||||
self.parse_primary()
|
||||
lhs = self.parse_primary()
|
||||
while self.tok == TOK_OR:
|
||||
self.get_token()
|
||||
self.parse_primary()
|
||||
lhs = lhs | self.parse_primary()
|
||||
return lhs
|
||||
|
||||
# expr: disj (AND disj)*
|
||||
def parse_expr(self):
|
||||
self.parse_disj()
|
||||
lhs = self.parse_disj()
|
||||
while self.tok == TOK_AND:
|
||||
self.get_token()
|
||||
self.parse_disj()
|
||||
lhs = lhs & self.parse_disj()
|
||||
return lhs
|
||||
|
||||
# condition: IF expr
|
||||
# | empty
|
||||
@ -438,4 +519,6 @@ class KconfigParser:
|
||||
|
||||
if __name__ == '__main__':
|
||||
fname = len(sys.argv) > 1 and sys.argv[1] or 'Kconfig.test'
|
||||
KconfigParser.parse(open(fname, 'r'))
|
||||
data = KconfigParser.parse(open(fname, 'r'))
|
||||
for i in data.clauses:
|
||||
print i
|
||||
|
||||
Loading…
Reference in New Issue
Block a user