本文整理匯總了Python中SymbolTable.SymbolTable.push_scope方法的典型用法代碼示例。如果您正苦於以下問題:Python SymbolTable.push_scope方法的具體用法?Python SymbolTable.push_scope怎麽用?Python SymbolTable.push_scope使用的例子?那麽, 這裏精選的方法代碼示例或許可以為您提供幫助。您也可以進一步了解該方法所在類SymbolTable.SymbolTable
的用法示例。
在下文中一共展示了SymbolTable.push_scope方法的1個代碼示例,這些例子默認根據受歡迎程度排序。您可以為喜歡或者感覺有用的代碼點讚,您的評價將有助於係統推薦出更棒的Python代碼示例。
示例1: TypeChecker
# 需要導入模塊: from SymbolTable import SymbolTable [as 別名]
# 或者: from SymbolTable.SymbolTable import push_scope [as 別名]
class TypeChecker(NodeVisitor):
def __init__(self):
self.symbol_table = SymbolTable(None, "TypeChecker", {})
self.ttypes = defaultdict(lambda: defaultdict(lambda: defaultdict(lambda: None)))
self.fill_ttypes()
def fill_ttypes(self):
# arithmetic int operations
self.add_ttype('+', 'int', 'int', 'int')
self.add_ttype('-', 'int', 'int', 'int')
self.add_ttype('*', 'int', 'int', 'int')
self.add_ttype('/', 'int', 'int', 'int')
self.add_ttype('%', 'int', 'int', 'int')
# binary int operations
self.add_ttype('&', 'int', 'int', 'int')
self.add_ttype('|', 'int', 'int', 'int')
self.add_ttype('^', 'int', 'int', 'int')
self.add_ttype('<<', 'int', 'int', 'int')
self.add_ttype('>>', 'int', 'int', 'int')
# arithmetic float operations
self.add_ttype('+', 'float', 'float', 'float')
self.add_ttype('-', 'float', 'float', 'float')
self.add_ttype('*', 'float', 'float', 'float')
self.add_ttype('/', 'float', 'float', 'float')
self.add_ttype('%', 'float', 'float', 'float')
self.add_ttype('+', 'int', 'float', 'float')
self.add_ttype('-', 'int', 'float', 'float')
self.add_ttype('*', 'int', 'float', 'float')
self.add_ttype('/', 'int', 'float', 'float')
self.add_ttype('%', 'int', 'float', 'float')
self.add_ttype('+', 'float', 'int', 'float')
self.add_ttype('-', 'float', 'int', 'float')
self.add_ttype('*', 'float', 'int', 'float')
self.add_ttype('/', 'float', 'int', 'float')
self.add_ttype('%', 'float', 'int', 'float')
# relational int operations
self.add_ttype('==', 'int', 'int', 'int')
self.add_ttype('!=', 'int', 'int', 'int')
self.add_ttype('<', 'int', 'int', 'int')
self.add_ttype('>', 'int', 'int', 'int')
self.add_ttype('<=', 'int', 'int', 'int')
self.add_ttype('>=', 'int', 'int', 'int')
# relational float operations
self.add_ttype('==', 'float', 'float', 'float')
self.add_ttype('!=', 'float', 'float', 'float')
self.add_ttype('<', 'float', 'float', 'float')
self.add_ttype('>', 'float', 'float', 'float')
self.add_ttype('<=', 'float', 'float', 'float')
self.add_ttype('>=', 'float', 'float', 'float')
self.add_ttype('==', 'int', 'float', 'float')
self.add_ttype('!=', 'int', 'float', 'float')
self.add_ttype('<', 'int', 'float', 'float')
self.add_ttype('>', 'int', 'float', 'float')
self.add_ttype('<=', 'int', 'float', 'float')
self.add_ttype('>=', 'int', 'float', 'float')
self.add_ttype('==', 'float', 'int', 'float')
self.add_ttype('!=', 'float', 'int', 'float')
self.add_ttype('<', 'float', 'int', 'float')
self.add_ttype('>', 'float', 'int', 'float')
self.add_ttype('<=', 'float', 'int', 'float')
self.add_ttype('>=', 'float', 'int', 'float')
# string operations
self.add_ttype('+', 'string', 'string', 'string')
self.add_ttype('*', 'string', 'int', 'string')
self.add_ttype('==', 'string', 'string', 'string')
self.add_ttype('!=', 'string', 'string', 'string')
self.add_ttype('<', 'string', 'string', 'string')
self.add_ttype('>', 'string', 'string', 'string')
self.add_ttype('<=', 'string', 'string', 'string')
self.add_ttype('>=', 'string', 'string', 'string')
def add_ttype(self, operation, operand1, operand2, returned):
self.ttypes[operation][operand1][operand2] = returned
def visit_Name(self, node):
return node.name
def visit_CheckedName(self, node):
if self.symbol_table.get(node.name):
return node.name
else:
print("Error: Usage of undeclared variable '%s': line %s" % (node.name, node.lineno))
return node.name
def visit_Operator(self, node):
return node.op
def visit_Integer(self, node):
return 'int'
def visit_Float(self, node):
return 'float'
def visit_String(self, node):
return 'string'
def visit_Program(self, node):
self.symbol_table = self.symbol_table.push_scope("Program")
for item in node.body:
#.........這裏部分代碼省略.........