Add concepts specification models and test files

Anshukumar123975 · Anshukumar123975 · commit 8c61f37363c1 · 2025-06-06T00:24:20.000+05:30
Signed-off-by: Anshukumar123975 &lt;anshupat2020@gmail.com&gt;
diff --git a/semantic/specifications/concepts/models/CLASS_DECLARATION_001/class_declaration_001_system_property_name.cto b/semantic/specifications/concepts/models/CLASS_DECLARATION_001/class_declaration_001_system_property_name.cto
@@ -5,3 +5,4 @@ concept SampleConcept {
   o String $class  
 }
 
+
diff --git a/semantic/specifications/concepts/models/CLASS_DECLARATION_001/class_declaration_001_valid_property_name.cto b/semantic/specifications/concepts/models/CLASS_DECLARATION_001/class_declaration_001_valid_property_name.cto
@@ -4,3 +4,4 @@ concept SampleConcept {
   o String name
   o String category
 }
+
diff --git a/semantic/specifications/concepts/models/CLASS_DECLARATION_002/class_declaration_002_invalid_$class_type.cto b/semantic/specifications/concepts/models/CLASS_DECLARATION_002/class_declaration_002_invalid_$class_type.cto
@@ -4,3 +4,4 @@ concept SampleConcept {
   o Integer $class  
 }
 
+
diff --git a/semantic/specifications/concepts/models/CLASS_DECLARATION_002/class_declaration_002_valid_$class_type.cto b/semantic/specifications/concepts/models/CLASS_DECLARATION_002/class_declaration_002_valid_$class_type.cto
@@ -3,3 +3,4 @@ namespace org.example.valid
 concept SampleConcept {
   o String name
 }
+
diff --git a/semantic/specifications/concepts/models/CLASS_DECLARATION_003/class_declaration_003_duplicate_class_name.cto b/semantic/specifications/concepts/models/CLASS_DECLARATION_003/class_declaration_003_duplicate_class_name.cto
@@ -7,3 +7,4 @@ concept SampleConcept {
 concept SampleConcept {
   o String description
 }
+
diff --git a/semantic/specifications/concepts/models/CLASS_DECLARATION_003/class_declaration_003_unique_class_name.cto b/semantic/specifications/concepts/models/CLASS_DECLARATION_003/class_declaration_003_unique_class_name.cto
@@ -7,3 +7,4 @@ concept SampleConceptA {
 concept SampleConceptB {
   o String description
 }
+
diff --git a/semantic/specifications/concepts/models/CLASS_DECLARATION_004/class_declaration_004_supertype_exist.cto b/semantic/specifications/concepts/models/CLASS_DECLARATION_004/class_declaration_004_supertype_exist.cto
@@ -7,3 +7,4 @@ concept BaseConcept {
 concept DerivedConcept extends BaseConcept {
   o String detail
 }
+
diff --git a/semantic/specifications/concepts/models/CLASS_DECLARATION_004/class_declaration_004_supertype_not_exist.cto b/semantic/specifications/concepts/models/CLASS_DECLARATION_004/class_declaration_004_supertype_not_exist.cto
@@ -2,4 +2,4 @@ namespace org.example.invalid
 
 concept DerivedConcept extends NonExistentConcept {
   o String detail
-}
+}
diff --git a/semantic/specifications/concepts/models/CLASS_DECLARATION_005/class_declaration_005_invalid_identifier_type.cto b/semantic/specifications/concepts/models/CLASS_DECLARATION_005/class_declaration_005_invalid_identifier_type.cto
@@ -4,3 +4,4 @@ concept Entity identified by id {
   o Integer id 
   o String name
 }
+
diff --git a/semantic/specifications/concepts/models/CLASS_DECLARATION_005/class_declaration_005_valid_identifier_type_scalar.cto b/semantic/specifications/concepts/models/CLASS_DECLARATION_005/class_declaration_005_valid_identifier_type_scalar.cto
@@ -6,3 +6,4 @@ concept Book identified by isbn {
   o CustomString isbn
   o String title
 }
+
diff --git a/semantic/specifications/concepts/models/CLASS_DECLARATION_005/class_declaration_005_valid_identifier_type_string.cto b/semantic/specifications/concepts/models/CLASS_DECLARATION_005/class_declaration_005_valid_identifier_type_string.cto
@@ -4,3 +4,4 @@ concept Entity identified by id {
   o String id
   o String name
 }
+
diff --git a/semantic/specifications/concepts/models/CLASS_DECLARATION_006/class_declaration_006_optional_identifier.cto b/semantic/specifications/concepts/models/CLASS_DECLARATION_006/class_declaration_006_optional_identifier.cto
@@ -4,3 +4,4 @@ concept Product identified by productId {
   o String productId optional 
   o String name
 }
+
diff --git a/semantic/specifications/concepts/models/CLASS_DECLARATION_006/class_declaration_006_required_identifier.cto b/semantic/specifications/concepts/models/CLASS_DECLARATION_006/class_declaration_006_required_identifier.cto
@@ -4,3 +4,4 @@ concept Product identified by productId {
   o String productId  
   o String name
 }
+
diff --git a/semantic/specifications/concepts/models/CLASS_DECLARATION_007/class_declaration_007_supertype_not_system_identified.cto b/semantic/specifications/concepts/models/CLASS_DECLARATION_007/class_declaration_007_supertype_not_system_identified.cto
@@ -7,3 +7,4 @@ concept BaseConcept {
 concept SubConcept extends BaseConcept identified by subId {
   o String subId 
 }
+
diff --git a/semantic/specifications/concepts/models/CLASS_DECLARATION_007/class_declaration_007_supertype_system_identified.cto b/semantic/specifications/concepts/models/CLASS_DECLARATION_007/class_declaration_007_supertype_system_identified.cto
@@ -7,3 +7,5 @@ concept BaseConcept identified by id {
 concept SubConcept extends BaseConcept {
   o String subId
 }
+
+
diff --git a/semantic/specifications/concepts/models/CLASS_DECLARATION_008/class_declaration_008_duplicate_property_from_super.cto b/semantic/specifications/concepts/models/CLASS_DECLARATION_008/class_declaration_008_duplicate_property_from_super.cto
@@ -7,3 +7,4 @@ concept BaseConcept {
 concept SubConcept extends BaseConcept {
   o String name 
 }
+
diff --git a/semantic/specifications/concepts/models/CLASS_DECLARATION_008/class_declaration_008_unique_property_from_super.cto b/semantic/specifications/concepts/models/CLASS_DECLARATION_008/class_declaration_008_unique_property_from_super.cto
@@ -7,3 +7,4 @@ concept BaseConcept {
 concept SubConcept extends BaseConcept {
   o String description
 }
+
diff --git a/semantic/specifications/concepts/tests/concepts.test.js b/semantic/specifications/concepts/tests/concepts.test.js
@@ -169,4 +169,4 @@ describe('Semantic Validation - CLASS_DECLARATION_008 - property must not duplic
             modelManager.validateModelFiles()
         ).not.toThrow();
     });
-});
+});

