All Downloads are FREE. Search and download functionalities are using the official Maven repository.

goal.tools.test.executors.testcondition.UntilExecutor Maven / Gradle / Ivy

The newest version!
/**
 * The GOAL Runtime Environment. Copyright (C) 2015 Koen Hindriks.
 *
 * This program is free software: you can redistribute it and/or modify it under
 * the terms of the GNU General Public License as published by the Free Software
 * Foundation, either version 3 of the License, or (at your option) any later
 * version.
 *
 * This program is distributed in the hope that it will be useful, but WITHOUT
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
 * FOR A PARTICULAR PURPOSE. See the GNU General Public License for more
 * details.
 *
 * You should have received a copy of the GNU General Public License along with
 * this program. If not, see .
 */
package goal.tools.test.executors.testcondition;

import java.util.Set;

import goal.core.runtime.service.agent.RunState;
import goal.tools.test.exceptions.BoundaryException;
import goal.tools.test.executors.TestActionExecutor;
import krTools.language.Substitution;
import krTools.parser.SourceInfo;
import languageTools.program.test.testcondition.TestCondition;
import languageTools.program.test.testcondition.Until;

public class UntilExecutor extends TestConditionExecutor {
	private final Until until;

	public UntilExecutor(Until until, Substitution substitution, RunState runstate, TestActionExecutor parent) {
		super(substitution, runstate, parent);
		this.until = until;
	}

	@Override
	public void evaluate(TestEvaluationChannel channel, SourceInfo info) {
		if (channel != null) { // UNTIL
			if (this.until.hasNestedCondition()) {
				// NOT POSSIBLE?!
			} else {
				final Set evaluation = evaluate();
				if (!evaluation.isEmpty()) {
					setPassed(true);
					throw new BoundaryException("Boundary '" + this.until + "' reached.");
				}
			}
		}
	}

	@Override
	public TestCondition getCondition() {
		return this.until;
	}
}




© 2015 - 2025 Weber Informatics LLC | Privacy Policy