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

Diff of /FreeELKS/trunk/library/structures/cursor_tree/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                  "Trees as active structures that may be traversed using a cursor"                  "Trees as active structures that may be traversed using a cursor"
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: cursor_tree, tree;          names: cursor_tree, tree;
9          access: cursor, membership;          access: cursor, membership;
10          contents: generic;          contents: generic;
# Line 701  invariant Line 702  invariant
702          empty_below_constraint: (is_empty and (after or before)) implies below          empty_below_constraint: (is_empty and (after or before)) implies below
703    
704  indexing  indexing
705            library:        "EiffelBase: Library of reusable components for Eiffel."
706            copyright:      "Copyright (c) 1984-2006, Eiffel Software and others"
707            license:        "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)"
708            source: "[
709                             Eiffel Software
710                             356 Storke Road, Goleta, CA 93117 USA
711                             Telephone 805-685-1006, Fax 805-685-6869
712                             Website http://www.eiffel.com
713                             Customer support http://support.eiffel.com
714                    ]"
715    
716    
717    
718    
719    
         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.  
                         ]"  
720    
         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  
                         ]"  
721    
722  end -- class CURSOR_TREE  end -- class CURSOR_TREE
723    

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

  ViewVC Help
Powered by ViewVC 1.1.23