Original file line number	Diff line number	Diff line change
`@@ -5,3 +5,4 @@ concept SampleConcept {`
`5`	`5`	`o String $class`
`6`	`6`	`}`
`7`	`7`
	`8`	`+`
Original file line number	Diff line number	Diff line change
`@@ -4,3 +4,4 @@ concept SampleConcept {`
`4`	`4`	`o String name`
`5`	`5`	`o String category`
`6`	`6`	`}`
	`7`	`+`
Original file line number	Diff line number	Diff line change
`@@ -4,3 +4,4 @@ concept SampleConcept {`
`4`	`4`	`o Integer $class`
`5`	`5`	`}`
`6`	`6`
	`7`	`+`
Original file line number	Diff line number	Diff line change
`@@ -3,3 +3,4 @@ namespace org.example.valid`
`3`	`3`	`concept SampleConcept {`
`4`	`4`	`o String name`
`5`	`5`	`}`
	`6`	`+`
Original file line number	Diff line number	Diff line change
`@@ -7,3 +7,4 @@ concept SampleConcept {`
`7`	`7`	`concept SampleConcept {`
`8`	`8`	`o String description`
`9`	`9`	`}`
	`10`	`+`
Original file line number	Diff line number	Diff line change
`@@ -7,3 +7,4 @@ concept SampleConceptA {`
`7`	`7`	`concept SampleConceptB {`
`8`	`8`	`o String description`
`9`	`9`	`}`
	`10`	`+`
Original file line number	Diff line number	Diff line change
`@@ -7,3 +7,4 @@ concept BaseConcept {`
`7`	`7`	`concept DerivedConcept extends BaseConcept {`
`8`	`8`	`o String detail`
`9`	`9`	`}`
	`10`	`+`
Original file line number	Diff line number	Diff line change
`@@ -4,3 +4,4 @@ concept Entity identified by id {`
`4`	`4`	`o Integer id`
`5`	`5`	`o String name`
`6`	`6`	`}`
	`7`	`+`
Original file line number	Diff line number	Diff line change
`@@ -6,3 +6,4 @@ concept Book identified by isbn {`
`6`	`6`	`o CustomString isbn`
`7`	`7`	`o String title`
`8`	`8`	`}`
	`9`	`+`