/test/language/address_of/test_address_of1.e

 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