Re: Protected Types and Address Clauses

[eachus@spectre.mitre.org (Robert I. Eachus)]

In article <4fqe6h$t0e@theopolis.orl.mmc.com> rgilbert@unconfigured.xvnews.domain (Bob Gilbert) writes:

  >  protected Discretes is 
  >    procedure Write(Settings : in SETTING_LIST);
  >  private
  >    HW_Control : DISCRETE_HW_CONTROL;
  >    for HW_Control use at 16#4000_0001#;
  >  end Discretes;

  > Our compiler complains about the address clause, claiming that
  > HW_Control is not visible.  Looking at the language specification
  > I do see that address clauses are not included here.  What is
  > the rationale for this omission?

    Seems to work the way I read it.  The private part is a list of
protected_element_declarations.  A protected_element_declaration can
be a protected_operation_declaration.  A
protected_operation_declaration can be a representation_clause.  A
representation_clause can be an attribute definition_clause, which can
be FOR local_name'attribute USE expression.

    I think you are looking at a (not very surprising) compiler bug.
As a workaround you might try defining HW_Control inside Write and any
other operations you might add later.  Of course before reporting this
as a bug make sure you didn't misspell something.

--

					Robert I. Eachus

with Standard_Disclaimer;
use  Standard_Disclaimer;
function Message (Text: in Clever_Ideas) return Better_Ideas is...