@syntest/search/dist/lib/objective/managers/ArchiveBasedObjectiveManager.js

The common core of the SynTest Framework

"use strict";
/*
 * Copyright 2020-2023 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.ArchiveBasedObjectiveManager = void 0;
const ExceptionObjectiveFunction_1 = require("../ExceptionObjectiveFunction");
const ObjectiveManager_1 = require("./ObjectiveManager");
/**
 * An abstract objective manager for algorithms based on an archive.
 *
 * @author Mitchell Olsthoorn
 */
class ArchiveBasedObjectiveManager extends ObjectiveManager_1.ObjectiveManager {
    /**
     * @inheritdoc
     */
    _handleCoveredObjective(objectiveFunction, encoding) {
        // Update the objectives
        const childObjectives = this._updateObjectives(objectiveFunction);
        // Update the archive
        this._updateArchive(objectiveFunction, encoding);
        return childObjectives;
    }
    /**
     * @inheritdoc
     */
    _handleUncoveredObjective(_objectiveFunction, _encoding, _distance) {
        // Do nothing
    }
    /**
     * @inheritdoc
     */
    // eslint-disable-next-line sonarjs/cognitive-complexity
    finalize(_finalPopulation) {
        const encodings = this._archive.getEncodings();
        for (const encoding of encodings) {
            const uses = this._archive.getUses(encoding);
            for (const use of uses) {
                if (use instanceof ExceptionObjectiveFunction_1.ExceptionObjectiveFunction) {
                    encoding.addMetaComment(`Selected for:`);
                    for (const line of use.error.stack.split("\n")) {
                        encoding.addMetaComment(`\t${line}`);
                    }
                    encoding.addMetaComment("");
                }
                else {
                    encoding.addMetaComment(`Selected for objective: ${use.getIdentifier()}`);
                }
            }
            const executionResult = encoding.getExecutionResult();
            if (executionResult) {
                for (const objective of this._subject.getObjectives()) {
                    if (executionResult.coversId(objective.getIdentifier())) {
                        encoding.addMetaComment(`Covers objective: ${objective.getIdentifier()}`);
                    }
                }
            }
        }
    }
    /**
     * Update the archive.
     *
     * @param objectiveFunction
     * @param encoding
     * @protected
     */
    _updateArchive(objectiveFunction, encoding) {
        ObjectiveManager_1.ObjectiveManager.LOGGER.debug("updating archive");
        if (!this._archive.hasObjective(objectiveFunction)) {
            ObjectiveManager_1.ObjectiveManager.LOGGER.debug(`new objective covered: ${objectiveFunction.getIdentifier()}`);
            this._archive.update(objectiveFunction, encoding, false);
            return;
        }
        // If the objective is already in the archive we use secondary objectives
        const currentEncoding = this._archive.getEncoding(objectiveFunction);
        // Look at secondary objectives when two solutions are found
        for (const secondaryObjective of this._secondaryObjectives) {
            const comparison = secondaryObjective.compare(encoding, currentEncoding);
            // If one of the two encodings is better, don't evaluate the next objectives
            if (comparison != 0) {
                // Override the encoding if the current one is better
                if (comparison > 0) {
                    ObjectiveManager_1.ObjectiveManager.LOGGER.debug("overwriting archive with better encoding");
                    this._archive.update(objectiveFunction, encoding, false);
                }
                break;
            }
        }
    }
}
exports.ArchiveBasedObjectiveManager = ArchiveBasedObjectiveManager;
//# sourceMappingURL=ArchiveBasedObjectiveManager.js.map