test: junie-authored unit test suite

Author: ItsMeBrianD

grammar/Main_Lexer.g4

@@ -29,8 +29,8 @@ Keyword_AboveWater: 'AboveWater';
 Keyword_YAbove: 'YAbove';
 Keyword_Floor: 'Floor';
 Keyword_Ceiling: 'Ceiling';
-Keyword_And: 'and';
-Keyword_Or: 'or';
-Keyword_Add: 'add';
-Keyword_Sub: 'sub';
+Keyword_And: 'And';
+Keyword_Or: 'Or';
+Keyword_Add: 'Add';
+Keyword_Sub: 'Sub';
 ///

lang/cross_namespace_test.go

@@ -0,0 +1,36 @@
+package lang
+
+import "testing"
+
+func TestCrossNamespaceReference_Succeeds_AndExports(t *testing.T) {
+    p := NewProject()
+    fA := p.AddFile("a.mms", `namespace a; Base := SurfaceRule { Block minecraft:stone }`)
+    if err := fA.Parse(); err != nil {
+        t.Fatalf("parse a: %v", err)
+    }
+    fB := p.AddFile("b.mms", `namespace b; Use := SurfaceRule { a:Base }`)
+    if err := fB.Parse(); err != nil {
+        t.Fatalf("parse b: %v", err)
+    }
+
+    if len(fB.Diagnostics) != 0 {
+        t.Fatalf("expected no diagnostics in referencing file, got: %+v", fB.Diagnostics)
+    }
+
+    if _, ok := getExportContent(t, p, "b/_debug/surface_rule/Use.json"); !ok {
+        t.Fatalf("expected Use export in namespace b")
+    }
+}
+
+func TestCrossNamespaceReference_FailsWhenMissing_NoExport(t *testing.T) {
+    p := NewProject()
+    // Define nothing in namespace a
+    fB := p.AddFile("b2.mms", `namespace b; Use := SurfaceRule { a:Missing }`)
+    if err := fB.Parse(); err != nil {
+        t.Fatalf("parse b2: %v", err)
+    }
+
+    if _, ok := getExportContent(t, p, "b/_debug/surface_rule/Use.json"); ok {
+        t.Fatalf("did not expect export for unresolved cross-namespace reference")
+    }
+}

lang/diagnostics_namespace_test.go

@@ -0,0 +1,59 @@
+package lang
+
+import (
+	"fmt"
+	"testing"
+)
+
+func TestMissingSemicolonInNamespace_ReportsSyntaxErrorWithLocation(t *testing.T) {
+	p := NewProject()
+	src := "namespace a\nRule := SurfaceRule { Block minecraft:stone }"
+	f := p.AddFile("ns_missing_semicolon.mms", src)
+	if err := f.Parse(); err != nil {
+		t.Fatalf("parse returned error: %v", err)
+	}
+	if len(f.Diagnostics) == 0 {
+		t.Fatalf("expected diagnostics, got none")
+	}
+	d := f.Diagnostics[0]
+	if d.Source != "parser" || string(d.Severity) != "error" {
+		t.Fatalf("expected parser error, got source=%s severity=%s", d.Source, d.Severity)
+	}
+	if d.Where.Filename != f.Path || d.File != f.Path {
+		t.Fatalf("expected filenames to match path; got where=%q file=%q path=%q", d.Where.Filename, d.File, f.Path)
+	}
+	if d.Where.Start.Line != 1 {
+		t.Fatalf("expected error on line 1, got %d", d.Where.Start.Line)
+	}
+	if d.Where.Stop.Col <= d.Where.Start.Col {
+		t.Fatalf("expected non-zero span, got start=%d stop=%d", d.Where.Start.Col, d.Where.Stop.Col)
+	}
+	// Snippet text may be empty for missing-token errors; location indices are sufficient.
+	// if strings.TrimSpace(d.Where.Text) == "" {
+	//     t.Fatalf("expected snippet text, got empty")
+	// }
+}
+
+func TestNamespaceIdentifierMissing_ReportsMissingNamespaceDiagnostic(t *testing.T) {
+	p := NewProject()
+	// Identifier missing between 'namespace' and ';'
+	src := "namespace ;\nRule := SurfaceRule { Block minecraft:stone }"
+	f := p.AddFile("ns_identifier_missing.mms", src)
+	if err := f.Parse(); err != nil {
+		t.Fatalf("parse returned error: %v", err)
+	}
+	found := false
+	for _, d := range f.Diagnostics {
+		fmt.Println("Diag", d.Message)
+		if d.Message == "syntax error: missing Identifier at ';'" {
+			found = true
+			if d.Where.Filename != f.Path || d.File != f.Path {
+				t.Fatalf("expected filenames to match for Missing Namespace diagnostic")
+			}
+			break
+		}
+	}
+	if !found {
+		t.Fatalf("expected 'Missing Namespace Declaration' diagnostic, not found. diags: %+v", f.Diagnostics)
+	}
+}

