Property associations for behavior variables are not supported

[Etienne13]

Summary

In BA, property associations can be attached to behavior variables. This is particularly useful for variables initialization, as mentioned in issue #2184

Steps to Reproduce

The following model is not parsed correctly by the BA plugin

package issue2184_InitialValue
public
	with Base_Types;
	with Data_Model;
	
	process top
		features
			o1: out data port Base_Types::Integer_32;

		annex behavior_specification {**
          variables
            tmp :  Base_Types::Integer_32 {Data_Model::Initial_Value => ("1");};
          states
            a : initial final state;
          transitions
            t : a -[]-> a {
              o1 := tmp
            };
        **};
	end top;

	
end issue2184_InitialValue;

Environment

• OSATE Version: Nightly
• Operating System: Linux

[Etienne13]

@lwrage I have to parse property associations with records. Is there a utility function to retreive the property object of the record from its name and the property it is associated with?
For example, I have a property association my_prop => [f1=>1;]; how to retrieve "f1" from its name (a String) and the object corresponding to my_prop?

[Etienne13]

@lwrage I found how to do it just by getting the property type of my_prop, casting the type into a RecordTye and then taking the content. I don't think we need a utility function for this.