Added the remaining concepts semantic validation models and updated the test file and updated the package.json for github actions

Anshukumar123975 · Anshukumar123975 · commit ea56cdd1c562 · 2025-06-09T13:12:08.000+05:30
Signed-off-by: Anshukumar123975 &lt;anshupat2020@gmail.com&gt;
diff --git a/package.json b/package.json
@@ -4,7 +4,7 @@
   "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": "",
diff --git a/semantic/specifications/concepts/models/DECLARATION_001/declaration_001_duplicate_within_model.cto b/semantic/specifications/concepts/models/DECLARATION_001/declaration_001_duplicate_within_model.cto
@@ -0,0 +1,7 @@
+namespace org.example.invalid.declaration001
+
+concept User identified by id {
+  o String id
+  o String name
+  o String name 
+}
diff --git a/semantic/specifications/concepts/models/DECLARATION_001/declaration_001_unique_within_model.cto b/semantic/specifications/concepts/models/DECLARATION_001/declaration_001_unique_within_model.cto
@@ -0,0 +1,7 @@
+namespace org.example.valid.declaration001
+
+concept User identified by id {
+  o String id
+  o String name
+  o Integer age
+}
diff --git a/semantic/specifications/concepts/models/DECORATED_001/decorated_001_duplicate_decorator.cto b/semantic/specifications/concepts/models/DECORATED_001/decorated_001_duplicate_decorator.cto
@@ -0,0 +1,7 @@
+namespace org.example.invalid.decorated001
+
+concept Product identified by productId {
+  @custom
+  @custom
+  o String productId 
+}
diff --git a/semantic/specifications/concepts/models/DECORATED_001/decorated_001_unique_decorator.cto b/semantic/specifications/concepts/models/DECORATED_001/decorated_001_unique_decorator.cto
@@ -0,0 +1,6 @@
+namespace org.example.valid.decorated001
+
+concept Product identified by productId {
+  @custom
+  o String productId
+}
diff --git a/semantic/specifications/concepts/models/MODEL_ELEMENT_002/model_element_002_invalid_identifier_name.cto b/semantic/specifications/concepts/models/MODEL_ELEMENT_002/model_element_002_invalid_identifier_name.cto
@@ -0,0 +1,5 @@
+namespace org.example.invalid.modelelement002
+
+concept Invalid-Name {
+  o String something 
+}
diff --git a/semantic/specifications/concepts/models/MODEL_ELEMENT_002/model_element_002_valid_identifier_name.cto b/semantic/specifications/concepts/models/MODEL_ELEMENT_002/model_element_002_valid_identifier_name.cto
@@ -0,0 +1,5 @@
+namespace org.example.valid.modelelement002
+
+concept ValidName {
+  o String something
+}
diff --git a/semantic/specifications/concepts/models/PROPERTY_002/property_002_type_does_not_exist.cto b/semantic/specifications/concepts/models/PROPERTY_002/property_002_type_does_not_exist.cto
@@ -0,0 +1,6 @@
+namespace org.example.invalid.property002
+
+concept User identified by id {
+  o String id
+  o Profile profile 
+}
diff --git a/semantic/specifications/concepts/models/PROPERTY_002/property_002_type_exist.cto b/semantic/specifications/concepts/models/PROPERTY_002/property_002_type_exist.cto
@@ -0,0 +1,10 @@
+namespace org.example.valid.property002
+
+concept User identified by id {
+  o String id
+  o Profile profile
+}
+
+concept Profile {
+  o String bio
+}
diff --git a/semantic/specifications/concepts/models/PROPERTY_003/property_003_meta_type_invalid.cto b/semantic/specifications/concepts/models/PROPERTY_003/property_003_meta_type_invalid.cto
@@ -0,0 +1,5 @@
+namespace org.example.invalid.property003
+
+concept Device identified by serial {
+  x String serial 
+}
diff --git a/semantic/specifications/concepts/models/PROPERTY_003/property_003_meta_type_valid.cto b/semantic/specifications/concepts/models/PROPERTY_003/property_003_meta_type_valid.cto
@@ -0,0 +1,6 @@
+namespace org.example.valid.property003
+
+concept Device identified by serial {
+  o String serial
+  o String type
+}
diff --git a/semantic/specifications/concepts/models/RELATIONSHIP_001/relationship_001_non-primitive_type_relationship.cto b/semantic/specifications/concepts/models/RELATIONSHIP_001/relationship_001_non-primitive_type_relationship.cto
@@ -0,0 +1,6 @@
+namespace org.example.invalid.relationship001
+
+concept Person identified by id {
+  o String id
+  --> String managerId
+}
diff --git a/semantic/specifications/concepts/models/RELATIONSHIP_001/relationship_001_primitive_type_relationship.cto b/semantic/specifications/concepts/models/RELATIONSHIP_001/relationship_001_primitive_type_relationship.cto
@@ -0,0 +1,10 @@
+namespace org.example.valid.relationship001
+
+concept Person identified by id {
+  o String id
+  --> Department dept
+}
+
+concept Department identified by code {
+  o String code
+}
diff --git a/semantic/specifications/concepts/models/RELATIONSHIP_002/relationship_002_existing_type.cto b/semantic/specifications/concepts/models/RELATIONSHIP_002/relationship_002_existing_type.cto
@@ -0,0 +1,10 @@
+namespace org.example.valid.relationship002
+
+concept Student identified by id {
+  o String id
+  --> School school
+}
+
+concept School identified by code {
+  o String code
+}
diff --git a/semantic/specifications/concepts/models/RELATIONSHIP_002/relationship_002_type_not_exist.cto b/semantic/specifications/concepts/models/RELATIONSHIP_002/relationship_002_type_not_exist.cto
@@ -0,0 +1,6 @@
+namespace org.example.invalid.relationship002
+
+concept Student identified by id {
+  o String id
+  --> School school
+}
diff --git a/semantic/specifications/concepts/models/RELATIONSHIP_003/relationship_003_identified_type.cto b/semantic/specifications/concepts/models/RELATIONSHIP_003/relationship_003_identified_type.cto
@@ -0,0 +1,10 @@
+namespace org.example.valid.relationship003
+
+concept Employee identified by id {
+  o String id
+  --> Department dept
+}
+
+concept Department identified by code {
+  o String code
+}
diff --git a/semantic/specifications/concepts/models/RELATIONSHIP_003/relationship_003_not_identified_type.cto b/semantic/specifications/concepts/models/RELATIONSHIP_003/relationship_003_not_identified_type.cto
@@ -0,0 +1,10 @@
+namespace org.example.invalid.relationship003
+
+concept Employee identified by id {
+  o String id
+  --> Department dept 
+}
+
+concept Department {
+  o String code
+}
diff --git a/semantic/specifications/concepts/tests/concepts.test.js b/semantic/specifications/concepts/tests/concepts.test.js
@@ -170,3 +170,161 @@ describe('Semantic Validation - CLASS_DECLARATION_008 - property must not duplic
         ).not.toThrow();
     });
 });
