/[eiffelstudio]/FreeELKS/trunk/library/kernel/system_string.e
ViewVC logotype

Diff of /FreeELKS/trunk/library/kernel/system_string.e

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

revision 91476 by ericb, Sat Feb 4 16:56:42 2006 UTC revision 91477 by ericb, Sun Jan 14 09:47:13 2007 UTC
# Line 6  indexing Line 6  indexing
6          date: "$Date$"          date: "$Date$"
7          revision: "$Revision$"          revision: "$Revision$"
8    
9  class  deferred class
10          SYSTEM_STRING          SYSTEM_STRING
11    
 create  
         make  
   
 feature {NONE} -- Initialization          
   
         make (an_array: NATIVE_ARRAY [CHARACTER]; a, b: INTEGER) is  
                 require  
                         is_dotnet: {PLATFORM}.is_dotnet  
                 do  
   
                 end  
   
12  feature -- Access  feature -- Access
13    
14          length: INTEGER is do end          length: INTEGER is do end
15    
 feature -- Basic operations  
   
         copy_to (a_start_index: INTEGER; an_array: NATIVE_ARRAY [CHARACTER]; a_destination_index, a_count: INTEGER) is  
                 do  
                 end  
   
16  invariant  invariant
17          is_dotnet: {PLATFORM}.is_dotnet          is_dotnet: {PLATFORM}.is_dotnet
18    

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

  ViewVC Help
Powered by ViewVC 1.1.23