/test/language/unclassified/wj/aux_wj01c1.e

http://github.com/tybor/Liberty · Specman e · 11 lines · 8 code · 3 blank · 0 comment · 0 complexity · 84ca167f0f118d5333c1fb1456024d5b MD5 · raw file 

    

  1. class AUX_WJ01C1
    2. 

  2. 

  3. inherit
    4. 

  4.    AUX_WJ01C0
    5. 

  5.       redefine a
    6. 

  6.       end
    7. 

  7. 

  8. feature {ANY}
    9. 

  9.    a: AUX_WJ01A1
    10. 

  10. 

  11. end -- class AUX_WJ01C1
    12.