astra.ast.formula.TestGoalFormula Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of astra-compiler Show documentation

Core compiler artifact for the ASTRA Language

The newest version!

package astra.ast.formula;

import astra.ast.core.AbstractElement;
import astra.ast.core.IElementVisitor;
import astra.ast.core.IFormula;
import astra.ast.core.ParseException;
import astra.ast.core.Token;

public class TestGoalFormula extends AbstractElement implements IFormula {
	PredicateFormula predicate;
	
	public TestGoalFormula(PredicateFormula predicate, Token start, Token end, String source) {
		super(start, end, source);
		this.predicate = predicate;
	}

	@Override
	public Object accept(IElementVisitor visitor, Object data) throws ParseException {
		return visitor.visit(this, data);
	}

	public PredicateFormula predicate() {
		return predicate;
	}
	
	public String toString() {
		return "?" + predicate.toString();
	}

	public String toSignature() {
		return "test:" + predicate.toSignature();
	}
}