Access1 := new Accessed_Type; Access1 = Access2 ...?!

["Florian Haag" <florianhaag@yahoo.de>]

Hi,
I'm quite new to Ada and I hope someone can explain this to me:
I've got the following code:

Parent_State is assigned some already existing Vessel_State_Type
variable, or null.

State_Access := new Vessel_State_Type;
State_Access.All.Previous_State := Parent_State;
if State_Access /= null then
  if State_Access = State_Access.All.Previous_State then
    raise MyEx;
  end if;
end if;

Now, why is MyEx raised?

Parent_State should refer to an already existent variable, whereas
(I thought) the variable State_Access points to is just created in
the beginning of that block ...?
If the above code does not what I thought it did, how can I
achieve that? ;-)

TIA
Florian Haag