+
+ describe('DECLARATION_001 - Unique Declarations', () => {
+  it('should throw semantic error when duplicate declarations exist', () => {
+    const cto = loadCTO('semantic/specifications/concepts/models/DECLARATION_001/declaration_001_duplicate_within_model.cto');
+    const modelManager = new ModelManager();
+    modelManager.addCTOModel(cto, 'declaration_001_unique_declarations_invalid.cto', true);
+    expect(() =>
+      modelManager.validateModelFiles()
+    ).toThrow(/Class ".*" has more than one field named ".*"\./);
+  });
+
+   it('should pass when all declarations are unique', () => {
+    const cto = loadCTO('semantic/specifications/concepts/models/DECLARATION_001/declaration_001_unique_within_model.cto');
+    const modelManager = new ModelManager();
+    modelManager.addCTOModel(cto, 'declaration_001_unique_declarations_valid.cto', true);
+    expect(() =>
+      modelManager.validateModelFiles()
+    ).not.toThrow();
+  });
+});
+
+ describe('MODEL_ELEMENT_002 - Valid Identifier Name', () => {
+  it('should throw semantic error on invalid identifier names', () => {
+    const cto = loadCTO('semantic/specifications/concepts/models/MODEL_ELEMENT_002/model_element_002_invalid_identifier_name.cto');
+    const modelManager = new ModelManager();
+    expect(() =>
+        modelManager.addCTOModel(cto, 'model_element_002_invalid_identifier_name.cto', true)
+    ).toThrow();
+  });
+
+   it('should pass for valid identifier names', () => {
+    const cto = loadCTO('semantic/specifications/concepts/models/MODEL_ELEMENT_002/model_element_002_valid_identifier_name.cto');
+    const modelManager = new ModelManager();
+    modelManager.addCTOModel(cto, 'model_element_002_valid_identifier_name.cto', true);
+    expect(() =>
+      modelManager.validateModelFiles()
+    ).not.toThrow();
+  });
+});
+
+ describe('RELATIONSHIP_001 - Relationship to Non-Primitive Type', () => {
+  it('should throw semantic error when relationship is to a primitive type', () => {
+    const cto = loadCTO('semantic/specifications/concepts/models/RELATIONSHIP_001/relationship_001_non-primitive_type_relationship.cto');
+    const modelManager = new ModelManager();
+    modelManager.addCTOModel(cto, 'relationship_001_non_primitive_type_invalid.cto', true);
+    expect(() =>
+      modelManager.validateModelFiles()
+    ).toThrow(/Relationship .* cannot be to the primitive type .*/);
+  });
+
+   it('should pass when relationship is to a non-primitive type', () => {
+    const cto = loadCTO('semantic/specifications/concepts/models/RELATIONSHIP_001/relationship_001_primitive_type_relationship.cto');
+    const modelManager = new ModelManager();
+    modelManager.addCTOModel(cto, 'relationship_001_non_primitive_type.cto', true);
+    expect(() =>
+      modelManager.validateModelFiles()
+    ).not.toThrow();
+  });
+});
+
+ describe('RELATIONSHIP_002 - Relationship Type Must Exist', () => {
+  it('should throw semantic error if relationship type does not exist', () => {
+    const cto = loadCTO('semantic/specifications/concepts/models/RELATIONSHIP_002/relationship_002_type_not_exist.cto');
+    const modelManager = new ModelManager();
+    modelManager.addCTOModel(cto, 'relationship_002_existing_type_invalid.cto', true);
+    expect(() =>
+      modelManager.validateModelFiles()
+    ).toThrow(/Undeclared type .*/);
+  });
+
+   it('should pass when relationship type exists', () => {
+    const cto = loadCTO('semantic/specifications/concepts/models/RELATIONSHIP_002/relationship_002_existing_type.cto');
+    const modelManager = new ModelManager();
+    modelManager.addCTOModel(cto, 'relationship_002_existing_type.cto', true);
+    expect(() =>
+      modelManager.validateModelFiles()
+    ).not.toThrow();
+  });
+});
+
+ describe('RELATIONSHIP_003 - Relationship Must Be to Identified Type', () => {
+  it('should throw semantic error when relationship target is not identified', () => {
+    const cto = loadCTO('semantic/specifications/concepts/models/RELATIONSHIP_003/relationship_003_not_identified_type.cto');
+    const modelManager = new ModelManager();
+    modelManager.addCTOModel(cto, 'relationship_003_identified_type_invalid.cto', true);
+    expect(() =>
+      modelManager.validateModelFiles()
+    ).toThrow(/Relationship .* must be to a class that has an identifier, but this is to .*/);
+  });
+
+   it('should pass when relationship target is identified', () => {
+    const cto = loadCTO('semantic/specifications/concepts/models/RELATIONSHIP_003/relationship_003_identified_type.cto');
+    const modelManager = new ModelManager();
+    modelManager.addCTOModel(cto, 'relationship_003_identified_type.cto', true);
+    expect(() =>
+      modelManager.validateModelFiles()
+    ).not.toThrow();
+  });
+});
+
+ describe('PROPERTY_002 - Non-Primitive Property Type Must Exist', () => {
+  it('should throw semantic error if non-primitive property type does not exist', () => {
+    const cto = loadCTO('semantic/specifications/concepts/models/PROPERTY_002/property_002_type_does_not_exist.cto');
+    const modelManager = new ModelManager();
+    modelManager.addCTOModel(cto, 'property_002_existing_type_invalid.cto', true);
+    expect(() =>
+      modelManager.validateModelFiles()
+    ).toThrow(/Undeclared type ".*"/);
+  });
+
+   it('should pass when non-primitive property type exists', () => {
+    const cto = loadCTO('semantic/specifications/concepts/models/PROPERTY_002/property_002_type_exist.cto');
+    const modelManager = new ModelManager();
+    modelManager.addCTOModel(cto, 'property_002_existing_type.cto', true);
+    expect(() =>
+      modelManager.validateModelFiles()
+    ).not.toThrow();
+  });
+});
+
+ describe('PROPERTY_003 - Property Meta Type Must Exist', () => {
+  it('should throw semantic error for invalid property meta types', () => {
+    const cto = loadCTO('semantic/specifications/concepts/models/PROPERTY_003/property_003_meta_type_invalid.cto');
+    const modelManager = new ModelManager();
+    expect(() =>
+      modelManager.addCTOModel(cto, 'property_003_invalid_meta_type.cto', true)
+    ).toThrow();
+  });
+
+   it('should pass for valid property meta types', () => {
+    const cto = loadCTO('semantic/specifications/concepts/models/PROPERTY_003/property_003_meta_type_valid.cto');
+    const modelManager = new ModelManager();
+    modelManager.addCTOModel(cto, 'property_003_valid_meta_type.cto', true);
+    expect(() =>
+      modelManager.validateModelFiles()
+    ).not.toThrow();
+  });
+});
+
+ describe('DECORATED_001 - Decorator Not Applied More Than Once', () => {
+  it('should throw semantic error when decorator applied multiple times', () => {
+    const cto = loadCTO('semantic/specifications/concepts/models/DECORATED_001/decorated_001_duplicate_decorator.cto');
+    const modelManager = new ModelManager();
+    modelManager.addCTOModel(cto, 'decorated_001_multiple_decorator_invalid.cto', true);
+    expect(() =>
+      modelManager.validateModelFiles()
+    ).toThrow(/Duplicate decorator .*/);
+  });
+
+   it('should pass when decorator applied once', () => {
+    const cto = loadCTO('semantic/specifications/concepts/models/DECORATED_001/decorated_001_unique_decorator.cto');
+    const modelManager = new ModelManager();
+    modelManager.addCTOModel(cto, 'decorated_001_single_decorator.cto', true);
+    expect(() =>
+      modelManager.validateModelFiles()
+    ).not.toThrow();
+  });
+});
