FEAT: implemented body-of struct reflection (returning struct's key/value pairs)

related to: Oldes/Rebol-issues#2577

Author: Oldes

src/core/t-struct.c

@@ -289,6 +289,38 @@ static void Get_Struct_Values(REBVAL* ret, REBSTU* stu) {
 	}
 }
 
+static void Get_Struct_Body(REBVAL* ret, REBSTU* stu) {
+	REBVAL* val = NULL;
+	REBVAL* type_blk = NULL;
+	REBSER* out, * dim;
+	struct Struct_Field* field = (struct Struct_Field*)SERIES_DATA(stu->fields);
+	REBCNT i, n, cnt;
+
+	cnt = SERIES_TAIL(stu->fields);
+	out = Make_Block(cnt*2);
+	Set_Block(ret, out);
+
+	for (i = 0; i < cnt; i++, field++) {
+		val = Append_Value(out);
+		Init_Word(val, field->sym);
+		SET_TYPE(val, REB_SET_WORD);
+
+		val = Append_Value(out);
+		if (field->dimension > 1) {
+			dim = Make_Block(field->dimension);
+			SET_TYPE(val, REB_BLOCK);
+			VAL_SERIES(val) = dim;
+			for (n = 0; n < field->dimension; n++) {
+				REBVAL* dv = Append_Value(dim);
+				get_scalar(stu, field, n, dv);
+			}
+		}
+		else {
+			get_scalar(stu, field, 0, val);
+		}
+	}
+}
+
 static REBOOL same_fields(REBSER *tgt, REBSER *src)
 {
 	struct Struct_Field *tgt_fields = (struct Struct_Field *) SERIES_DATA(tgt);
@@ -1140,9 +1172,10 @@ static void init_fields(REBVAL *ret, REBVAL *spec)
 						Get_Struct_Values(ret, &VAL_STRUCT(val));
 						break;
 					case SYM_SPEC:
-					case SYM_BODY:
 						Set_Block(ret, Clone_Block(VAL_STRUCT_SPEC(val)));
-						//Unbind_Block(VAL_BLK(val), TRUE); //???
+						break;
+					case SYM_BODY:
+						Get_Struct_Body(ret, &VAL_STRUCT(val));
 						break;
 					case SYM_ADDR:
 						SET_INTEGER(ret, (REBUPT)SERIES_SKIP(VAL_STRUCT_DATA_BIN(val), VAL_STRUCT_OFFSET(val)));

src/tests/units/struct-test.r3

@@ -136,11 +136,11 @@ Rebol [
 
 ===start-group=== "Struct reflection"
 ;@@ https://github.com/Oldes/Rebol-issues/issues/2577
-s: make struct! blk: [a: [uint16!] 1 b: [int32!] -1 c: [word!] foo d [uint8! [2]]]
---test-- "body-of struct"
-	--assert blk = body-of s
+s: make struct! spec: [a: [uint16!] 1 b: [int32!] -1 c: [word!] foo d [uint8! [2]]]
 --test-- "spec-of struct"
-	--assert blk = spec-of s
+	--assert spec = spec-of s
+--test-- "body-of struct"
+	--assert [a: 1 b: -1 c: foo d: [0 0]] = body-of s
 --test-- "words-of struct"
 	--assert [a b c d] = words-of s
 	--assert [a b c d] = keys-of s