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