map_header.sa


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

class TEST_MAP_HEADER

class TEST_MAP_HEADER is -- This is a test program to test the class MAP_HEADER, responsible for -- reading and writing code map headers.. -- Version 1.0 May 99. Copyright K Hopper, U of Waikato -- Development History -- ------------------- -- Date Who By Detail -- ---- ------ ------ -- 14 May 99 kh Original include TEST ; main is class_name("MAP_HEADER") ; lib : LIBCHARS := LIBCHARS::default ; code_name : HEX_STR := HEX_STR::create("DUMMY_FOR_TEST") ; header : MAP_HEADER := MAP_HEADER::create(code_name) ; header := header.add_alias("INCOGNITO") ; header := header.add_alias("SOMEONE") ; header.revision("0.001") ; test("revision set",(~void(header.revision)).str,true.str) ; header.author("Anon") ; test("author set",(~void(header.author)).str,true.str) ; header.info("For test purposes only ") ; test("info set",(~void(header.misc_info)).str,true.str) ; filed_form : BINSTR := header.binstr ; unchecked_test("binary form",filed_form.text_str,"OK?") ; new_header : MAP_HEADER := MAP_HEADER::build(filed_form.cursor) ; test("revision set - new",(~void(new_header.revision)).str,true.str) ; test("author set - new",(~void(new_header.author)).str,true.str) ; test("info set - new",(~void(new_header.misc_info)).str,true.str) ; test("map name",header.code_name.binstr.text_str, new_header.code_name.binstr.text_str) ; test("revision",header.revision.binstr.text_str, new_header.revision.binstr.text_str) ; test("Author",header.author.binstr.text_str, new_header.author.binstr.text_str) ; test("Info",header.misc_info.binstr.text_str, new_header.misc_info.binstr.text_str) ; aliasses : STR := STR::create ; loop aliasses := aliasses + "\n".default_lib.separate!(header.aliasses.elt!.binstr.text_str) end ; new_aliasses : STR := STR::create ; loop new_aliasses := new_aliasses + "\n".default_lib.separate!(new_header.aliasses.elt!.binstr.text_str) end ; test("aliasses",aliasses, new_aliasses) ; finish end ; end ; -- TEST_MAP_HEADER