/[eiffelstudio]/branches/CAT_mono/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e
ViewVC logotype

Diff of /branches/CAT_mono/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e

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

revision 69867 by martins, Fri Aug 3 01:50:33 2007 UTC revision 69868 by martins, Fri Aug 3 22:28:26 2007 UTC
# Line 1478  feature -- Implementation Line 1478  feature -- Implementation
1478                                                          end                                                          end
1479    
1480                                                                  -- `like Current' check: First, check if argument is a `like Current' somwhere in the chain of likes.                                                                  -- `like Current' check: First, check if argument is a `like Current' somwhere in the chain of likes.
1481                                                          if l_unadapted_formal_arg_type.actual_type.is_like_current then                                                          if l_unadapted_formal_arg_type.is_referencing_current then
1482                                                                          -- The call is only allowed in one case:                                                                          -- The call is only allowed in one case:
1483                                                                          -- * It is called on a monomorphic type                                                                          -- * It is called on a monomorphic type
1484                                                                          --      Note: This includes `Current' and therefore `like Current' also                                                                          --      Note: This includes `Current' and therefore `like Current' also
1485                                                                          --        formals marked as frozen are ok                                                                          --        formals marked as frozen are ok
1486    
1487                                                                          if not l_last_constrained.conformance_type.is_monomorph and then not l_last_constrained.actual_type.is_like_current then                                                                          if not l_last_constrained.conformance_type.is_monomorph and then not l_last_constrained.is_referencing_current then
1488                                                                                  insert_vuar4_error (l_feature, l_parameters, l_last_id, i, l_last_constrained, l_arg_type, l_formal_arg_type)                                                                                  insert_vuar4_error (l_feature, l_parameters, l_last_id, i, l_last_constrained, l_arg_type, l_formal_arg_type)
1489                                                                          end                                                                          end
1490                                                          end                                                          end

Legend:
Removed from v.69867  
changed lines
  Added in v.69868

  ViewVC Help
Powered by ViewVC 1.1.23