/* CodeAnnot -- Automatically generated by TreeBuilder (2024-10-27T16:47Z) */

package de.uni_freiburg.informatik.ultimate.model.acsl.ast;

import java.util.List;
import de.uni_freiburg.informatik.ultimate.model.acsl.ACSLNode;
/**
 * CodeAnnotation:
 * basically represents Assertions (not sure what Invariant is)
 * and for-behaviours with Assertions. The Ast here is based upon
 * the Grammar.
 */
public abstract class CodeAnnot extends ACSLNode {
    private static final java.util.function.Predicate<ACSLNode> VALIDATOR = 
			ACSLNode.VALIDATORS.get(CodeAnnot.class);
    /**
     * The constructor taking initial values.
     */
    public CodeAnnot() {
        super();
        assert VALIDATOR == null || VALIDATOR.test(this) : "Invalid CodeAnnot: " + this;
    }

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

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

    public abstract void accept(ACSLVisitor visitor);

    public abstract CodeAnnot accept(ACSLTransformer visitor);
}