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

Diff of /vendor/gobosoft.com/gobo/4.0d/library/tools/src/eiffel/ast/type/et_type.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 603  feature -- Comparison Line 603  feature -- Comparison
603    
604  feature {ET_TYPE, ET_TYPE_CONTEXT} -- Comparison  feature {ET_TYPE, ET_TYPE_CONTEXT} -- Comparison
605    
         same_syntactical_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  
                         -- Are current type appearing in `a_context' and `other'  
                         -- type appearing in `other_context' the same type?  
                         -- (Note: We are NOT comparing the base types here!  
                         -- Therefore anchored types are considered the same  
                         -- only if they have the same anchor. An anchor type  
                         -- is not considered the same as any other type even  
                         -- if they 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  
                 require  
                         other_not_void: other /= Void  
                         other_context_not_void: other_context /= Void  
                         other_context_valid: other_context.is_valid_context  
                         a_context_not_void: a_context /= Void  
                         a_context_valid: a_context.is_valid_context  
                         -- no_cycle: no cycle in anchored types involved.  
                 do  
                         -- Result := False  
                 end  
   
606          same_syntactical_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_syntactical_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
607                          -- Are current type appearing in `a_context' and `other'                          -- Are current type appearing in `a_context' and `other'
608                          -- type appearing in `other_context' the same type?                          -- type appearing in `other_context' the same type?
# Line 750  feature {ET_TYPE, ET_TYPE_CONTEXT} -- Co Line 729  feature {ET_TYPE, ET_TYPE_CONTEXT} -- Co
729                          -- Result := False                          -- Result := False
730                  end                  end
731    
         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  
                 require  
                         other_not_void: other /= Void  
                         other_context_not_void: other_context /= Void  
                         other_context_valid: other_context.is_valid_context  
                         a_context_not_void: a_context /= Void  
                         a_context_valid: a_context.is_valid_context  
                         -- no_cycle: no cycle in anchored types involved.  
                 do  
                         -- Result := False  
                 end  
   
732          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
733                          -- Do current type appearing in `a_context' and `other' type                          -- Do current type appearing in `a_context' and `other' type
734                          -- appearing in `other_context' have the same named type?                          -- appearing in `other_context' have the same named type?
# Line 814  feature {ET_TYPE, ET_TYPE_CONTEXT} -- Co Line 777  feature {ET_TYPE, ET_TYPE_CONTEXT} -- Co
777                          -- Result := False                          -- Result := False
778                  end                  end
779    
         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  
                 require  
                         other_not_void: other /= Void  
                         other_context_not_void: other_context /= Void  
                         other_context_valid: other_context.is_valid_context  
                         a_context_not_void: a_context /= Void  
                         a_context_valid: a_context.is_valid_context  
                         -- no_cycle: no cycle in anchored types involved.  
                 do  
                         -- Result := False  
                 end  
   
780          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
781                          -- Do current type appearing in `a_context' and `other' type                          -- Do current type appearing in `a_context' and `other' type
782                          -- appearing in `other_context' have the same base type?                          -- appearing in `other_context' have the same base type?
# Line 911  feature -- Conformance Line 858  feature -- Conformance
858    
859  feature {ET_TYPE, ET_TYPE_CONTEXT} -- Conformance  feature {ET_TYPE, ET_TYPE_CONTEXT} -- Conformance
860    
         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.)  
                 require  
                         other_not_void: other /= Void  
                         other_context_not_void: other_context /= Void  
                         other_context_valid: other_context.is_valid_context  
                         a_context_not_void: a_context /= Void  
                         a_context_valid: a_context.is_valid_context  
                         -- no_cycle: no cycle in anchored types involved.  
                 do  
                         -- Result := False  
                 end  
   
861          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
862                          -- Does `other' type appearing in `other_context' conform                          -- Does `other' type appearing in `other_context' conform
863                          -- 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