Merge pull request #3 from Anshukumar123975/main

Add semantic validations under concepts specification

Author: ekarademir

.gitignore

@@ -0,0 +1,2 @@
+node_modules
+package-lock.json

package.json

@@ -4,9 +4,15 @@
   "description": "",
   "main": "index.js",
   "scripts": {
-    "test": "echo \"No tests defined. Skipping...\" && exit 0"
+    "test": "npx vitest semantic/specifications/concepts/tests/concepts.test.js"
   },
   "keywords": [],
   "author": "",
-  "license": "ISC"
+  "license": "ISC",
+  "dependencies": {
+    "@accordproject/concerto-core": "^3.21.0",
+    "fs": "^0.0.1-security",
+    "path": "^0.12.7",
+    "vitest": "^3.2.2"
+  }
 }

semantic/specifications/concepts/models/CLASS_DECLARATION_001/class_declaration_001_system_property_name.cto

@@ -0,0 +1,8 @@
+namespace org.example.invalid
+
+concept SampleConcept {
+  o String name
+  o String $class  
+}
+
+

semantic/specifications/concepts/models/CLASS_DECLARATION_001/class_declaration_001_valid_property_name.cto

@@ -0,0 +1,7 @@
+namespace org.example.valid
+
+concept SampleConcept {
+  o String name
+  o String category
+}
+

semantic/specifications/concepts/models/CLASS_DECLARATION_002/class_declaration_002_invalid_$class_type.cto

@@ -0,0 +1,7 @@
+namespace org.example.invalid
+
+concept SampleConcept {
+  o Integer $class  
+}
+
+

semantic/specifications/concepts/models/CLASS_DECLARATION_002/class_declaration_002_valid_$class_type.cto

@@ -0,0 +1,6 @@
+namespace org.example.valid
+
+concept SampleConcept {
+  o String name
+}
+

semantic/specifications/concepts/models/CLASS_DECLARATION_003/class_declaration_003_duplicate_class_name.cto

@@ -0,0 +1,10 @@
+namespace org.example.invalid
+
+concept SampleConcept {
+  o String name
+}
+
+concept SampleConcept {
+  o String description
+}
+

semantic/specifications/concepts/models/CLASS_DECLARATION_003/class_declaration_003_unique_class_name.cto

@@ -0,0 +1,10 @@
+namespace org.example.valid
+
+concept SampleConceptA {
+  o String name
+}
+
+concept SampleConceptB {
+  o String description
+}
+

semantic/specifications/concepts/models/CLASS_DECLARATION_004/class_declaration_004_supertype_exist.cto

@@ -0,0 +1,10 @@
+namespace org.example.valid
+
+concept BaseConcept {
+  o String baseProperty
+}
+
+concept DerivedConcept extends BaseConcept {
+  o String detail
+}
+

semantic/specifications/concepts/models/CLASS_DECLARATION_004/class_declaration_004_supertype_not_exist.cto

@@ -0,0 +1,5 @@
+namespace org.example.invalid
+
+concept DerivedConcept extends NonExistentConcept {
+  o String detail
+}