causality independent + non-float error check

forgot to commit new test

whitespace

Test/FMI3/fmi3_import_variable_test.cpp

@@ -1002,3 +1002,27 @@ TEST_CASE("Invalid canHandleMultipleSetPerTimeInstant; set to non-default for ca
     REQUIRE(fmi3_testutil_get_num_problems(tfmu) == 1);
     fmi3_testutil_import_free(tfmu);
 }
+
+TEST_CASE("Causality independent on non float") {
+    const char* xmldir = FMI3_TEST_XML_DIR "/variables/invalid/nonfloat_independent";
+    fmi3_testutil_import_t* tfmu = fmi3_testutil_parse_xml_with_log(xmldir);
+    REQUIRE(tfmu != nullptr);
+    fmi3_import_t* fmu = tfmu->fmu;
+    REQUIRE(fmu != nullptr);
+
+    REQUIRE(fmi3_testutil_log_contains(tfmu, "Causality 'independent' is only allowed for float type variables.")); // 6 times
+    REQUIRE(fmi3_testutil_log_contains(tfmu, "Invalid combination of variability Unknown and causality independent for variable 'i32'. Setting variability to 'Unknown'"));
+    REQUIRE(fmi3_testutil_log_contains(tfmu, "Invalid combination of variability Unknown and causality independent for variable 'i64'. Setting variability to 'Unknown'"));
+    REQUIRE(fmi3_testutil_log_contains(tfmu, "Invalid combination of variability Unknown and causality independent for variable 'enum'. Setting variability to 'Unknown'"));
+    REQUIRE(fmi3_testutil_log_contains(tfmu, "Invalid combination of variability Unknown and causality independent for variable 'binary'. Setting variability to 'Unknown'"));
+    REQUIRE(fmi3_testutil_log_contains(tfmu, "Invalid combination of variability Unknown and causality independent for variable 'clock'. Setting variability to 'Unknown'"));
+    REQUIRE(fmi3_testutil_log_contains(tfmu, "Invalid combination of variability Unknown and causality independent for variable 'bool'. Setting variability to 'Unknown'"));
+    for (int i = 1; i <= 6; i++) {
+        fmi3_import_variable_t* var = fmi3_import_get_variable_by_vr(fmu, i);
+        REQUIRE(var != nullptr);
+        REQUIRE(fmi3_import_get_variable_causality(var) == fmi3_causality_enu_independent);
+    }
+
+    REQUIRE(fmi3_testutil_get_num_problems(tfmu) == 12);
+    fmi3_testutil_import_free(tfmu);
+}

Test/FMI3/fmi3_variability_causality_initial_test.cpp

