home *** CD-ROM | disk | FTP | other *** search
/ Amiga ACS 1998 #4 / amigaacscoverdisc1998-041998.iso / utilities / shareware / dev / ppcsmalleiffel / lib_se / run_feature_9.e < prev    next >
Encoding:
Text File  |  1998-01-16  |  2.4 KB  |  115 lines
  1. --          This file is part of SmallEiffel The GNU Eiffel Compiler.
  2. --          Copyright (C) 1994-98 LORIA - UHP - CRIN - INRIA - FRANCE
  3. --            Dominique COLNET and Suzanne COLLIN - colnet@loria.fr 
  4. --                       http://www.loria.fr/SmallEiffel
  5. -- SmallEiffel is  free  software;  you can  redistribute it and/or modify it 
  6. -- under the terms of the GNU General Public License as published by the Free
  7. -- Software  Foundation;  either  version  2, or (at your option)  any  later 
  8. -- version. SmallEiffel is distributed in the hope that it will be useful,but
  9. -- WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
  10. -- or  FITNESS FOR A PARTICULAR PURPOSE.   See the GNU General Public License 
  11. -- for  more  details.  You  should  have  received a copy of the GNU General 
  12. -- Public  License  along  with  SmallEiffel;  see the file COPYING.  If not,
  13. -- write to the  Free Software Foundation, Inc., 59 Temple Place - Suite 330,
  14. -- Boston, MA 02111-1307, USA.
  15. --
  16. class RUN_FEATURE_9
  17.  
  18. inherit RUN_FEATURE redefine base_feature, address_of end;
  19.  
  20. creation {DEFERRED_ROUTINE} make
  21.    
  22. feature 
  23.    
  24.    base_feature: DEFERRED_ROUTINE;
  25.    
  26.    is_pre_computable: BOOLEAN is false;
  27.    
  28.    is_static: BOOLEAN is false;
  29.    
  30. feature
  31.  
  32.    afd_check is
  33.       do
  34.      routine_afd_check;
  35.      small_eiffel.afd_check_deferred(Current);
  36.       end;
  37.  
  38.    mapping_c is
  39.       do
  40.       end;
  41.    
  42.    can_be_dropped: BOOLEAN is
  43.       do
  44.       end;
  45.    
  46.    c_define is
  47.       do
  48.       end;
  49.    
  50.    address_of is
  51.       do
  52.       end;
  53.    
  54.    local_vars: LOCAL_VAR_LIST is do end;
  55.    
  56.    static_value_mem: INTEGER is do end;
  57.  
  58. feature {NONE}   
  59.    
  60.    initialize is
  61.       do
  62.      arguments := base_feature.arguments;
  63.      if arguments /= Void and then arguments.count > 0 then
  64.         arguments := arguments.to_runnable(current_type);
  65.      end;
  66.      result_type := base_feature.result_type;
  67.      if result_type /= Void then
  68.         result_type := result_type.to_runnable(current_type);
  69.      end;
  70.       end;
  71.    
  72.    compute_use_current is
  73.       do
  74.       end;
  75.  
  76. feature {RUN_CLASS}
  77.  
  78.    jvm_field_or_method is
  79.       do
  80.       end;
  81.  
  82. feature
  83.  
  84.    mapping_jvm is
  85.       do
  86.       end;
  87.  
  88. feature {JVM}
  89.  
  90.    jvm_define is
  91.       do
  92.       end;
  93.    
  94. feature {NONE}
  95.  
  96.    update_tmp_jvm_descriptor is
  97.       do
  98.      routine_update_tmp_jvm_descriptor;
  99.       end;
  100.  
  101. invariant
  102.    
  103.    require_assertion = Void;
  104.    
  105.    local_vars = Void;
  106.    
  107.    routine_body = Void;
  108.    
  109.    ensure_assertion = Void;
  110.    
  111.    rescue_compound = Void;
  112.  
  113. end -- RUN_FEATURE_9
  114.  
  115.