/test/language/unclassified/wj/aux_wj01a0.e

http://github.com/tybor/Liberty · Specman e · 17 lines · 13 code · 4 blank · 0 comment · 1 complexity · 8099385109982d9139581a5aaaa1165a MD5 · raw file 

    

  1. class AUX_WJ01A0
    2. 

  2. 

  3. create {ANY}
    4. 

  4.    make
    5. 

  5. 

  6. feature {ANY}
    7. 

  7.    make (s: STRING)
    8. 

  8.       do
    9. 

  9.          x0 := s
    10. 

  10.          if x0 /= Void then
    11. 

  11.             x0 := s.twin
    12. 

  12.          end
    13. 

  13.       end
    14. 

  14. 

  15.    x0: STRING
    16. 

  16. 

  17. end -- class AUX_WJ01A0
    18.