Lexical.java

// Copyright (c) 2013-2019 K Team. All Rights Reserved.
package org.kframework.kil;

/** A terminal in a {@link Production}. */
public class Lexical extends ProductionItem {

    private String lexicalRule;
    private String follow;

    public Lexical(String terminal, String follow) {
        super();
        this.lexicalRule = terminal;
        this.follow = follow;
    }

    public Lexical(Lexical terminal) {
        super(terminal);
        this.lexicalRule = terminal.lexicalRule;
        this.follow = terminal.follow;
    }

    @Override
    public String toString() {
        return "Lexical{" + lexicalRule + "}";
    }

    @Override
    public boolean equals(Object obj) {
        if (obj == null)
            return false;
        if (obj == this)
            return true;
        if (!(obj instanceof Lexical))
            return false;

        Lexical trm = (Lexical) obj;

        if (!trm.lexicalRule.equals(this.lexicalRule))
            return false;
        return true;
    }

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

    @Override
    public Lexical shallowCopy() {
        return new Lexical(this);
    }

    public void setFollow(String follow) {
        this.follow = follow;
    }

    public String getFollow() {
        return follow;
    }

    public String getLexicalRule() {
        return lexicalRule;
    }

}