class GBN_INODE -- Properly, inlist and outlist should be -- created during make. However, make_protecting -- is exported only to GBN_PROTECTED, so they -- are created by the graph during add_node and -- passed as arguments in make. creation { GBN_IGRAPH } make feature { GBN_IGRAPH } outlist, inlist: GBN_DLIST [ GBN_IEDGE ] index : INTEGER graph : GBN_IGRAPH set_index ( i : INTEGER ) is require positive_index : i >= 1 do index := i end set_inlist ( list : like inlist ) is require nonvoid : list /= Void once_only : inlist = Void do inlist := list end set_outlist ( list : like outlist ) is require nonvoid : list /= Void once_only : outlist = Void do outlist := list end feature { NONE } make ( gra : like graph; i : INTEGER; il, outl : like inlist ) is do index := i graph := gra inlist := il outlist := outl end end -- class GBN_INODE