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

There is a newer version: 2.13.5

/*
 * (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 de.prob.prolog.output.IPrologTermOutput;

/**
 * Represents a Prolog variable.
 */
public final class VariablePrologTerm extends PrologTerm {
	private final String name;

	public VariablePrologTerm(final String name) {
		//super();
		if (name == null)
			throw new IllegalArgumentException(
					"Name of variable must not be null");
		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 == null || !(other instanceof VariablePrologTerm)) {
			return false;
		}
		return name.equals(((VariablePrologTerm)other).name);
	}

	@Override
	public int hashCode() {
		return name.hashCode() * 5 + 18;
	}
}