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