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

Diff of /FreeELKS/trunk/library/structures/access/active.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 5  indexing Line 5  indexing
5                  a possibly undefined ``current item''.                  a possibly undefined ``current item''.
6                  Basic access and modification operations apply to the current item.                  Basic access and modification operations apply to the current item.
7                  ]"                  ]"
8            legal: "See notice at end of class."
9    
10          status: "See notice at end of class"          status: "See notice at end of class."
11          names: active, access          names: active, access
12          access: membership          access: membership
13          contents: generic          contents: generic
# Line 65  invariant Line 66  invariant
66          empty_constraint: is_empty implies (not readable) and (not writable)          empty_constraint: is_empty implies (not readable) and (not writable)
67    
68  indexing  indexing
69            library:        "EiffelBase: Library of reusable components for Eiffel."
70            copyright:      "Copyright (c) 1984-2006, Eiffel Software and others"
71            license:        "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)"
72            source: "[
73                             Eiffel Software
74                             356 Storke Road, Goleta, CA 93117 USA
75                             Telephone 805-685-1006, Fax 805-685-6869
76                             Website http://www.eiffel.com
77                             Customer support http://support.eiffel.com
78                    ]"
79    
80    
81    
82    
83    
         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.  
                         ]"  
84    
         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  
                         ]"  
85    
86  end -- class ACTIVE  end -- class ACTIVE
87    

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

  ViewVC Help
Powered by ViewVC 1.1.23