MATLAB: Do I get a translation error when doing a compatibility check on a model that uses enumerated types using Simulink Design Verifier 2.0 (R2011a)

compatibilitydatadesignenumeratedmodelsimulinkSimulink Design Verifiertypeverifier

I am using the Simulink Design Verifier on a model that uses enumerated types. Two types happen to have identical enumeration members. During the compatibility check of Simulink Design Verifier, this leads to an error message given below.

 Errors occurred during translation:
 Please refer to the diagnostics window for more information.
 'Model1' is incompatible with Simulink Design Verifier.
 Translation failed: Potential conflicting usages of identifier 'X': an enumeration string in data type 'Model1', and an enumeration string in data type 'Model2'

Reproduction Steps:

•Add the following files to the current working directory:

DIL_CubeDefinitions.m

GBL_Arbitration_Cmd.mdl

GBL_Arbitration_OneCntrl.mdl

GBL_Definitions_DigitalCommand.m

GBL_Definitions_DigitalControl.m

GBL_Definitions_DigitalState.m

•Open the model : 'GBL_Arbitration_OneCntrl'

•Using Design Verifier, check model compatibility for the model 'GBL_Arbitration_OneCntrl'.

Best Answer

The ADDCLASSNAMETOENUMNAMES method in the enumerated class definition can be used to specify class name prefixing.

By default, enumerated values in generated code have the same names that they have in the enumerated class definition. Alternatively, the code can prefix every enumerated value in an enumerated class with the name of the class. This technique can be useful for preventing identifier conflicts or improving the clarity of the code. To specify class name prefixing, include the following method in an enumerated class's ‘methods’ section:

     methods (Static = true)
         function retVal = addClassNameToEnumNames()
             % ADDCLASSNAMETOENUMNAMES  Specify if class name is added
             %   as a prefix to enumerated names in the generated code.
             %   By default we do not add the prefix.
             retVal = true;
         end
     end

Now the model will be compatible with Simulink Design Verifier.

For more information on this topic, please refer to the following links:

http://www.mathworks.com/help/releases/R2011a/toolbox/rtw/ug/bru8iok-1.html#bru8jsx-1

http://www.mathworks.com/help/releases/R2011a/toolbox/stateflow/ug/brthpa4.html

Related Solutions

MATLAB: How to generate a custom header file for an enumerated class used in Simulink model by Simulink Coder 8.4 (R2013a)

Every enumerated class has four associated static methods, which it inherits from Simulink.IntEnumType. You can optionally override these static methods to customize the behavior of an enumerated type. The methods are:

getDefaultValue — Returns the default value of the enumerated data type.

getDescription — Returns a description of the enumerated data type.

— Specifies a file where the type is defined for generated code.

addClassNameToEnumNames — Specifies whether the class name becomes a prefix in code.

Ues "getHeaderFile" to prevent the declaration of an enumerated type from being embedded in the generated code, allowing you to provide the declaration in an external file, include the following method in the enumerated class's methods section:

function retVal = getHeaderFile()
     retVal = 'filename';
end

Following codes show how to define a Enumerated class that generate a header file called "BasicColors.h" after code generation:

classdef BasicColors < Simulink.IntEnumType
    enumeration
      Red(0)
      Yellow(1)
      Blue(2) 
    end
methods (Static = true)
      function retVal = getDefaultValue()
         retVal = BasicColors.Blue;
       end
       function retVal = getDataScope()
         retVal = 'Exported';
       end
       function retVal = getHeaderFile()
         retVal = 'BasicColors.h';
       end
    end
end

MATLAB: Custom enumerations are causing ‘Potential conflicting usages of identifier’ error when generating code.

From Technical Support:

In MATLAB/Simulink, the Enumeration elements reside within their own class definition and are considered separate sets of entities. Because of this, two Enumeration elements in different classes can have the same name.

However, when these Enumeration elements are converted to C, they are converted from respective class properties to basic enumeration types. All entities of enumeration type in C are public in the global namespace. Because these entities are now in the same namespace, two entities with the same name will cause a redeclaration error. The following link provides more information regarding this behavior in C:

http://stackoverflow.com/questions/2161940/two-enums-have-some-elements-in-common-why-does-this-produce-an-error

In order to avoid this error automatically, please enter the following code in the class definition of the Enumeration types:

methods (Static = true)
     function retVal = addClassNameToEnumNames()
          retVal = true;
     end
end

This tells the Simulink Coder to prefix the Enumeration elements for that Enumeration type with its class name in the generated C code. Therefore, the naming conflict is resolved. More details about the 'addClassNameToEnumNames' function can be found at the following documentation link:

http://www.mathworks.com/help/rtw/ug/enumerations.html?#bru8iok-1

Additionaly, if the two Enum types are defined in the data dictionary of your model as 'Simulink Enumerated Type', by clicking on the Name of the objects from the Model Explorer and enabling 'Add Class Name To Enum Names', the issue should be solved too.

Best Answer

Related Solutions

MATLAB: How to generate a custom header file for an enumerated class used in Simulink model by Simulink Coder 8.4 (R2013a)

MATLAB: Custom enumerations are causing ‘Potential conflicting usages of identifier’ error when generating code.

Related Question