def _createConditionClusters(self):
     
     self.cndClusterTool = ConditionClusterer(self.contentProvider)
     self.conditionClusters = self.cndClusterTool.cluster(self.models)
Пример #2
0
    def _createConditionClusters(self):

        self.cndClusterTool = ConditionClusterer(self.contentProvider)
        self.conditionClusters = self.cndClusterTool.cluster(self.models)
class CheckOverlayCreator:
    
    def __init__(self, contentProvider):
        self.contentProvider = contentProvider    
        
        self.minCondObserved = DEFAULT_MIN_COND_OBSERVED
        self.topnCheckHist = DEFAULT_TOP_N_CHECK_HIST
        self.minFracChecks = DEFAULT_MIN_FRAC_CHECKS
    
    def setMinCondObserved(self, val):
        self.minCondObserved = val
    
    def setTopnCheckHist(self, val):
        self.topnCheckHist = val
    
    def setMinFracChecks(self, val):
        self.minFracChecks = val
    
    def createForModels(self, models, onlyForSubChecks = None):

        self.models = [CheckModel(model) for model in models]

        self._generateChecksForAllModels()
        self._retrieveConditions()
        self._distributeChecksPerArg()
                
        self._createConditionClusters()
        
        for model in self.models:
            self.createOverlayForModel(model)
        
        self._filter(onlyForSubChecks)
            
        # self._generateLabels()
        
    
    def _generateLabels(self):
        
        # TODO: Optimization: It's probably possible here to generate node-labels only
        # for those ASTs that are part of one of the models still left.
        
        self.conditionLabels = self.contentProvider.getAllASTNodeLabels()
        for model in self.models:
            model.extractCommonLabels(self.nodeIdToConditionIndex, self.conditionLabels, self.minFracChecks)
        
    
    
    def _createConditionClusters(self):
        
        self.cndClusterTool = ConditionClusterer(self.contentProvider)
        self.conditionClusters = self.cndClusterTool.cluster(self.models)
    
    def createOverlayForModel(self, model):
        
        # Save references to global condition data.
        model.setConditionClusters(self.conditionClusters)
        model.conditionsCode = self.conditionsCode
        model.nodeIdToConditionIndex = self.nodeIdToConditionIndex
        
        model.generateCheckHist()
        model.pruneCheckHist(self.topnCheckHist, self.minCondObserved)
        
    
    def getModels(self):
        return self.models  
    
    def _generateChecksForAllModels(self):
        l = [m.members for m in self.models]
        invocs = uniq(flatten(l))
        
        self.contentProvider.generateChecksForInvocations(invocs)

    def _retrieveConditions(self):

        self.conditions = self.contentProvider.getAllConditions()
        self.nodeIdToConditionIndex = {}
        for i in range(len(self.conditions)):
            self.nodeIdToConditionIndex[self.conditions[i]] = i

        self.conditions = list(set(self.conditions))
        self.conditionsCode = self.contentProvider.getAllConditionsCode()


    def _distributeChecksPerArg(self):
        self.checksPerArg = self.contentProvider.getAllChecksPerArg()
        # list: index is invocation index

        for i in range(len(self.models)):
            for j in range(len(self.models[i].members)):
                self.models[i].checks.append(self.checksPerArg[self.models[i].members[j]])
                # self.models[i].checks.append(self.checksPerArg[j])
    
    def _filter(self, onlyForSubChecks):
        self.modelSelector = ModelSelector()
        self.modelSelector.setSubChecks(onlyForSubChecks)
        self.models = self.modelSelector.selectForChecks(self.models)
Пример #4
0
class CheckOverlayCreator:
    def __init__(self, contentProvider):
        self.contentProvider = contentProvider

        self.minCondObserved = DEFAULT_MIN_COND_OBSERVED
        self.topnCheckHist = DEFAULT_TOP_N_CHECK_HIST
        self.minFracChecks = DEFAULT_MIN_FRAC_CHECKS

    def setMinCondObserved(self, val):
        self.minCondObserved = val

    def setTopnCheckHist(self, val):
        self.topnCheckHist = val

    def setMinFracChecks(self, val):
        self.minFracChecks = val

    def createForModels(self, models, onlyForSubChecks=None):

        self.models = [CheckModel(model) for model in models]

        self._generateChecksForAllModels()
        self._retrieveConditions()
        self._distributeChecksPerArg()

        self._createConditionClusters()

        for model in self.models:
            self.createOverlayForModel(model)

        self._filter(onlyForSubChecks)

        # self._generateLabels()

    def _generateLabels(self):

        # TODO: Optimization: It's probably possible here to generate node-labels only
        # for those ASTs that are part of one of the models still left.

        self.conditionLabels = self.contentProvider.getAllASTNodeLabels()
        for model in self.models:
            model.extractCommonLabels(self.nodeIdToConditionIndex,
                                      self.conditionLabels, self.minFracChecks)

    def _createConditionClusters(self):

        self.cndClusterTool = ConditionClusterer(self.contentProvider)
        self.conditionClusters = self.cndClusterTool.cluster(self.models)

    def createOverlayForModel(self, model):

        # Save references to global condition data.
        model.setConditionClusters(self.conditionClusters)
        model.conditionsCode = self.conditionsCode
        model.nodeIdToConditionIndex = self.nodeIdToConditionIndex

        model.generateCheckHist()
        model.pruneCheckHist(self.topnCheckHist, self.minCondObserved)

    def getModels(self):
        return self.models

    def _generateChecksForAllModels(self):
        l = [m.members for m in self.models]
        invocs = uniq(flatten(l))

        self.contentProvider.generateChecksForInvocations(invocs)

    def _retrieveConditions(self):

        self.conditions = self.contentProvider.getAllConditions()
        self.nodeIdToConditionIndex = {}
        for i in range(len(self.conditions)):
            self.nodeIdToConditionIndex[self.conditions[i]] = i

        self.conditions = list(set(self.conditions))
        self.conditionsCode = self.contentProvider.getAllConditionsCode()

    def _distributeChecksPerArg(self):
        self.checksPerArg = self.contentProvider.getAllChecksPerArg()
        # list: index is invocation index

        for i in range(len(self.models)):
            for j in range(len(self.models[i].members)):
                self.models[i].checks.append(
                    self.checksPerArg[self.models[i].members[j]])
                # self.models[i].checks.append(self.checksPerArg[j])

    def _filter(self, onlyForSubChecks):
        self.modelSelector = ModelSelector()
        self.modelSelector.setSubChecks(onlyForSubChecks)
        self.models = self.modelSelector.selectForChecks(self.models)