Examples with Result org.osate.result.Result used on opensource projects

Example 1 with Result

use of org.osate.result.Result 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;
}