test_address_of1.e | searchcode

/test/language/address_of/test_address_of1.e

http://github.com/tybor/Liberty · Specman e · 24 lines · 18 code · 6 blank · 0 comment · 0 complexity · a61ffc382c94ce5987c4f0f5f141a25d MD5 · raw file


class TEST_ADDRESS_OF1

insert
   EIFFELTEST_TOOLS
   
create {}
   main

feature {}
   main
      do
         proc($function)
      end

   function: INTEGER
      do
      end

   proc (pointer: POINTER)
      do
         assert(pointer.is_not_null)
      end

end