Program: 136025
Project: 136025
Buggy source:
public String getColumnText(Object element,int columnIndex){
  if (element instanceof TLCState) {
    TLCState state=(TLCState)element;
switch (columnIndex) {
case NAME:
      if (state.isStuttering()) {
        return "String_Node_Str";
      }
 else       if (state.isBackToState()) {
        return "String_Node_Str" + state.getStateNumber() + "String_Node_Str";
      }
    return state.getLabel();
case VALUE:
  return "String_Node_Str" + state.getStateNumber() + "String_Node_Str";
default :
break;
}
}
 else if (element instanceof TLCVariable) {
TLCVariable var=(TLCVariable)element;
switch (columnIndex) {
case NAME:
return var.getName();
case VALUE:
return var.getValue().toSimpleString();
default :
break;
}
}
 else if (element instanceof TLCSetVariableValue || element instanceof TLCSequenceVariableValue || element instanceof TLCSimpleVariableValue) {
TLCVariableValue varValue=(TLCVariableValue)element;
switch (columnIndex) {
case VALUE:
return varValue.toString();
case NAME:
return "String_Node_Str";
default :
break;
}
}
 else if (element instanceof TLCNamedVariableValue) {
TLCNamedVariableValue namedValue=(TLCNamedVariableValue)element;
switch (columnIndex) {
case NAME:
return namedValue.getName();
case VALUE:
return ((TLCVariableValue)namedValue.getValue()).toSimpleString();
default :
break;
}
}
 else if (element instanceof TLCFcnElementVariableValue) {
TLCFcnElementVariableValue fcnElementValue=(TLCFcnElementVariableValue)element;
switch (columnIndex) {
case NAME:
return fcnElementValue.getFrom().toSimpleString();
case VALUE:
return ((TLCVariableValue)fcnElementValue.getValue()).toSimpleString();
default :
break;
}
}
 else if (element instanceof TLCRecordVariableValue) {
TLCRecordVariableValue recordValue=(TLCRecordVariableValue)element;
switch (columnIndex) {
case NAME:
return "String_Node_Str";
case VALUE:
return recordValue.toSimpleString();
default :
break;
}
}
 else if (element instanceof TLCFunctionVariableValue) {
TLCFunctionVariableValue fcnValue=(TLCFunctionVariableValue)element;
switch (columnIndex) {
case NAME:
return "String_Node_Str";
case VALUE:
return fcnValue.toSimpleString();
default :
break;
}
}
return null;
}

Fixed version (ground truth):
public String getColumnText(Object element,int columnIndex){
  if (element instanceof TLCState) {
    TLCState state=(TLCState)element;
switch (columnIndex) {
case NAME:
      if (state.isStuttering()) {
        return "String_Node_Str";
      }
 else       if (state.isBackToState()) {
        return "String_Node_Str" + state.getStateNumber() + "String_Node_Str";
      }
    return state.getLabel();
case VALUE:
  return "String_Node_Str" + state.getStateNumber() + "String_Node_Str";
default :
break;
}
}
 else if (element instanceof TLCVariable) {
TLCVariable var=(TLCVariable)element;
switch (columnIndex) {
case NAME:
if (var.isTraceExplorerVar()) {
return var.getSingleLineName();
}
 else {
return var.getName();
}
case VALUE:
return var.getValue().toSimpleString();
default :
break;
}
}
 else if (element instanceof TLCSetVariableValue || element instanceof TLCSequenceVariableValue || element instanceof TLCSimpleVariableValue) {
TLCVariableValue varValue=(TLCVariableValue)element;
switch (columnIndex) {
case VALUE:
return varValue.toString();
case NAME:
return "String_Node_Str";
default :
break;
}
}
 else if (element instanceof TLCNamedVariableValue) {
TLCNamedVariableValue namedValue=(TLCNamedVariableValue)element;
switch (columnIndex) {
case NAME:
return namedValue.getName();
case VALUE:
return ((TLCVariableValue)namedValue.getValue()).toSimpleString();
default :
break;
}
}
 else if (element instanceof TLCFcnElementVariableValue) {
TLCFcnElementVariableValue fcnElementValue=(TLCFcnElementVariableValue)element;
switch (columnIndex) {
case NAME:
return fcnElementValue.getFrom().toSimpleString();
case VALUE:
return ((TLCVariableValue)fcnElementValue.getValue()).toSimpleString();
default :
break;
}
}
 else if (element instanceof TLCRecordVariableValue) {
TLCRecordVariableValue recordValue=(TLCRecordVariableValue)element;
switch (columnIndex) {
case NAME:
return "String_Node_Str";
case VALUE:
return recordValue.toSimpleString();
default :
break;
}
}
 else if (element instanceof TLCFunctionVariableValue) {
TLCFunctionVariableValue fcnValue=(TLCFunctionVariableValue)element;
switch (columnIndex) {
case NAME:
return "String_Node_Str";
case VALUE:
return fcnValue.toSimpleString();
default :
break;
}
}
return null;
}