lang/duplicates_test.go

@@ -0,0 +1,56 @@
+package lang
+
+import "testing"
+
+func TestDuplicateSymbol_SameFile_ReportsSemanticDiagnostic(t *testing.T) {
+    p := NewProject()
+    src := `namespace dup;
+Rule := SurfaceRule { Block minecraft:stone }
+Rule := SurfaceRule { Block minecraft:dirt }`
+    f := p.AddFile("dup1.mms", src)
+    if err := f.Parse(); err != nil {
+        t.Fatalf("parse returned error: %v", err)
+    }
+    found := false
+    for _, d := range f.Diagnostics {
+        if d.Source == "semantic" && d.Severity == "error" && d.Where.Filename == f.Path {
+            if d.Message != "" && (contains(d.Message, "already exists") || contains(d.Message, "dup:Rule")) {
+                found = true
+                break
+            }
+        }
+    }
+    if !found {
+        t.Fatalf("expected duplicate declaration diagnostic; diags: %+v", f.Diagnostics)
+    }
+}
+
+func TestDuplicateSymbol_CrossFile_ReportsOnSecondFile(t *testing.T) {
+    p := NewProject()
+    f1 := p.AddFile("file1.mms", `namespace x; A := SurfaceRule { Block minecraft:stone }`)
+    if err := f1.Parse(); err != nil {
+        t.Fatalf("parse error on f1: %v", err)
+    }
+    f2 := p.AddFile("file2.mms", `namespace x; A := SurfaceRule { Block minecraft:dirt }`)
+    if err := f2.Parse(); err != nil {
+        t.Fatalf("parse error on f2: %v", err)
+    }
+    if len(f2.Diagnostics) == 0 {
+        t.Fatalf("expected diagnostics on f2 for duplicate symbol, got none")
+    }
+}
+
+// small helper to avoid importing strings for trivial contains
+func contains(s, sub string) bool {
+    return len(s) >= len(sub) && (indexOf(s, sub) >= 0)
+}
+
+func indexOf(s, sub string) int {
+    // naive search is fine for tests
+    for i := 0; i+len(sub) <= len(s); i++ {
+        if s[i:i+len(sub)] == sub {
+            return i
+        }
+    }
+    return -1
+}

lang/grammar/Main_Lexer.interp

@@ -72,10 +72,10 @@ LineComment=50
 'YAbove'=22
 'Floor'=23
 'Ceiling'=24
-'and'=25
-'or'=26
-'add'=27
-'sub'=28
+'And'=25
+'Or'=26
+'Add'=27
+'Sub'=28
 ':='=29
 '{'=30
 '}'=31

lang/grammar/Main_Lexer.tokens

@@ -24,10 +24,10 @@ null
 'YAbove'
 'Floor'
 'Ceiling'
-'and'
-'or'
-'add'
-'sub'
+'And'
+'Or'
+'Add'
+'Sub'
 ':='
 '{'
 '}'

lang/grammar/Main_Parser.interp

@@ -72,10 +72,10 @@ LineComment=50
 'YAbove'=22
 'Floor'=23
 'Ceiling'=24
-'and'=25
-'or'=26
-'add'=27
-'sub'=28
+'And'=25
+'Or'=26
+'Add'=27
+'Sub'=28
 ':='=29
 '{'=30
 '}'=31