// Used in the table label provider public String getViewerColumnValue(int index) { switch (index) { case 0: // transition name return transitionName; case 1: // qualified name return sourceFeature.getName() + "." + transitionData.stateMachineName + "." + transitionData.regionName; case 2: // requires safe composition return Boolean.toString(needsSAT); case 3: // has error return Boolean.toString(hasError); case 4: // logical proposition if (!needsSAT || hasError) { // if does not need SAT or is an error return empty return ""; } return SCUtils.translatesRequiringImpl(sourceFeature, requiringFeatures); case 5: // is consistent (if satisfiable means is inconsistent, that is why it is negated) if (!needsSAT || hasError) { // if does not need SAT or is an error return empty return ""; } return Boolean.toString(!evaluationValues.get(0)); // case 6: // eval time if (!needsSAT || hasError) { // if does not need SAT or is an error return empty return ""; } return Long.toString(evaluationTime); case 7: // remarks return errorMessage; default: return "unkown " + index; } } // getViewrColumnValue