feat(input): support array elements and member targets

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>

8 files changed, 134 insertions, 0 deletions

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