// 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
