AIntervalSet.java

/* This file was generated by SableCC (http://www.sablecc.org/). */

package org.sablecc.sablecc.node;

import org.sablecc.sablecc.analysis.*;

@SuppressWarnings("nls")
public final class AIntervalSet extends PSet {
    private PChar _left_;
    private PChar _right_;

    public AIntervalSet() {
        // Constructor
    }

    public AIntervalSet(
            @SuppressWarnings("hiding") PChar _left_,
            @SuppressWarnings("hiding") PChar _right_) {
        // Constructor
        setLeft(_left_);

        setRight(_right_);

    }

    @Override
    public Object clone() {
        return new AIntervalSet(
                cloneNode(this._left_),
                cloneNode(this._right_));
    }

    @Override
    public void apply(Switch sw) {
        ((Analysis) sw).caseAIntervalSet(this);
    }

    public PChar getLeft() {
        return this._left_;
    }

    public void setLeft(PChar node) {
        if (this._left_ != null) {
            this._left_.parent(null);
        }

        if (node != null) {
            if (node.parent() != null) {
                node.parent().removeChild(node);
            }

            node.parent(this);
        }

        this._left_ = node;
    }

    public PChar getRight() {
        return this._right_;
    }

    public void setRight(PChar node) {
        if (this._right_ != null) {
            this._right_.parent(null);
        }

        if (node != null) {
            if (node.parent() != null) {
                node.parent().removeChild(node);
            }

            node.parent(this);
        }

        this._right_ = node;
    }

    @Override
    public String toString() {
        return ""
                + toString(this._left_)
                + toString(this._right_);
    }

    @Override
    void removeChild(@SuppressWarnings("unused") Node child) {
        // Remove child
        if (this._left_ == child) {
            this._left_ = null;
            return;
        }

        if (this._right_ == child) {
            this._right_ = null;
            return;
        }

        throw new RuntimeException("Not a child.");
    }

    @Override
    void replaceChild(@SuppressWarnings("unused") Node oldChild, @SuppressWarnings("unused") Node newChild) {
        // Replace child
        if (this._left_ == oldChild) {
            setLeft((PChar) newChild);
            return;
        }

        if (this._right_ == oldChild) {
            setRight((PChar) newChild);
            return;
        }

        throw new RuntimeException("Not a child.");
    }
}