/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