astra.ast.formula.BindFormula 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.ITerm;
import astra.ast.core.ParseException;
import astra.ast.core.Token;

public class BindFormula extends AbstractElement implements IFormula {
	ITerm variable;
	ITerm term;
	
	public BindFormula(ITerm variable, ITerm term, Token start, Token end, String source) {
		super(start, end, source);
		this.variable = variable;
		this.term = term;
	}

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

	public ITerm variable() {
		return variable;
	}
	
	public ITerm term() {
		return term;
	}

	public String toSignature() {
		return "";
	}
}