class DataMapIterator inherits BasicMapIterator from WOKTools
---Purpose: Provides iteration on the content of a map. The
-- iteration methods are inherited from the BasicMapIterator.
- ---Warning: While using an iterator on a map if the content of
+ -- Warning: While using an iterator on a map if the content of
-- the map is modified during the iteration the
-- result is unpredictable.
Find(me; K : TheKey) returns any TheItem
---Level: Public
---Purpose: Returns the Item stored with the Key <K> in the Map.
- ---Trigger: An exception is raised when <K> is not in the map.
+ -- Trigger: An exception is raised when <K> is not in the map.
raises NoSuchObject from Standard
---C++: alias operator()
---C++: return const &
---Purpose: Returns the Item stored with the Key <K> in the
-- Map. This Item can be modified with the syntax
-- aMap(K) = newItem;
- ---Trigger: An exception is raised when <K> is not in the map.
+ -- Trigger: An exception is raised when <K> is not in the map.
---C++: alias operator()
---C++: return &
raises NoSuchObject from Standard
inherits BasicMap from WOKTools
---Purpose: The DoubleMap is used to bind pairs (Key1,Key2)
- -- and retrieve them in linear time.
- --
+ -- and retrieve them in linear time.
-- See Map from WOKTools for a discussion about the number of buckets.
raises
---Purpose: Provides iteration on the content of a map.
-- The iteration methods are inherited from the BasicMapIterator.
--
- ---Warning: While using an iterator on a map if the content of
+ -- Warning: While using an iterator on a map if the content of
-- the map is modified during the iteration the result is
-- unpredictable.
Bind(me : in out; K1 : TheKey1; K2 : TheKey2)
---Level: Public
---Purpose: Adds the pair <K1>,<K2> to the map.
- ---Trigger: An exception is raised if K1 or K2 are already bound.
+ -- Trigger: An exception is raised if K1 or K2 are already bound.
raises MultiplyDefined from Standard
is static;
raises NullObject;
---Level: Public
---Purpose: Remove a node from <me>.
- ---Warning: All successors of me are also deleted.
+ -- Warning: All successors of me are also deleted.
DelNode(me : mutable;
anItem : GraphItem)
raises NullObject;
---Level: Public
---Purpose: Remove all nodes from <me> having an item <GraphItem>.
- ---Warning: All successors of me are also deleted.
+ -- Warning: All successors of me are also deleted.
DelEdge(me : mutable;
anEdge : GEdge from WOKTools)
raises NullObject ;
---Level: Public
---Purpose: Returns a set of paths between two nodes.
- ---Warning: It return a set in which all elements are displayed
+ -- Warning: It return a set in which all elements are displayed
-- in <aView>.
BestPath(me : mutable;
---Purpose: Returns a set of the smallest paths between
-- two nodes of <me>. (if there is more than one
-- path, they had the same length)
- ---Warning: It return a set in which all elements are displayed
+ -- Warning: It return a set in which all elements are displayed
-- in <aView>.
Find(me : mutable;
raises NullObject;
---Level: Public
---Purpose: Returns a sequence of the heirs of aNode at <aLevel>
- ---Warning: If <aLevel> is zero, returns a Sequence of all Heirs of aNode.
+ -- Warning: If <aLevel> is zero, returns a Sequence of all Heirs of aNode.
Brothers(me : mutable;
aNode : GNode from WOKTools)
---Purpose: Provides iteration on the content of a map. The
-- iteration methods are inherited from the
-- BasicMapIterator.
- ---Warning: While using an iterator on a map if the content of
+ -- Warning: While using an iterator on a map if the content of
-- the map is modified during the iteration the
-- result is unpredictable.