/* Completeness -- 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;
/**
 * Represents a completeness.
 */
public class Completeness extends ACSLNode {
    private static final java.util.function.Predicate<ACSLNode> VALIDATOR = 
			ACSLNode.VALIDATORS.get(Completeness.class);
    /**
     * The complete behaviors of this completeness.
     */
    String[] completeBehaviors;

    /**
     * The disjoint behaviors of this completeness.
     */
    String[] disjointBehaviors;

    /**
     * The constructor taking initial values.
     */
    public Completeness() {
        super();
        assert VALIDATOR == null || VALIDATOR.test(this) : "Invalid Completeness: " + this;
    }

    /**
     * The constructor taking initial values.
     * @param completeBehaviors the complete behaviors of this completeness.
     * @param disjointBehaviors the disjoint behaviors of this completeness.
     */
    public Completeness(String[] completeBehaviors, String[] disjointBehaviors) {
        super();
        this.completeBehaviors = completeBehaviors;
        this.disjointBehaviors = disjointBehaviors;
        assert VALIDATOR == null || VALIDATOR.test(this) : "Invalid Completeness: " + this;
    }

    /**
     * Returns a textual description of this object.
     */
    public String toString() {
        StringBuffer sb = new StringBuffer();
        sb.append("Completeness").append('[');
        if (completeBehaviors == null) {
            sb.append("null");
        } else {
            sb.append('[');
            for(int i1 = 0; i1 < completeBehaviors.length; i1++) {
                if (i1 > 0) sb.append(',');
                    sb.append(completeBehaviors[i1]);
            }
            sb.append(']');
        }
        sb.append(',');
        if (disjointBehaviors == null) {
            sb.append("null");
        } else {
            sb.append('[');
            for(int i1 = 0; i1 < disjointBehaviors.length; i1++) {
                if (i1 > 0) sb.append(',');
                    sb.append(disjointBehaviors[i1]);
            }
            sb.append(']');
        }
        return sb.append(']').toString();
    }

    /**
     * Gets the complete behaviors of this completeness.
     * @return the complete behaviors of this completeness.
     */
    public String[] getCompleteBehaviors() {
        return completeBehaviors;
    }

    /**
     * Sets the complete behaviors of this completeness.
     * @param completeBehaviors the complete behaviors of this completeness.
     */
    public void setCompleteBehaviors(String[] completeBehaviors) {
        this.completeBehaviors = completeBehaviors;
    }

    /**
     * Gets the disjoint behaviors of this completeness.
     * @return the disjoint behaviors of this completeness.
     */
    public String[] getDisjointBehaviors() {
        return disjointBehaviors;
    }

    /**
     * Sets the disjoint behaviors of this completeness.
     * @param disjointBehaviors the disjoint behaviors of this completeness.
     */
    public void setDisjointBehaviors(String[] disjointBehaviors) {
        this.disjointBehaviors = disjointBehaviors;
    }

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

    public void accept(ACSLVisitor visitor) {
        visitor.visit(this);
    }

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

        return this;
    }
}