view python/ppci/c3/scope.py @ 319:8d07a4254f04

Work on burg
author Windel Bouwman
date Sat, 18 Jan 2014 18:58:43 +0100
parents e609d5296ee9
children 5477e499b039
line wrap: on
line source

from .astnodes import Constant, Variable, Function, BaseType, Symbol


class Scope:
    """ A scope contains all symbols in a scope. It also has a parent scope,
        when looking for a symbol, also the parent scopes are checked. """
    def __init__(self, parent=None):
        self.symbols = {}
        self.parent = parent

    def __iter__(self):
        # Iterate in a deterministic manner:
        return iter(self.Constants + self.Variables + self.Functions)

    @property
    def Syms(self):
        syms = self.symbols.values()
        return sorted(syms, key=lambda v: v.name)

    @property
    def Constants(self):
        return [s for s in self.Syms if type(s) is Constant]

    @property
    def Variables(self):
        return [s for s in self.Syms if isinstance(s, Variable)]

    @property
    def Functions(self):
        return [s for s in self.Syms if type(s) is Function]

    def getSymbol(self, name):
        if name in self.symbols:
            return self.symbols[name]
        # Look for symbol:
        elif self.parent:
            return self.parent.getSymbol(name)
        else:
            raise KeyError(name)

    def __getitem__(self, key):
        return self.getSymbol(key)

    def hasSymbol(self, name):
        if name in self.symbols:
            return True
        elif self.parent:
            return self.parent.hasSymbol(name)
        else:
            return False

    def __contains__(self, name):
        return self.hasSymbol(name)

    def addSymbol(self, sym):
        assert sym.name not in self.symbols
        assert isinstance(sym, Symbol)
        self.symbols[sym.name] = sym

    def __repr__(self):
        return 'Scope with {} symbols'.format(len(self.symbols))


def createTopScope(target):
    scope = Scope()
    for tn in ['u64', 'u32', 'u16', 'u8']:
        scope.addSymbol(BaseType(tn))
    # buildin types:
    intType = BaseType('int')
    intType.bytesize = target.byte_sizes['int']
    scope.addSymbol(intType)
    scope.addSymbol(BaseType('double'))
    scope.addSymbol(BaseType('void'))
    scope.addSymbol(BaseType('bool'))
    scope.addSymbol(BaseType('string'))
    scope.addSymbol(BaseType('byte'))
    return scope