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

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

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

revision 91476 by manus_eiffel, Thu Oct 28 22:23:37 2004 UTC revision 91477 by ericb, Sun Jan 14 09:47:13 2007 UTC
# Line 10  class BIT_REF inherit Line 10  class BIT_REF inherit
10    
11          ANY          ANY
12                  redefine                  redefine
13                          out                          out,
14                            generator,
15                            conforms_to
16                  end                  end
17                    
 convert  
         to_reference: {BIT_REF, ANY}  
           
18  feature -- Access  feature -- Access
19    
20          item, infix "@" (i: INTEGER): BOOLEAN is          item alias "[]", infix "@" (i: INTEGER): BOOLEAN assign put is
21                          -- `i'-th bit                          -- `i'-th bit
22                  require                  require
23                          index_large_enough: i >= 1                          index_large_enough: i >= 1
# Line 27  feature -- Access Line 26  feature -- Access
26                          Result := b_item ($Current, i)                          Result := b_item ($Current, i)
27                  end                  end
28    
29            generator: STRING is
30                            -- Name of the current object's generating class.
31                    do
32                            create Result.make (10)
33                            Result.append ("BIT ")
34                            Result.append_integer (count)
35                    end
36    
37            conforms_to (other: ANY): BOOLEAN is
38                            -- Is dynamic type of current object a descendant of
39                            -- dynamic type of `other'?
40                    local
41                            b: BIT_REF
42                    do
43                            b ?= other
44                            if b /= Void then
45                                    Result := count <= b.count
46                            end
47                    end
48    
49  feature -- Measurement  feature -- Measurement
50    
51          count: INTEGER is          count: INTEGER is

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

  ViewVC Help
Powered by ViewVC 1.1.23