@syntest/core
Version:
The common core of the SynTest Framework
74 lines • 2.8 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.UncoveredObjectiveManager = void 0;
const ObjectiveManager_1 = require("./ObjectiveManager");
/**
* Objective manager that only evaluates an encoding on uncovered objectives.
*
* @author Mitchell Olsthoorn
*/
class UncoveredObjectiveManager 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);
}
}
}
/**
* @inheritDoc
*/
load(subject) {
// Set the subject
this._subject = subject;
// TODO: Reset the objective manager
const objectives = subject.getObjectives();
objectives.forEach((objective) => {
// Add all objectives to both the uncovered objectives and the current objectives
this._uncoveredObjectives.add(objective);
this._currentObjectives.add(objective);
});
}
}
exports.UncoveredObjectiveManager = UncoveredObjectiveManager;
//# sourceMappingURL=UncoveredObjectiveManager.js.map