Examples with ComponentInstance org.osate.aadl2.instance.ComponentInstance used on opensource projects

Example 1 with ComponentInstance

use of org.osate.aadl2.instance.ComponentInstance in project alisa-examples by osate.

the class ModelVerifications method sameVoltage.

public static boolean sameVoltage(ComponentInstance ci) {
    EList<FeatureInstance> inlets = new BasicEList<FeatureInstance>();
    for (FeatureInstance fi : ci.getAllFeatureInstances(FeatureCategory.ABSTRACT_FEATURE)) {
        Classifier cl = fi.getFeature().getAllClassifier();
        if (cl.getName().equalsIgnoreCase("power")) {
            inlets.add(fi);
        }
    }
    if (inlets.size() == 2) {
        double v1 = getVoltage(inlets.get(0));
        double v2 = getVoltage(inlets.get(1));
        return v1 == v2;
    }
    return false;
}

Example 2 with ComponentInstance

use of org.osate.aadl2.instance.ComponentInstance in project alisa-examples by osate.

the class ModelVerifications method allComponentFeaturesConnected.

/**
 * Recursively consistency check that all leaf components have all features
 * connected. Get report back on details of which ones do not.
 */
// EList<ResultIssue>
public static Result allComponentFeaturesConnected(ComponentInstance ci) {
    Result report = ResultUtil.createResult("AllFeaturesConnected", ci);
    for (ComponentInstance subi : ci.getAllComponentInstances()) {
        if (isLeafComponent(subi)) {
            for (FeatureInstance fi : subi.getAllFeatureInstances()) {
                if (!isConnected(fi)) {
                    Issue issue = ResultUtil.createFail("Feature " + fi.getName() + " of component " + fi.getContainingComponentInstance().getName() + " not connected", fi);
                    report.getIssues().add(issue);
                }
            }
        }
    }
    return report;
}

Example 3 with ComponentInstance

use of org.osate.aadl2.instance.ComponentInstance in project alisa-examples by osate.

the class ModelVerifications method samePowerBudget.

public static boolean samePowerBudget(ComponentInstance ci) {
    EList<FeatureInstance> inlets = new BasicEList<FeatureInstance>();
    for (FeatureInstance fi : ci.getAllFeatureInstances(FeatureCategory.ABSTRACT_FEATURE)) {
        Classifier cl = fi.getFeature().getAllClassifier();
        if (cl.getName().equalsIgnoreCase("power")) {
            inlets.add(fi);
        }
    }
    if (inlets.size() == 2) {
        double pb1 = GetProperties.getPowerBudget(inlets.get(0), 0.0);
        double pb2 = GetProperties.getPowerBudget(inlets.get(1), 0.0);
        return pb1 == pb2;
    }
    return false;
}