Changes between Version 17 and Version 18 of Documentation/T3Q/Quality-Checks/Code-Style

Timestamp:

08/27/25 11:25:01 (45 hours ago)

Author:

phdmakk

Comment:

--

Documentation/T3Q/Quality-Checks/Code-Style

@@ -422 +422 @@
     } 
 }}}
+
+==== There Must Be No Uninitialized Fields in Templates ====
+ * '''Symbolic Name in XML Configuration''': checkNoUninitializedFieldsInTemplates
+ * '''Dependant Tags in XML Configuration''': -
+
+This check makes sure there are no uninitialized fields in templates. This currently covers declared templates (on the module level only) for structured types declared in TTCN-3 (support for structured types declared in ASN.1 is currently being investigated).
+
+{{{
+        //manually defined types
+        type record EventDefinitions {
+                EventIds eventIds,
+                integer fieldint,
+                boolean fieldbool,
+                integer fieldextmandat,
+                integer fieldextopt optional,
+                boolean fieldextboolopt optional
+        }
+        //this is probably a union? 
+        type record EventId {
+                A1 eventA1
+        }
+        type record A1 {
+                boolean fieldeventA1
+        }
+        type record of EventId EventIds
+        
+        template ( value ) EventDefinitions cs_EventDefinitions_eventA1_Errors (
+                boolean p_FieldeventA1 := true , 
+                integer p_Fieldint := 0 , 
+                boolean p_Fieldbool := true , //integer p_Fieldextmandat := 1,
+                integer p_Fieldextopt := 2 
+                /*,
+                template (omit) boolean p_Fieldextboolopt := omit
+                */ 
+        ) := {
+                eventIds := {
+                        eventA1 := {
+                                fieldeventA1 := p_FieldeventA1
+                        }
+
+                }, 
+                fieldint := p_Fieldint , 
+                fieldbool := p_Fieldbool , 
+                //fielextmandat := p_Fieldextmandat, -> missing field in not seen by T3Q
+                fieldextopt := p_Fieldextopt 
+                //fieldextboolopt := p_Fieldextboolopt -> missing field in not seen by T3Q
+        }
+        
+        //correct version: should not raise warinings
+        template ( value ) EventDefinitions cs_EventDefinitions_eventA1 ( 
+                boolean p_FieldeventA1 := true , 
+                integer p_Fieldint := 0 , 
+                boolean p_Fieldbool := true, 
+                integer p_Fieldextmandat := 1 , 
+                integer p_Fieldextopt := 2 ,
+                template ( omit ) boolean p_Fieldextboolopt := omit 
+        ) := {
+                eventIds := {
+                        eventA1 := {
+                                fieldeventA1 := p_FieldeventA1
+                        }
+
+                }, 
+                fieldint := p_Fieldint , 
+                fieldbool := p_Fieldbool , 
+                fieldextmandat := p_Fieldextmandat , 
+                fieldextopt := p_Fieldextopt , 
+                fieldextboolopt := p_Fieldextboolopt
+        }
+}}}