Exemple #1
0
class SymbolSpecificTreeGenerator:
    def __init__(self):

        self.expressionTreeProvider = ExpressionTreeProvider()
        self.trackingInfoProvider = TrackingInfoProvider()
        self.symbolPropagator = SymbolPropagator()
        self.exprTreePruner = ExpressionTreePruner()

    def getTree(self, location, symbol):

        self.location = location

        trackingInfo = self.trackingInfoProvider.loadTrackingInfo(location)
        tree = self.expressionTreeProvider.loadExpressionTree(location)

        self.newTree = SymbolSpecificTree()
        self.newTree.setTrackingInfo(trackingInfo)

        (symbol, symbolType) = self._parseSymbol(symbol)
        self.newTree.setSymbol(symbol, symbolType)
        self._setAssociatedSymbols()
        self._setExpressionTreeForSymbols(tree)

        return self.newTree

    def _parseSymbol(self, s):
        s = s[2:-2]

        if s.startswith('type: '):
            return (s[len('type: '):], 'type')

        if s.startswith('call: '):
            self.isCall = True
            return (s[len('call: '):], 'call')

        elif s.startswith('param: '):
            return (s.split(' ')[-1], 'param')
        elif s.startswith('local: '):
            return (s.split(' ')[-1], 'local')

        return (s, 'stray')

    def _setAssociatedSymbols(self):
        trackingInfo = self.newTree.trackingInfo
        symbol = self.newTree.symbol
        symbolType = self.newTree.symbolType
        symbols = self.symbolPropagator.propagate(trackingInfo, symbol,
                                                  symbolType)
        # print 'FOO %s %s: %s' % (symbol, self.location, symbols)
        self.newTree.setSymbols(symbols)

    def _setExpressionTreeForSymbols(self, tree):
        # exprTree = copy.deepcopy(tree.prunedTree)
        exprTree = tree.prunedTree
        (prunedTree, nodesKept) = self.exprTreePruner.pruneForSymbols(
            exprTree, self.newTree.symbols)
        self.newTree.setPrunedTree(prunedTree, nodesKept)
class SymbolSpecificTreeGenerator:
    def __init__(self):

        self.expressionTreeProvider = ExpressionTreeProvider()
        self.trackingInfoProvider = TrackingInfoProvider()
        self.symbolPropagator = SymbolPropagator()
        self.exprTreePruner = ExpressionTreePruner()

    def getTree(self, location, symbol):
        
        self.location = location

        trackingInfo = self.trackingInfoProvider.loadTrackingInfo(location)
        tree = self.expressionTreeProvider.loadExpressionTree(location)
        
        self.newTree = SymbolSpecificTree()
        self.newTree.setTrackingInfo(trackingInfo)
        
        (symbol, symbolType) = self._parseSymbol(symbol)
        self.newTree.setSymbol(symbol, symbolType)
        self._setAssociatedSymbols()
        self._setExpressionTreeForSymbols(tree)
        
        return self.newTree
    
    def _parseSymbol(self,s):
        s = s[2:-2]
        
        if s.startswith('type: '):
            return (s[len('type: '):], 'type')
        
        if s.startswith('call: '):
            self.isCall = True
            return (s[len('call: '):], 'call')
        
        elif s.startswith('param: '):
            return (s.split(' ')[-1], 'param')
        elif s.startswith('local: '): 
            return (s.split(' ')[-1], 'local')
        
        return (s, 'stray')
    
    def _setAssociatedSymbols(self):
        trackingInfo = self.newTree.trackingInfo
        symbol = self.newTree.symbol
        symbolType = self.newTree.symbolType
        symbols = self.symbolPropagator.propagate(trackingInfo, symbol, symbolType)
        # print 'FOO %s %s: %s' % (symbol, self.location, symbols)
        self.newTree.setSymbols(symbols)
    
    def _setExpressionTreeForSymbols(self, tree):
        # exprTree = copy.deepcopy(tree.prunedTree)
        exprTree = tree.prunedTree
        (prunedTree, nodesKept) = self.exprTreePruner.pruneForSymbols(exprTree, self.newTree.symbols)
        self.newTree.setPrunedTree(prunedTree, nodesKept)
        
Exemple #3
0
    def __init__(self):

        self.expressionTreeProvider = ExpressionTreeProvider()
        self.trackingInfoProvider = TrackingInfoProvider()
        self.symbolPropagator = SymbolPropagator()
        self.exprTreePruner = ExpressionTreePruner()
Exemple #4
0
    def __init__(self):

        self.exprTreeProvider = ExpressionTreeProvider()
        self.trackingInfoProvider = TrackingInfoProvider()
        self.treeToExprConverter = TreeToExpressionConverter()
    def __init__(self):

        self.expressionTreeProvider = ExpressionTreeProvider()
        self.trackingInfoProvider = TrackingInfoProvider()
        self.symbolPropagator = SymbolPropagator()
        self.exprTreePruner = ExpressionTreePruner()