class interface GBN_NODE_MAP[G]
creation
   open (graf: like graph)
      require
         exists: graf /= Void
feature(s) from GBN_NODE_MAP
   is_open: BOOLEAN
   count: INTEGER
      require
         open: is_open
   graph: GBN_IGRAPH
   item (u: GBN_INODE): G
      require
         open: is_open;
         exists: graph.has_node(u);
         in_range: graph.node_index(u).in_range(1,count)
   put (x: G; u: GBN_INODE)
      require
         open: is_open;
         exists: graph.has_node(u);
         in_range: graph.node_index(u).in_range(1,count)
****** Error: (VAPE): The content of a require assertion must
also be visible by the caller of the routine (i.e. the client
must be able to check the require assertion before calling the
routine). See next two following reports for details.
------
****** Error: This call which is inside the require assertion
is exported to {GBN_IGRAPH}.
Line 282 column 51 in GBN_IGRAPH (/home/odunlain/goban/lib/graph/gbn_igraph.e) :
      in_list : the_node_maps . has_place ( map . graph_map_place )
                                                  ^
Line 49 column 11 in GBN_NODE_MAP (/home/odunlain/goban/lib/graph/gbn_node_map.e) :
feature { GBN_IGRAPH }
          ^
------
****** Fatal Error: This routine, is exported to {GBN_NODE_MAP}
(when the type of Current is GBN_IGRAPH ). (Class GBN_NODE_MAP
is not allowed to use the code inside the require assertion.)
Line 279 column 3 in GBN_IGRAPH (/home/odunlain/goban/lib/graph/gbn_igraph.e) :
  remove_node_map ( map : GBN_NODE_MAP [ ANY ] ) is
  ^
Line 266 column 11 in GBN_IGRAPH (/home/odunlain/goban/lib/graph/gbn_igraph.e) :
feature { GBN_NODE_MAP }
          ^
------
alcom5% 
Script done on Sun Feb 12 07:20:07 2006