Widget headerAt(int index) { if (index < 0 || index >= factories.length) { throw ArgumentError("No field with index $index"); } return Text(structure.fields[index].name); }