GdlProposition.java

package util.gdl.grammar;

import java.util.List;

@SuppressWarnings("serial")
public final class GdlProposition extends GdlSentence
{

	private final GdlConstant name;

	GdlProposition(GdlConstant name)
	{
		this.name = name;
	}

	@Override
	public int arity()
	{
		return 0;
	}

	@Override
	public GdlTerm get(int index)
	{
		throw new RuntimeException("GdlPropositions have no body!");
	}

	@Override
	public GdlConstant getName()
	{
		return name;
	}

	@Override
	public boolean isGround()
	{
		return name.isGround();
	}

	@Override
	public String toString()
	{
		return name.toString();
	}

	@Override
	public GdlTerm toTerm()
	{
		return name;
	}

	@Override
	public List<GdlTerm> getBody() {
		throw new RuntimeException("GdlPropositions have no body!");
	}

}