@@ -48,7 +48,7 @@ TEST_CASE("Default valid variability") {
     REQUIRE(fmi3_get_default_valid_variability(fmi3_causality_enu_input, 0)                == fmi3_variability_enu_discrete);
     REQUIRE(fmi3_get_default_valid_variability(fmi3_causality_enu_output, 0)               == fmi3_variability_enu_discrete);
     REQUIRE(fmi3_get_default_valid_variability(fmi3_causality_enu_local, 0)                == fmi3_variability_enu_discrete);
-    REQUIRE(fmi3_get_default_valid_variability(fmi3_causality_enu_independent, 0)          == fmi3_variability_enu_continuous);
+    REQUIRE(fmi3_get_default_valid_variability(fmi3_causality_enu_independent, 0)          == fmi3_variability_enu_unknown);
 
     REQUIRE(fmi3_get_default_valid_variability(fmi3_causality_enu_unknown, 0)              == fmi3_variability_enu_unknown);
 
@@ -389,9 +389,6 @@ TEST_CASE("Test default variabilities") {
 
         v = fmi3_import_get_variable_by_vr(tfmu->fmu, 16);
         REQUIRE(fmi3_import_get_variable_variability(v) == fmi3_variability_enu_discrete);
-
-        v = fmi3_import_get_variable_by_vr(tfmu->fmu, 17);
-        REQUIRE(fmi3_import_get_variable_variability(v) == fmi3_variability_enu_continuous);
     }
 
     // Taking default does not have any warnings or similar

Test/FMI3/parser_test_xmls/variability_causality_initial/valid/default_variabilities/modelDescription.xml

@@ -18,7 +18,6 @@
 	<Int64 name="i64_input"                 valueReference="14" start="0" causality="input"/>
 	<Int64 name="i64_output"                valueReference="15" start="0" causality="output"/>
 	<Int64 name="i64_local"                 valueReference="16" start="0" causality="local"/>
-	<Int64 name="i64_independent"           valueReference="17" causality="independent"/>
 </ModelVariables>
 
 <ModelStructure/>

Test/FMI3/parser_test_xmls/variables/invalid/nonfloat_independent/modelDescription.xml

@@ -0,0 +1,22 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<fmiModelDescription fmiVersion="3.0" modelName="" instantiationToken="">
+<ModelExchange modelIdentifier="modelIdentifier"/>
+
+<TypeDefinitions>
+    <EnumerationType name="MyEnum">
+        <Item name="item1" value="1"/>
+    </EnumerationType>
+</TypeDefinitions>
+
+<ModelVariables>
+    <!-- The independent variable must be defined as a floating point type -->
+    <Int32 name="i32" valueReference="1" causality="independent"/>
+    <Int64 name="i64" valueReference="2" causality="independent"/>
+    <Enumeration name="enum" valueReference="3" declaredType="MyEnum" causality="independent"/>
+    <Binary name="binary" valueReference="4" causality="independent"/>
+    <Clock name="clock" valueReference="5" intervalVariability="constant" causality="independent"/>
+    <Boolean name="bool" valueReference="6" causality="independent"/>
+</ModelVariables>
+
+<ModelStructure/>
+</fmiModelDescription>

src/Util/src/FMI3/fmi3_enums.c

@@ -164,7 +164,11 @@ fmi3_variability_enu_t fmi3_get_default_valid_variability(fmi3_causality_enu_t c
         return fmi3_variability_enu_unknown;
     }
     if (c == fmi3_causality_enu_independent) {
-        return fmi3_variability_enu_continuous; // only valid one
+        if (isFloat) {
+            return fmi3_variability_enu_continuous; // only valid one
+        } else {
+            return fmi3_variability_enu_unknown; // no valid combination
+        }
     }
 
     // Spec: "The default for variables of causality `parameter`, `structural parameter` or `calculated parameter` is `fixed`"

src/XML/src/FMI2/fmi2_xml_variable.c

@@ -455,6 +455,11 @@ int fmi2_xml_handle_ScalarVariable(fmi2_xml_parser_context_t *context, const cha
                 fmi2_xml_parse_error(context, "Only variables with causality 'input' can have canHandleMultipleSetPerTimeInstant=false");
                 return -1;
             }
+
+            if ((variable->type != fmi2_base_type_real) && (variable->causality == fmi2_causality_enu_independent)) {
+                fmi2_xml_parse_error(context, "Causality 'independent' is only allowed for float type variables.");
+                return -1;
+            }
         }
     }
     else {

src/XML/src/FMI3/fmi3_xml_variable.c

@@ -1212,6 +1212,8 @@ static int fmi3_xml_variable_process_attr_causality_variability_initial(fmi3_xml
     unsigned int variability, defaultVariability;
     unsigned int initial, defaultInitial, validInitial;
 
+    bool isFloat = (elm_id == fmi3_xml_elmID_Float32) || (elm_id == fmi3_xml_elmID_Float64);
+
     // Causality:
     if (fmi3_xml_parse_attr_as_enum(context, elm_id, fmi_attr_id_causality, 0, &causality,
             fmi3_causality_enu_local, causalityConventionMap))
@@ -1220,8 +1222,12 @@ static int fmi3_xml_variable_process_attr_causality_variability_initial(fmi3_xml
     }
     variable->causality = causality;
 
+    /* Specification: "The independent variable must be defined as a floating point type ..." */
+    if ((!isFloat) && (causality == fmi3_causality_enu_independent)) {
+        fmi3_xml_parse_warning(context, "Causality 'independent' is only allowed for float type variables.");
+    }
+
     // Variability:
-    bool isFloat = (elm_id == fmi3_xml_elmID_Float32) || (elm_id == fmi3_xml_elmID_Float64);
     defaultVariability = fmi3_get_default_valid_variability(causality, isFloat);
     if (fmi3_xml_parse_attr_as_enum(context, elm_id, fmi_attr_id_variability, 0, &variability,
             defaultVariability, variabilityConventionMap))