Examples with DispatchTriggerCondition org.osate.ba.aadlba.DispatchTriggerCondition used on opensource projects

Example 1 with DispatchTriggerCondition

use of org.osate.ba.aadlba.DispatchTriggerCondition in project osate2 by osate.

the class DispatchConditionImpl method basicSetDispatchTriggerCondition.

/**
 * <!-- begin-user-doc -->
 * <!-- end-user-doc -->
 * @generated
 */
public NotificationChain basicSetDispatchTriggerCondition(DispatchTriggerCondition newDispatchTriggerCondition, NotificationChain msgs) {
    DispatchTriggerCondition oldDispatchTriggerCondition = dispatchTriggerCondition;
    dispatchTriggerCondition = newDispatchTriggerCondition;
    if (eNotificationRequired()) {
        ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, AadlBaPackage.DISPATCH_CONDITION__DISPATCH_TRIGGER_CONDITION, oldDispatchTriggerCondition, newDispatchTriggerCondition);
        if (msgs == null)
            msgs = notification;
        else
            msgs.add(notification);
    }
    return msgs;
}

Example 2 with DispatchTriggerCondition

use of org.osate.ba.aadlba.DispatchTriggerCondition in project osate2 by osate.

the class AadlBaNameResolver method dispatchConditionResolver.

/*
	 * dispatch_condition ::=
	 * on dispatch [ dispatch_trigger_condition ] [ frozen frozen_ports ]
	 */
private boolean dispatchConditionResolver(DispatchCondition cond) {
    boolean result = true;
    DispatchTriggerCondition dtc = cond.getDispatchTriggerCondition();
    // Dtc can be null as no dispatch trigger condition means always true.
    if (dtc != null) {
        result = dispatchTriggerConditionResolver(dtc);
    }
    if (cond.isSetFrozenPorts()) {
        for (Element id : cond.getFrozenPorts()) {
            result &= refResolver((Reference) id);
        }
    }
    return result;
}