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

Example 1 with ModeSwitchTrigger

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

the class AadlBaNameResolver method modeSwitchTriggerLogicalExpression.

private boolean modeSwitchTriggerLogicalExpression(ModeSwitchTriggerLogicalExpression cond) {
    boolean result = true;
    for (ModeSwitchConjunction msc : cond.getModeSwitchConjunctions()) {
        for (ModeSwitchTrigger mst : msc.getModeSwitchTriggers()) {
            Reference trigg = (Reference) mst;
            result &= refResolver(trigg);
        }
    }
    return result;
}