org.ggp.base.util.symbol.grammar.SymbolAtom Maven / Gradle / Ivy

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.

There is a newer version: 0.0.15

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

public final class SymbolAtom extends Symbol
{

    private final String value;

    SymbolAtom(String value)
    {
        this.value = value.intern();
    }

    public String getValue()
    {
        return value;
    }

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

}