def __init__(self, enclosing_scope):
Symbol.__init__(self)
scope_name = self.make_name(enclosing_scope.scope_name)
Scope.__init__(self, scope_name, enclosing_scope)
def __init__(self, enclosing_scope):
Symbol.__init__(self)
scope_name = self.make_name(enclosing_scope.scope_name)
Scope.__init__(self, scope_name, enclosing_scope)
