org.ggp.base.util.gdl.grammar.GdlVariable Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of alloy-ggp-base Show documentation

A modified version of the GGP-Base library for Alloy.

The newest version!

package org.ggp.base.util.gdl.grammar;

public final class GdlVariable extends GdlTerm
{
    private static final long serialVersionUID = 1L;

    private final String name;

    GdlVariable(String name)
    {
        this.name = name.intern();
    }

    public String getName()
    {
        return name;
    }

    @Override
    public boolean isGround()
    {
        return false;
    }

    @Override
    public GdlSentence toSentence()
    {
        throw new RuntimeException("Unable to convert a GdlVariable to a GdlSentence!");
    }

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

}