public RecordValue(final RecordType type) {
super(type);
Type[] DataTypes = type.getFieldTypes();
int size = DataTypes.length;
Value[] content = new Value[size];
for (int i = 0; i < size; ++i) {
content[i] = DataTypes[i].initialValue();
}
this.content = content;
}
