AADL highlighting test

highlighttest.aadl

package P
public
  system S
    features
      error: in data port;
  end S;
  
  system implementation S.i
    subcomponents
      component: system;
    properties
      p => "a string";
    annex emv2 {**
      use types ErrorLibrary;
      component error behavior
        transitions
          system  -[ ip{noerror} ]-> same;
      end component;
    **};
  end S.i;
end P;