@syntest/core
Version:
The common core of the SynTest Framework
90 lines • 3.73 kB
JavaScript
;
/*
* Copyright 2020-2021 Delft University of Technology and SynTest contributors
*
* This file is part of SynTest Framework - SynTest Core.
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
Object.defineProperty(exports, "__esModule", { value: true });
exports.StructuralObjectiveManager = void 0;
const ObjectiveManager_1 = require("./ObjectiveManager");
const cfg_core_1 = require("@syntest/cfg-core");
/**
* Objective manager that only evaluates an encoding on currently reachable objectives.
*
* @author Mitchell Olsthoorn
*/
class StructuralObjectiveManager extends ObjectiveManager_1.ObjectiveManager {
/**
* Constructor.
*
* @param runner Encoding runner
*/
constructor(runner) {
super(runner);
}
/**
* @inheritDoc
* @protected
*/
_updateObjectives(objectiveFunction, encoding, distance) {
if (distance === 0.0) {
// Remove objective from the current and uncovered objectives
this._uncoveredObjectives.delete(objectiveFunction);
this._currentObjectives.delete(objectiveFunction);
// Add objective to the covered objectives and update the archive
this._coveredObjectives.add(objectiveFunction);
if (!this._archive.has(objectiveFunction)) {
this._archive.update(objectiveFunction, encoding);
}
else {
// If the objective is already in the archive we save the shortest encoding
const currentEncoding = this._archive.getEncoding(objectiveFunction);
if (currentEncoding.getLength() > encoding.getLength())
this._archive.update(objectiveFunction, encoding);
}
// Add the child objectives to the current objectives
this._subject
.getChildObjectives(objectiveFunction)
.forEach((objective) => {
if (!this._coveredObjectives.has(objective) &&
!this._currentObjectives.has(objective))
this._currentObjectives.add(objective);
});
}
}
/**
* @inheritDoc
*/
load(subject) {
// Set the subject
this._subject = subject;
// TODO: Reset the objective manager
const objectives = subject.getObjectives();
// Add all objectives to the uncovered objectives
objectives.forEach((objective) => this._uncoveredObjectives.add(objective));
// Set the current objectives
const rootObjectiveNodes = this._subject.cfg.nodes.filter((node) => node.type === cfg_core_1.NodeType.Root);
const rootObjectiveIds = rootObjectiveNodes.map((objective) => objective.id);
let rootObjectives = [];
for (const id of rootObjectiveIds) {
rootObjectives = rootObjectives.concat(this._subject
.getObjectives()
.filter((objective) => objective.getIdentifier() === id));
}
rootObjectives.forEach((objective) => this._currentObjectives.add(objective));
}
}
exports.StructuralObjectiveManager = StructuralObjectiveManager;
//# sourceMappingURL=StructuralObjectiveManager.js.map