/tutorial/plugin/external_type/test.e

http://github.com/tybor/Liberty · Specman e · 17 lines · 14 code · 3 blank · 0 comment · 0 complexity · e1ec6265814cdd9a1e87af4987902a47 MD5 · raw file 

    

  1. class TEST
    2. 

  2. 

  3. create {}
    4. 

  4.    make
    5. 

  5. 

  6. feature {}
    7. 

  7.    make
    8. 

  8.       local
    9. 

  9.          uint: UNSIGNED_INT_WRAPPER
    10. 

  10.       do
    11. 

  11.          create uint.from_integer_64({INTEGER_64 42})
    12. 

  12.          io.put_string("The (unsigned) answer is: ")
    13. 

  13.          io.put_integer(uint.as_integer_64)
    14. 

  14.          io.put_new_line
    15. 

  15.       end
    16. 

  16. 

  17. end -- class TEST
    18.