def _createConditionClusters(self):
self.cndClusterTool = ConditionClusterer(self.contentProvider)
self.conditionClusters = self.cndClusterTool.cluster(self.models)
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)
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)