refactor(language): module and node declarations

* New default file extension: .refinery (.problem is also supported).
* Add module keyword for self-contained modules.
* Rename indiv declarations to atom declaration.
* Add node and multi declarations for explicitly declared nodes and
  multi-objects, respectively.

1 files changed, 43 insertions, 0 deletions

diff --git a/subprojects/language-semantics/src/test/java/tools/refinery/language/semantics/SolutionSerializerTest.java b/subprojects/language-semantics/src/test/java/tools/refinery/language/semantics/SolutionSerializerTest.java
index 8ef449b0..b682a7d6 100644
--- a/subprojects/language-semantics/src/test/java/tools/refinery/language/semantics/SolutionSerializerTest.java
+++ b/subprojects/language-semantics/src/test/java/tools/refinery/language/semantics/SolutionSerializerTest.java
@@ -183,6 +183,49 @@ class SolutionSerializerTest {
                                 !exists(Foo::new).
                                 Foo(a).
                                 default !ref(*, *).
+                                """), Arguments.of("""
+                                atom a.
+                                class Foo.
+                                """, """
+                                Foo(a).
+                                scope Foo += 0.
+                                """, """
+                                !exists(Foo::new).
+                                Foo(a).
+                                """), Arguments.of("""
+                                multi a.
+                                class Foo.
+                                """, """
+                                Foo(a).
+                                !exists(Foo::new).
+                                scope Foo = 2.
+                                """, """
+                                !exists(a).
+                                !exists(Foo::new).
+                                Foo(foo1).
+                                Foo(foo2).
+                                """), Arguments.of("""
+                                node a.
+                                class Foo.
+                                """, """
+                                Foo(a).
+                                ?exists(a).
+                                scope Foo = 2, Foo += 1.
+                                """, """
+                                !exists(Foo::new).
+                                Foo(a).
+                                Foo(foo1).
+                                """), Arguments.of("""
+                                node a.
+                                class Foo.
+                                """, """
+                                Foo(a).
+                                ?exists(a).
+                                scope Foo = 1, Foo += 1.
+                                """, """
+                                !exists(a).
+                                !exists(Foo::new).
+                                Foo(foo1).
                                 """));
         }
 }