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

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

import java.util.List;
/**
 * Represents a language expression.
 */
public abstract class LanguageExpression extends CrocottaQuery {
    private static final long serialVersionUID = 1L;
    private static final java.util.function.Predicate<CrocottaQuery> VALIDATOR = 
			CrocottaQuery.VALIDATORS.get(LanguageExpression.class);
    /**
     * The constructor taking initial values.
     */
    public LanguageExpression() {
        super();
        assert VALIDATOR == null || VALIDATOR.test(this) : "Invalid LanguageExpression: " + this;
    }

    /**
     * Returns a textual description of this object.
     */
    public String toString() {
        return "LanguageExpression";
    }

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

    public abstract void accept(CrocottaAstVisitor visitor);

    public abstract LanguageExpression accept(CrocottaAstTransformer visitor);
}