Examples of Qualified Names

  x : Integer := 1; export x
  proc p
    x : Number := 0.5
    put x !the local variable
    put A.x !the global which is hidden by the local

  import A
  x : set of Integer := {1 2 3}; export x
  y : set of Number := (1.1 2.2 3.3}; export y
  put x, y !the globals local to this module
  put A.x !qualify because local global hides the one exported from A
  A.p !qualify because p is not exported by A

  import A B
  put y !no need to qualify because exported from B
  put A.x !qualify because both A and B export x

What, no information hiding?