de.prob.prolog.term.VariablePrologTerm Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of prologlib Show documentation

Part of the ProB Parser library

The newest version!

/*
 * (c) 2009-2022 Lehrstuhl fuer Softwaretechnik und Programmiersprachen, Heinrich
 * Heine Universitaet Duesseldorf This software is licenced under EPL 1.0
 * (http://www.eclipse.org/org/documents/epl-v10.html)
 * */

package de.prob.prolog.term;

import java.util.Objects;

import de.prob.prolog.output.IPrologTermOutput;
import de.prob.prolog.output.PrologTermOutput;

/**
 * Represents a Prolog variable.
 */
public final class VariablePrologTerm extends PrologTerm {

	private final String name;

	public VariablePrologTerm(final String name) {
		Objects.requireNonNull(name, "name");
		if (!PrologTermOutput.isValidPrologVariable(name)) {
			throw new IllegalArgumentException("name");
		}

		this.name = name;
	}

	@Override
	public String getFunctor() {
		return name;
	}

	@Override
	public boolean isVariable() {
		return true;
	}

	public String getName() {
		return name;
	}

	@Override
	public void toTermOutput(final IPrologTermOutput pto) {
		pto.printVariable(name);
	}

	@Override
	public boolean equals(final Object other) {
		if (this == other) {
			return true;
		} else if (!(other instanceof VariablePrologTerm)) {
			return false;
		}
		return name.equals(((VariablePrologTerm) other).name);
	}

	@Override
	public int hashCode() {
		return name.hashCode();
	}
}