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
Show all versions of astra-compiler Show documentation
Core compiler artifact for the ASTRA Language
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 "";
}
}