astra.term.Performative Maven / Gradle / Ivy

Go to download

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

Core interpreter artifact for the ASTRA Language

There is a newer version: 1.4.2

package astra.term;

import astra.reasoner.util.LogicVisitor;
import astra.reasoner.util.StringMapper;
import astra.type.Type;

public class Performative implements Term {
	/**
	 *
	 */
	private static final long serialVersionUID = -5641472519856863137L;

	private static StringMapper mapper = new StringMapper();

	private int stringId;
	
	public Performative(String value) {
		this.stringId = mapper.toId(value);
	}
	
	public int stringId() {
		return stringId;
	}
	
	public String value() {
		return mapper.fromId(stringId);
	}

	@Override
	public Type type() {
		return Type.PERFORMATIVE;
	}

	public String toString() {
		return "\"" + mapper.fromId(stringId) + "\"";
	}
	
	public boolean equals(Object obj) {
		if (Performative.class.isInstance(obj)) {
			return ((Performative) obj).stringId == stringId;
		}
		return false;
	}

	@Override
	public Object accept(LogicVisitor visitor) {
		return visitor.visit(this);
	}

	@Override
	public boolean matches(Term term) {
		if (term instanceof Performative) {
			return stringId == ((Performative) term).stringId;
		}
		return (term instanceof Variable);
	}

	@Override
	public String signature() {
		return "PE:"+stringId;
	}

	public Performative clone() {
		return this;
	}
}