TASSFalsePredicate.java

package edu.udel.cis.vsl.tass.predicate.impl;

import edu.udel.cis.vsl.tass.predicate.IF.TASSPredicateIF;
import edu.udel.cis.vsl.tass.semantics.IF.ExecutionStateException;
import edu.udel.cis.vsl.tass.state.IF.StateIF;

public class TASSFalsePredicate implements TASSPredicateIF {

	public boolean holdsAt(StateIF state) {
		return false;
	}

	public String explanation() {
		return "The false predicate is always false.";
	}

	public String toString() {
		return "FalsePredicate";
	}

	@Override
	public ExecutionStateException getException() {
		return null;
	}

}