cdc.applic.expressions.ast.TrueNode Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of cdc-applic-expressions Show documentation

Applicabilities Expressions.

There is a newer version: 0.13.3

Show newest version

package cdc.applic.expressions.ast;

import java.io.PrintStream;

import cdc.applic.expressions.Formatting;
import cdc.applic.expressions.literals.Name;
import cdc.util.debug.Printables;

public final class TrueNode extends AbstractNamedNode implements ParsingNode, SortableNode, AtomNode {
    public static final String KIND = "TRUE";
    public static final Name TRUE = Name.of("true", false);
    public static final TrueNode INSTANCE = new TrueNode();

    private TrueNode() {
        super(TRUE);
    }

    @Override
    public String getKind() {
        return KIND;
    }

    @Override
    public NodeKerning getKerning() {
        return NodeKerning.KERNING_TRUE;
    }

    @Override
    public final void buildInfix(Formatting formatting,
                                 StringBuilder builder) {
        getKerning().addSymbol(builder, formatting);
    }

    @Override
    public void print(PrintStream out,
                      int level) {
        Printables.indent(out, level);
        out.println(getKind());
    }

    @Override
    public boolean equals(Object object) {
        // There is only one instance of this class
        return this == object;
    }

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

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