PageRenderTime 14ms CodeModel.GetById 11ms app.highlight 1ms RepoModel.GetById 1ms app.codeStats 0ms

/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
 1class TEST_ADDRESS_OF1
 2
 3insert
 4   EIFFELTEST_TOOLS
 5   
 6create {}
 7   main
 8
 9feature {}
10   main
11      do
12         proc($function)
13      end
14
15   function: INTEGER
16      do
17      end
18
19   proc (pointer: POINTER)
20      do
21         assert(pointer.is_not_null)
22      end
23
24end