/[eiffelstudio]/FreeELKS/trunk/library/structures/cursor_tree/recursive_cursor_tree.e
ViewVC logotype

Diff of /FreeELKS/trunk/library/structures/cursor_tree/recursive_cursor_tree.e

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 91476 by manus_eiffel, Tue Oct 26 18:39:32 2004 UTC revision 91477 by ericb, Sun Jan 14 09:47:13 2007 UTC
# Line 2  indexing Line 2  indexing
2    
3          description:          description:
4                  "Cursor trees with a recursive structure"                  "Cursor trees with a recursive structure"
5            legal: "See notice at end of class."
6    
7          status: "See notice at end of class"          status: "See notice at end of class."
8          names: recursive_cursor_tree, cursor_tree, tree;          names: recursive_cursor_tree, cursor_tree, tree;
9          access: cursor, membership;          access: cursor, membership;
10          representation: recursive;          representation: recursive;
# Line 333  invariant Line 334  invariant
334          coherency: not above implies active_parent.child = active          coherency: not above implies active_parent.child = active
335    
336  indexing  indexing
337            library:        "EiffelBase: Library of reusable components for Eiffel."
338            copyright:      "Copyright (c) 1984-2006, Eiffel Software and others"
339            license:        "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)"
340            source: "[
341                             Eiffel Software
342                             356 Storke Road, Goleta, CA 93117 USA
343                             Telephone 805-685-1006, Fax 805-685-6869
344                             Website http://www.eiffel.com
345                             Customer support http://support.eiffel.com
346                    ]"
347    
348    
349    
350    
351    
         library: "[  
                         EiffelBase: Library of reusable components for Eiffel.  
                         ]"  
   
         status: "[  
                         Copyright 1986-2001 Interactive Software Engineering (ISE).  
                         For ISE customers the original versions are an ISE product  
                         covered by the ISE Eiffel license and support agreements.  
                         ]"  
   
         license: "[  
                         EiffelBase may now be used by anyone as FREE SOFTWARE to  
                         develop any product, public-domain or commercial, without  
                         payment to ISE, under the terms of the ISE Free Eiffel Library  
                         License (IFELL) at http://eiffel.com/products/base/license.html.  
                         ]"  
352    
         source: "[  
                         Interactive Software Engineering Inc.  
                         ISE Building  
                         360 Storke Road, Goleta, CA 93117 USA  
                         Telephone 805-685-1006, Fax 805-685-6869  
                         Electronic mail <info@eiffel.com>  
                         Customer support http://support.eiffel.com  
                         ]"  
   
         info: "[  
                         For latest info see award-winning pages: http://eiffel.com  
                         ]"  
353    
354  end -- class RECURSIVE_CURSOR_TREE  end -- class RECURSIVE_CURSOR_TREE
355    

Legend:
Removed from v.91476  
changed lines
  Added in v.91477

  ViewVC Help
Powered by ViewVC 1.1.23