/* FinInfExpression -- Automatically generated by TreeBuilder (2024-10-27T16:48Z) */

package de.uni_freiburg.informatik.ultimate.crocotta.ast;

import java.util.List;
/**
 * Represents a fin inf expression which is a special form of a language expression.
 */
public class FinInfExpression extends LanguageExpression {
    private static final long serialVersionUID = 1L;
    private static final java.util.function.Predicate<CrocottaQuery> VALIDATOR = 
			CrocottaQuery.VALIDATORS.get(FinInfExpression.class);
    /**
     * The finite of this fin inf expression.
     */
    String finite;

    /**
     * The infinite of this fin inf expression.
     */
    String infinite;

    /**
     * The constructor taking initial values.
     * @param finite the finite of this fin inf expression.
     * @param infinite the infinite of this fin inf expression.
     */
    public FinInfExpression(String finite, String infinite) {
        super();
        this.finite = finite;
        this.infinite = infinite;
        assert VALIDATOR == null || VALIDATOR.test(this) : "Invalid FinInfExpression: " + this;
    }

    /**
     * Returns a textual description of this object.
     */
    public String toString() {
        StringBuffer sb = new StringBuffer();
        sb.append("FinInfExpression").append('[');
        sb.append(finite);
        sb.append(',').append(infinite);
        return sb.append(']').toString();
    }

    /**
     * Gets the finite of this fin inf expression.
     * @return the finite of this fin inf expression.
     */
    public String getFinite() {
        return finite;
    }

    /**
     * Gets the infinite of this fin inf expression.
     * @return the infinite of this fin inf expression.
     */
    public String getInfinite() {
        return infinite;
    }

    public List<CrocottaQuery> getOutgoingNodes() {
        List<CrocottaQuery> children = super.getOutgoingNodes();
        return children;
    }

    public void accept(CrocottaAstVisitor visitor) {
        if (visitor.visit((LanguageExpression)this)) {
            //visit parent types higher up if necessary
        } else {
            return;
        }
        visitor.visit(this);
    }

    public LanguageExpression accept(CrocottaAstTransformer visitor) {
        LanguageExpression node = visitor.transform(this);
        if(node != this){
            return node;
        }

        return this;
    }
}