/[eiffelstudio]/vendor/gobosoft.com/gobo/4.0d/library/tools/src/eiffel/ast/type/et_like_current.e
ViewVC logotype

Diff of /vendor/gobosoft.com/gobo/4.0d/library/tools/src/eiffel/ast/type/et_like_current.e

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

revision 98697 by manus, Sat May 7 16:18:26 2016 UTC revision 98698 by manus, Mon May 9 13:53:54 2016 UTC
# Line 5  note Line 5  note
5                  "Eiffel 'like Current' types"                  "Eiffel 'like Current' types"
6    
7          library: "Gobo Eiffel Tools Library"          library: "Gobo Eiffel Tools Library"
8          copyright: "Copyright (c) 2001-2015, Eric Bezault and others"          copyright: "Copyright (c) 2001-2016, Eric Bezault and others"
9          license: "MIT License"          license: "MIT License"
10          date: "$Date$"          date: "$Date$"
11          revision: "$Revision$"          revision: "$Revision$"
# Line 21  inherit Line 21  inherit
21                          named_type_has_class,                          named_type_has_class,
22                          is_like_current,                          is_like_current,
23                          same_syntactical_like_current_with_type_marks,                          same_syntactical_like_current_with_type_marks,
                         same_named_bit_type_with_type_marks,  
24                          same_named_class_type_with_type_marks,                          same_named_class_type_with_type_marks,
25                          same_named_formal_parameter_type_with_type_marks,                          same_named_formal_parameter_type_with_type_marks,
26                          same_named_tuple_type_with_type_marks,                          same_named_tuple_type_with_type_marks,
                         same_base_bit_type_with_type_marks,  
27                          same_base_class_type_with_type_marks,                          same_base_class_type_with_type_marks,
28                          same_base_formal_parameter_type_with_type_marks,                          same_base_formal_parameter_type_with_type_marks,
29                          same_base_tuple_type_with_type_marks,                          same_base_tuple_type_with_type_marks,
                         conforms_from_bit_type_with_type_marks,  
30                          conforms_from_class_type_with_type_marks,                          conforms_from_class_type_with_type_marks,
31                          conforms_from_formal_parameter_type_with_type_marks,                          conforms_from_formal_parameter_type_with_type_marks,
32                          conforms_from_tuple_type_with_type_marks,                          conforms_from_tuple_type_with_type_marks,
# Line 298  feature {ET_TYPE, ET_TYPE_CONTEXT} -- Co Line 295  feature {ET_TYPE, ET_TYPE_CONTEXT} -- Co
295                          end                          end
296                  end                  end
297    
         same_named_bit_type_with_type_marks (other: ET_BIT_TYPE; other_type_mark: detachable ET_TYPE_MARK; other_context: ET_TYPE_CONTEXT; a_type_mark: detachable ET_TYPE_MARK; a_context: ET_TYPE_CONTEXT): BOOLEAN  
                         -- Do current type appearing in `a_context' and `other' type  
                         -- appearing in `other_context' have the same named type?  
                         -- Note that the type mark status of `Current' and `other' is  
                         -- overridden by `a_type_mark' and `other_type_mark', if not Void  
                 do  
                         Result := a_context.same_named_bit_type_with_type_marks (other, other_type_mark, other_context, overridden_type_mark (a_type_mark))  
                 end  
   
