/usr/lib/python2.7/dist-packages/slimit/scope.py is in python-slimit 0.8.1-3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
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 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 | ###############################################################################
#
# Copyright (c) 2011 Ruslan Spivak
#
# Permission is hereby granted, free of charge, to any person obtaining a copy
# of this software and associated documentation files (the "Software"), to deal
# in the Software without restriction, including without limitation the rights
# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
# copies of the Software, and to permit persons to whom the Software is
# furnished to do so, subject to the following conditions:
#
# The above copyright notice and this permission notice shall be included in
# all copies or substantial portions of the Software.
#
# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
# FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
# THE SOFTWARE.
#
###############################################################################
__author__ = 'Ruslan Spivak <ruslan.spivak@gmail.com>'
import itertools
try:
from collections import OrderedDict
except ImportError:
from odict import odict as OrderedDict
from slimit.lexer import Lexer
ID_CHARS = 'abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ'
def powerset(iterable):
"""powerset('abc') -> a b c ab ac bc abc"""
s = list(iterable)
for chars in itertools.chain.from_iterable(
itertools.combinations(s, r) for r in range(1, len(s)+1)
):
yield ''.join(chars)
class SymbolTable(object):
def __init__(self):
self.globals = GlobalScope()
class Scope(object):
def __init__(self, enclosing_scope=None):
self.symbols = OrderedDict()
# {symbol.name: mangled_name}
self.mangled = {}
# {mangled_name: symbol.name}
self.rev_mangled = {}
# names referenced from this scope and all sub-scopes
# {name: scope} key is the name, value is the scope that
# contains referenced name
self.refs = {}
# set to True if this scope or any subscope contains 'eval'
self.has_eval = False
# set to True if this scope or any subscope contains 'wit
self.has_with = False
self.enclosing_scope = enclosing_scope
# sub-scopes
self.children = []
# add ourselves as a child to the enclosing scope
if enclosing_scope is not None:
self.enclosing_scope.add_child(self)
self.base54 = powerset(ID_CHARS)
def __contains__(self, sym):
return sym.name in self.symbols
def add_child(self, scope):
self.children.append(scope)
def define(self, sym):
self.symbols[sym.name] = sym
# track scope for every symbol
sym.scope = self
def resolve(self, name):
sym = self.symbols.get(name)
if sym is not None:
return sym
elif self.enclosing_scope is not None:
return self.enclosing_scope.resolve(name)
def get_enclosing_scope(self):
return self.enclosing_scope
def _get_scope_with_mangled(self, name):
"""Return a scope containing passed mangled name."""
scope = self
while True:
parent = scope.get_enclosing_scope()
if parent is None:
return
if name in parent.rev_mangled:
return parent
scope = parent
def _get_scope_with_symbol(self, name):
"""Return a scope containing passed name as a symbol name."""
scope = self
while True:
parent = scope.get_enclosing_scope()
if parent is None:
return
if name in parent.symbols:
return parent
scope = parent
def get_next_mangled_name(self):
"""
1. Do not shadow a mangled name from a parent scope
if we reference the original name from that scope
in this scope or any sub-scope.
2. Do not shadow an original name from a parent scope
if it's not mangled and we reference it in this scope
or any sub-scope.
"""
while True:
mangled = self.base54.next()
# case 1
ancestor = self._get_scope_with_mangled(mangled)
if (ancestor is not None
and self.refs.get(ancestor.rev_mangled[mangled]) is ancestor
):
continue
# case 2
ancestor = self._get_scope_with_symbol(mangled)
if (ancestor is not None
and self.refs.get(mangled) is ancestor
and mangled not in ancestor.mangled
):
continue
# make sure a new mangled name is not a reserved word
if mangled.upper() in Lexer.keywords:
continue
return mangled
class GlobalScope(Scope):
pass
class LocalScope(Scope):
pass
class Symbol(object):
def __init__(self, name):
self.name = name
self.scope = None
class VarSymbol(Symbol):
pass
class FuncSymbol(Symbol, Scope):
"""Function symbol is both a symbol and a scope for arguments."""
def __init__(self, name, enclosing_scope):
Symbol.__init__(self, name)
Scope.__init__(self, enclosing_scope)
|