Within.java

package de.tum.in.i22.uc.pdp.core.condition.operators;

import org.slf4j.Logger;
import org.slf4j.LoggerFactory;

import de.tum.in.i22.uc.pdp.core.condition.Operator;
import de.tum.in.i22.uc.pdp.core.condition.TimeAmount;
import de.tum.in.i22.uc.pdp.core.shared.Event;
import de.tum.in.i22.uc.pdp.core.shared.IPdpMechanism;
import de.tum.in.i22.uc.pdp.xsd.WithinType;

public class Within extends WithinType {
	private static Logger log = LoggerFactory.getLogger(Within.class);
	public TimeAmount timeAmount = null;

	public Within() {
	}

	@Override
	public void initOperatorForMechanism(IPdpMechanism mech) {
		super.initOperatorForMechanism(mech);
		this.timeAmount = new TimeAmount(this.getAmount(), this.getUnit(),
				mech.getTimestepSize());
		((Operator) this.getOperators()).initOperatorForMechanism(mech);
	}

	public String toString() {
		return "WITHIN (" + this.timeAmount + ", " + this.getOperators() + " )";
	}

	@Override
	public boolean evaluate(Event curEvent) {
		log.debug("[WITHIN] Current state counter=[{}]", this.state.counter);
		if (this.state.counter > 0)
			this.state.value = true;
		else
			this.state.value = false;

		if (curEvent == null) {
			boolean operandValue = ((Operator) this.getOperators())
					.evaluate(curEvent);
			if (operandValue) {
				this.state.counter = this.timeAmount.timestepInterval + 1;
				log.debug(
						"[WITHIN] Set negative counter to interval=[{}] due to subformulas state value=[{}]",
						this.state.counter, operandValue);
			} else {
				if (this.state.counter > 0)
					this.state.counter--;
				log.debug("[WITHIN} New state counter: [{}]",
						this.state.counter);
			}

			// update state->value for logging output
			if (this.state.counter > 0)
				this.state.value = true;
			else
				this.state.value = false;
		}

		log.debug("eval WITHIN [{}]", this.state.value);
		return this.state.value;
	}

}