users.sa


Generated by gen_html_sa_files from ICSI. Contact gomes@icsi.berkeley.edu for details
 

class TEST_USER

class TEST_USER is -- This is a test program to test the operating system independent -- implementation of individual user identities. Note that it is not -- portable for simplicity in building a local library. -- Version 1.0 Nov 97. Copright K Hopper, U of Waikato -- Development History -- ------------------- -- Date Who By Detail -- ---- ------ ------ -- 17 Nov 97 kh Original include TEST ; main is class_name("USER") ; a_user : USER := USER::create(42.binstr) ; test("create",a_user.str,"0000002A") ; os_user : USER := USER::user ; test("user" + os_user.str,(a_user = os_user).str,false.str) ; test("real_user",(USER::real_user = os_user).str,true.str) ; finish end ; end ; -- TEST_USER