From a6b8afcfb61e1d321405fe8713beaec2aa6320a2 Mon Sep 17 00:00:00 2001 From: _ov4 Date: Sat, 17 Oct 2026 05:08:42 +0000 Subject: feat(input): support array elements and member targets Co-Authored-By: Claude Fable 5.1 --- tests/i/input-targets/case.json | 1 + tests/i/input-targets/expected.txt | 11 ++++++ tests/i/input-targets/input.txt | 2 ++ tests/i/input-targets/notes.md | 7 ++++ tests/i/input-targets/program.cps | 56 +++++++++++++++++++++++++++++ tests/iii/input-invalid-targets/case.json | 32 +++++++++++++++++ tests/iii/input-invalid-targets/notes.md | 3 ++ tests/iii/input-invalid-targets/program.cps | 22 ++++++++++++ 8 files changed, 134 insertions(+) create mode 100644 tests/i/input-targets/case.json create mode 100644 tests/i/input-targets/expected.txt create mode 100644 tests/i/input-targets/input.txt create mode 100644 tests/i/input-targets/notes.md create mode 100644 tests/i/input-targets/program.cps create mode 100644 tests/iii/input-invalid-targets/case.json create mode 100644 tests/iii/input-invalid-targets/notes.md create mode 100644 tests/iii/input-invalid-targets/program.cps (limited to 'tests') diff --git a/tests/i/input-targets/case.json b/tests/i/input-targets/case.json new file mode 100644 index 0000000..0967ef4 --- /dev/null +++ b/tests/i/input-targets/case.json @@ -0,0 +1 @@ +{} diff --git a/tests/i/input-targets/expected.txt b/tests/i/input-targets/expected.txt new file mode 100644 index 0000000..75640cd --- /dev/null +++ b/tests/i/input-targets/expected.txt @@ -0,0 +1,11 @@ +10:20:30:40 +80:Ada:TRUE:A +TRUE:-7 +60:70 +index evaluated +90 +[Fatal] line 45: Array index out of bounds +bounds caught +[Fatal] line 51: Dereference of an unset pointer +pointer caught +100 diff --git a/tests/i/input-targets/input.txt b/tests/i/input-targets/input.txt new file mode 100644 index 0000000..dc0af77 --- /dev/null +++ b/tests/i/input-targets/input.txt @@ -0,0 +1,2 @@ +10 20 30 +40 50 Ada 1 A 2.5 -7 60 70 80 90 100 diff --git a/tests/i/input-targets/notes.md b/tests/i/input-targets/notes.md new file mode 100644 index 0000000..dded40c --- /dev/null +++ b/tests/i/input-targets/notes.md @@ -0,0 +1,7 @@ +# INPUT targets + +Human review: pending. Expected output was independently traced by AI, not captured from cpsc. + +Basis: CIE guide p. 15 section 5.1 allows individual data-structure elements. Native C input, numeric BOOLEAN input, whitespace-delimited STRING input and exceptions follow project behavior. + +Trace: the loop stores 10, 20, 30; the grid receives 40. Student 2 receives 50, Ada, true, A, 2.5 and -7, then its score becomes 80 through P. The class fields receive 60 and 70. NextIndex prints once and selects Scores[1], which receives 90. Bounds and null-pointer failures occur before reading input, leaving 100 for the final valid input. diff --git a/tests/i/input-targets/program.cps b/tests/i/input-targets/program.cps new file mode 100644 index 0000000..d7628d3 --- /dev/null +++ b/tests/i/input-targets/program.cps @@ -0,0 +1,56 @@ +TYPE Student + DECLARE Score : INTEGER + DECLARE Name : STRING + DECLARE Passed : BOOLEAN + DECLARE Grade : CHAR + DECLARE Average : REAL + DECLARE Native : C_INT +ENDTYPE +CLASS Box + Value : INTEGER + Details : Student +ENDCLASS +TYPE StudentPtr = ^Student +DECLARE Scores : ARRAY[1:3] OF INTEGER +DECLARE Grid : ARRAY[-1:0,2:3] OF INTEGER +DECLARE Students : ARRAY[1:2] OF Student +DECLARE Item : Box +DECLARE P : StudentPtr +DECLARE j : INTEGER +FOR j <- 1 TO 3 + INPUT Scores[j] +NEXT j +INPUT Grid[-1,3] +INPUT Students[2].Score +INPUT Students[2].Name +INPUT Students[2].Passed +INPUT Students[2].Grade +INPUT Students[2].Average +INPUT Students[2].Native +INPUT Item.Value +INPUT Item.Details.Score +P <- ^Students[2] +INPUT P^.Score +OUTPUT Scores[1], ":", Scores[2], ":", Scores[3], ":", Grid[-1,3] +OUTPUT Students[2].Score, ":", Students[2].Name, ":", Students[2].Passed, ":", Students[2].Grade +OUTPUT Students[2].Average = 2.5, ":", Students[2].Native +OUTPUT Item.Value, ":", Item.Details.Score +FUNCTION NextIndex() RETURNS INTEGER + OUTPUT "index evaluated" + RETURN 1 +ENDFUNCTION +INPUT Scores[NextIndex()] +OUTPUT Scores[1] +TRY + INPUT Scores[4] +CATCH + OUTPUT "bounds caught" +ENDTRY +DECLARE Unset : StudentPtr +TRY + INPUT Unset^.Score +CATCH + OUTPUT "pointer caught" +ENDTRY +INPUT Scores[1] +OUTPUT Scores[1] diff --git a/tests/iii/input-invalid-targets/case.json b/tests/iii/input-invalid-targets/case.json new file mode 100644 index 0000000..be4d749 --- /dev/null +++ b/tests/iii/input-invalid-targets/case.json @@ -0,0 +1,32 @@ +{ + "errors": [ + { + "reason": "Constant Limit is not a writable location", + "line": 16 + }, + { + "reason": "Cannot access private field Hidden of type Box", + "line": 17 + }, + { + "reason": "Whole array Scores is not an assignable location", + "line": 18 + }, + { + "reason": "INPUT is not supported for a value of type Student", + "line": 19 + }, + { + "reason": "INPUT is not supported for a value of type StudentPtr", + "line": 20 + }, + { + "reason": "INPUT is not supported for a value of type Season", + "line": 21 + }, + { + "reason": "INPUT is not supported for C pointer or void type C_STRING", + "line": 22 + } + ] +} diff --git a/tests/iii/input-invalid-targets/notes.md b/tests/iii/input-invalid-targets/notes.md new file mode 100644 index 0000000..b92b0cb --- /dev/null +++ b/tests/iii/input-invalid-targets/notes.md @@ -0,0 +1,3 @@ +# Invalid INPUT targets + +Constants, private fields and whole arrays are not writable scalar locations. Whole records, enums, pseudocode pointers and C pointers remain unsupported INPUT value types. These diagnostics preserve the existing restrictions while accepting scalar array elements and public fields. diff --git a/tests/iii/input-invalid-targets/program.cps b/tests/iii/input-invalid-targets/program.cps new file mode 100644 index 0000000..6c5dc89 --- /dev/null +++ b/tests/iii/input-invalid-targets/program.cps @@ -0,0 +1,22 @@ +TYPE Student + DECLARE Score : INTEGER +ENDTYPE +CLASS Box + PRIVATE Hidden : INTEGER +ENDCLASS +TYPE StudentPtr = ^Student +TYPE Season = (Spring, Summer) +CONSTANT Limit = 3 +DECLARE Scores : ARRAY[1:2] OF INTEGER +DECLARE Item : Box +DECLARE Person : Student +DECLARE P : StudentPtr +DECLARE S : Season +DECLARE Text : C_STRING +INPUT Limit +INPUT Item.Hidden +INPUT Scores +INPUT Person +INPUT P +INPUT S +INPUT Text -- cgit v1.3.1-4-g156e