}
}
}
else if (element instanceof ArrayValue) {
ArrayValue value = (ArrayValue) element;
if (value.getFeatureStructure() instanceof ArrayFS) {
ArrayFS array = (ArrayFS) value.getFeatureStructure();
FeatureStructure fs = array.get(value.slot());
if (fs == null) {
cell.setText("null");
}
else {
cell.setText("[" + fs.getType().getShortName() + "]");
}
}
else {
cell.setText(value.get().toString());
}
}
else {
throw new CasEditorError("Unkown element!");
}