/test/language/unclassified/woj/aux_woj01_exp.e

http://github.com/tybor/Liberty · Specman e · 14 lines · 10 code · 4 blank · 0 comment · 0 complexity · bbb17789f6e93bc9928c7b553faaa245 MD5 · raw file 

    

  1. expanded class AUX_WOJ01_EXP
    2. 

  2. 

  3. insert
    4. 

  4.    AUX_WOJ01_DEF
    5. 

  5. 

  6. feature {ANY}
    7. 

  7.    n: INTEGER
    8. 

  8. 

  9.    set (i: INTEGER)
    10. 

  10.       do
    11. 

  11.          n := i
    12. 

  12.       end
    13. 

  13. 

  14. end -- class AUX_WOJ01_EXP
    15.