Search in sources :

Example 1 with ModeSwitchConjunction

use of org.osate.ba.aadlba.ModeSwitchConjunction 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;
}
Also used : ModeSwitchConjunction(org.osate.ba.aadlba.ModeSwitchConjunction) DeclarativePropertyReference(org.osate.ba.declarative.DeclarativePropertyReference) Reference(org.osate.ba.declarative.Reference) ModeSwitchTrigger(org.osate.ba.aadlba.ModeSwitchTrigger)

Aggregations

ModeSwitchConjunction (org.osate.ba.aadlba.ModeSwitchConjunction)1 ModeSwitchTrigger (org.osate.ba.aadlba.ModeSwitchTrigger)1 DeclarativePropertyReference (org.osate.ba.declarative.DeclarativePropertyReference)1 Reference (org.osate.ba.declarative.Reference)1