298          same_named_class_type_with_type_marks (other: ET_CLASS_TYPE; other_type_mark: detachable ET_TYPE_MARK; other_context: ET_TYPE_CONTEXT; a_type_mark: detachable ET_TYPE_MARK; a_context: ET_TYPE_CONTEXT): BOOLEAN          same_named_class_type_with_type_marks (other: ET_CLASS_TYPE; other_type_mark: detachable ET_TYPE_MARK; other_context: ET_TYPE_CONTEXT; a_type_mark: detachable ET_TYPE_MARK; a_context: ET_TYPE_CONTEXT): BOOLEAN
299                          -- Do current type appearing in `a_context' and `other' type                          -- Do current type appearing in `a_context' and `other' type
300                          -- appearing in `other_context' have the same named type?                          -- appearing in `other_context' have the same named type?
# Line 334  feature {ET_TYPE, ET_TYPE_CONTEXT} -- Co Line 322  feature {ET_TYPE, ET_TYPE_CONTEXT} -- Co
322                          Result := a_context.same_named_tuple_type_with_type_marks (other, other_type_mark, other_context, overridden_type_mark (a_type_mark))                          Result := a_context.same_named_tuple_type_with_type_marks (other, other_type_mark, other_context, overridden_type_mark (a_type_mark))
323                  end                  end
324    
         same_base_bit_type_with_type_marks (other: ET_BIT_TYPE; other_type_mark: detachable ET_TYPE_MARK; other_context: ET_TYPE_CONTEXT; a_type_mark: detachable ET_TYPE_MARK; a_context: ET_TYPE_CONTEXT): BOOLEAN  
                         -- Do current type appearing in `a_context' and `other' type  
                         -- appearing in `other_context' have the same base type?  
                         -- Note that the type mark status of `Current' and `other' is  
                         -- overridden by `a_type_mark' and `other_type_mark', if not Void  
                 do  
                         Result := a_context.same_base_bit_type_with_type_marks (other, other_type_mark, other_context, overridden_type_mark (a_type_mark))  
                 end  
   
325          same_base_class_type_with_type_marks (other: ET_CLASS_TYPE; other_type_mark: detachable ET_TYPE_MARK; other_context: ET_TYPE_CONTEXT; a_type_mark: detachable ET_TYPE_MARK; a_context: ET_TYPE_CONTEXT): BOOLEAN          same_base_class_type_with_type_marks (other: ET_CLASS_TYPE; other_type_mark: detachable ET_TYPE_MARK; other_context: ET_TYPE_CONTEXT; a_type_mark: detachable ET_TYPE_MARK; a_context: ET_TYPE_CONTEXT): BOOLEAN
326                          -- Do current type appearing in `a_context' and `other' type                          -- Do current type appearing in `a_context' and `other' type
327                          -- appearing in `other_context' have the same base type?                          -- appearing in `other_context' have the same base type?
# Line 385  feature -- Conformance Line 364  feature -- Conformance
364    
365  feature {ET_TYPE, ET_TYPE_CONTEXT} -- Conformance  feature {ET_TYPE, ET_TYPE_CONTEXT} -- Conformance
366    
         conforms_from_bit_type_with_type_marks (other: ET_BIT_TYPE; other_type_mark: detachable ET_TYPE_MARK; other_context: ET_TYPE_CONTEXT; a_type_mark: detachable ET_TYPE_MARK; a_context: ET_TYPE_CONTEXT): BOOLEAN  
                         -- Does `other' type appearing in `other_context' conform  
                         -- to current type appearing in `a_context'?  
                         -- Note that the type mark status of `Current' and `other' is  
                         -- overridden by `a_type_mark' and `other_type_mark', if not Void  
                         -- (Note: 'current_system.ancestor_builder' is used on the classes  
                         -- whose ancestors need to be built in order to check for conformance.)  
                 do  
                         Result := a_context.conforms_from_bit_type_with_type_marks (other, other_type_mark, other_context, overridden_type_mark (a_type_mark))  
                 end  
   
367          conforms_from_class_type_with_type_marks (other: ET_CLASS_TYPE; other_type_mark: detachable ET_TYPE_MARK; other_context: ET_TYPE_CONTEXT; a_type_mark: detachable ET_TYPE_MARK; a_context: ET_TYPE_CONTEXT): BOOLEAN          conforms_from_class_type_with_type_marks (other: ET_CLASS_TYPE; other_type_mark: detachable ET_TYPE_MARK; other_context: ET_TYPE_CONTEXT; a_type_mark: detachable ET_TYPE_MARK; a_context: ET_TYPE_CONTEXT): BOOLEAN
368                          -- Does `other' type appearing in `other_context' conform                          -- Does `other' type appearing in `other_context' conform
369                          -- to current type appearing in `a_context'?                          -- to current type appearing in `a_context'?

Legend:
Removed from v.98697  
changed lines
  Added in v.98698

  ViewVC Help
Powered by ViewVC 1.1.23