web_seed.sa


Generated by gen_html_sa_files from ICSI. Contact gomes@icsi.berkeley.edu for details
 
------------------------->  GNU Sather - sourcefile  <-------------------------
-- Copyright (C) 1994 by International Computer Science Institute            --
-- This file is part of the GNU Sather package. It is free software; you may --
-- redistribute  and/or modify it under the terms of the  GNU General Public --
-- License (GPL)  as  published  by the  Free  Software  Foundation;  either --
-- version 2 of the license, or (at your option) any later version.          --
-- This  program  is distributed  in the  hope that it will  be  useful, but --
-- WITHOUT ANY WARRANTY without even the implied warranty of MERCHANTABILITY --
-- or FITNESS FOR A PARTICULAR PURPOSE. See Doc/GPL for more details.        --
-- The license text is also available from:  Free Software Foundation, Inc., --
-- 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA                     --
-------------->  Please email comments to <bug-sather@gnu.org>  <--------------


--  ruby -n -e 'print $_.downcase.sub("\\$","at_").sub("\n","")+":"+$_.sub("\n","")+";\n"'



class MAIN

class MAIN is -- This class is used for generate HTML class browser page. -- Version 1.0 2003. Copyright kdm -- Development History -- ------------------- -- Date Who By Detail -- ---- ------ ------ -- 2003 kdm main is ----------- test test:TEST; rtest:R_TEST; -----------Functions dol_mat:$MAT{INT,INT,INT}; dol_vec3:$VEC{INT,INT,INT}; dol_vec2:$VEC{INT,INT}; jacobi:JACOBI; mat:MAT; matcpv:MATCPX; matcpxd:MATCPXD; mat2:MAT{INT,INT}; nr_svd:NR_SVD; numeric_mat:NUMERIC_MAT{FLT,VEC}; shaped_random:SHAPED_RANDOM; vec:VEC; veccpx:VECCPX; veccpxd:VECCPXD; veccpx_length_mixin:VECCPX_LENGTH_MIXIN{FLT,CPX,VECCPX}; vecd:VECD; vec_length_mixin:VEC_LENGTH_MIXIN{FLT,VEC}; ---------- Basic ----------- a_copy:$COPY; elt:$ELT; elt_int:$ELT{INT}; hash:$HASH; immutable_ : $IMMUTABLE; is_eq_x :$IS_EQ; is_lt_x :$IS_LT{INT}; is_nil:$IS_NIL; nil_x : $NIL; ob_x : $OB; ordered_x : $ORDERED{INT}; reference_x : $REFERENCE; dol_str:$STR; dol_text:$TEXT; dol_var:$VAR; aref:AREF{INT}; compare_etp:COMPARE{INT}; elt_eq:ELT_EQ{INT}; elt_hash:ELT_HASH; elt_lt:ELT_LT{INT}; elt_nil:ELT_NIL{INT}; ext_ob:EXT_OB; -----------------Binary--------- dol_binary:$BINARY; bit_patterns:$BIT_PATTERNS; bit_pattern:$BIT_PATTERN{INT}; binstr:BINSTR; bin_cursor:BIN_CURSOR; bit:BIT; fbinstr:FBINSTR; hextet:HEXTET; num_bits:NUM_BITS; octet:OCTET; quadbits:QUADBITS; ------------Codes--------- a_code_converter:$CODE_CONVERTER; a_code_mapper:$CODE_MAPPER; case_maplet:CASE_MAPLET; char_code:CHAR_CODE; code_converter:CODE_CONVERTER; code_kinds:CODE_KINDS; code_mapper:CODE_MAPPER; control_codes:CONTROL_CODES; info_kinds:INFO_KINDS; map_file:MAP_FILE; map_header:MAP_HEADER; map_modes:MAP_MODES; map_parts:MAP_PARTS; scripts:SCRIPTS; symbols:SYMBOLS; unicode:UNICODE; utf7:UTF7; -------------Concurrent----- attach:$ATTACH; lock:$LOCK; reentrant:$REENTRANT; prefetch:PREFETCH; ------------Arrays----- arr:$ARR{INT}; ro_arr:$RO_ARR{INT}; array2:ARRAY2{INT}; array3:ARRAY3{INT}; array:ARRAY{INT}; --------------- Bags ---------- a_bag:$BAG{INT}; ro_bag:$RO_BAG{INT}; a_vbag:$VBAG{INT}; bag:BAG{INT}; vbag:VBAG{INT}; ----------------General---------- a_bucket:$BUCKET{INT,INT}; container:$CONTAINER{INT}; dispenser:$DISPENSER{INT}; filters:$FILTERS{INT}; a_next:$NEXT{INT}; bucket:BUCKET{INT}; databucket:DATABUCKET{INT,INT}; dbt:DYNAMIC_BUCKET_TABLE{INT,DATABUCKET{INT,FLT}}; next:NEXT{INT}; tup4:TUP{INT,INT,INT,INT}; tup3:TUP{INT,INT,INT}; tup2:TUP{INT,INT}; tup1:TUP{INT}; -------------------Lists------- a_flists:$FLISTS{INT}; a_lists:$LISTS{INT}; a_list:$LIST{INT}; fgap_list:FGAP_LIST{INT}; flist:FLIST{INT}; list:LIST{INT}; llist:LLIST{INT}; ll_node:LL_NODE{INT}; ----------------Maps a_map:$MAP{INT,INT}; a_multimap:$MULTIMAP{INT,INT}; a_ro_map:$RO_MAP{INT,INT}; a_ro_multimap:$RO_MULTIMAP{INT,INT}; a_vmap:$VMAP{INT,INT}; a_vmultimap:$VMULTIMAP{INT,INT}; fmap:FMAP{INT,INT}; fmultimap:FMULTIMAP{INT,INT}; map_incl:MAP_INCL{INT,INT}; map:MAP{INT,INT}; multimap_incl:MULTIMAP_INCL{INT,INT}; multimap:MULTIMAP{INT,INT}; ro_multimap_incl:RO_MULTIMAP_INCL{INT,INT}; vmap:VMAP{INT,INT}; vmultimap:VMULTIMAP{INT,INT}; ---------------Queues dol_pq:$PQ{INT}; dol_queue:$QUEUE{INT}; a_pq:A_PQ{INT}; a_queue:A_QUEUE{INT}; pqmin:PQMIN{INT}; queue:QUEUE{INT}; -------------Sets a_ro_set:$RO_SET{INT}; a_set:$SET{INT}; a_vset:$VSET{INT}; fset:FSET{INT}; ro_set_incl:RO_SET_INCL{INT}; set_incl:SET_INCL{INT}; set:SET{INT}; vset:VSET{INT}; -----------Stacks dol_stack:$STACK{INT}; a_stack:A_STACK{INT}; stack:STACK{INT}; -----------Trees a_bt_node:$BT_NODE{INT,INT,INT}; bt_nelem:BT_NELEM{INT,INT,INT}; bt_node:BT_NODE{INT,INT}; ------------Cultural access_codes:ACCESS_CODES; addressing:ADDRESSING; address_codes:ADDRESS_CODES; address_fmt:ADDRESS_FMT; address_keys:ADDRESS_KEYS; alt_digits:ALT_DIGITS; cal_display_orders:CAL_DISPLAY_ORDERS; cash:CASH; categories:CATEGORIES; cat_standards:CAT_STANDARDS; char_class:CHAR_CLASS; char_group:CHAR_GROUP; char_map:CHAR_MAP; char_mappings:CHAR_MAPPINGS; char_types:CHAR_TYPES; code_str:CODE_STR; culture:CULTURE; date_forms:DATE_FORMS; dt_codes:DT_CODES; dt_fmt:DT_FMT; libchars:LIBCHARS; money_fmt:MONEY_FMT; mon_spacing:MON_SPACING; name_codes:NAME_CODES; name_fmt:NAME_FMT; name_title:NAME_TITLE; naming:NAMING; numbers:NUMBERS; number_fmt:NUMBER_FMT; ordering:ORDERING; order_rule:ORDER_RULE; order_weight:ORDER_WEIGHT; phone_access:PHONE_ACCESS; phone_codes:PHONE_CODES; phone_fmt:PHONE_FMT; phoning:PHONING; range_ordering:RANGE_ORDERING; repertoire:REPERTOIRE; rep_lib_list:REP_LIB_LIST; rep_map:REP_MAP; resources:RESOURCES; salutations:SALUTATIONS; sign_positions:SIGN_POSITIONS; temporal:TEMPORAL; time_suffix:TIME_SUFFIX; time_zone:TIME_ZONE; token:TOKEN; tzone_rule:TZONE_RULE; tz_rule_elem:TZ_RULE_ELEM; version:VERSION; version_keys:VERSION_KEYS; ----------------Date-Time; dol_dates:$DATES{INT}; dates:DATES; elapsed:ELAPSED; era_dates:ERA_DATES; months:MONTHS; timer:TIMER; times_:TIMES; time_stamp:TIME_STAMP; weekdays:WEEKDAYS; ------------ FileSys; access_set:ACCESS_SET; directory:DIRECTORY; file_kinds:FILE_KINDS; file_label:FILE_LABEL; file_path:FILE_PATH; group:GROUP; path_comp:PATH_COMP; path_kinds:PATH_KINDS; permissions:PERMISSIONS; search_path:SEARCH_PATH; user:USER; ------------- Geometric; dol_angles:$ANGLES{INT,INT}; dol_dims:$DIMS; dol_planes:$PLANES; dol_surfaces:$SURFACES; angle:ANGLE; angled:ANGLED; box:BOX; directions:DIRECTIONS; length:LENGTH; offset:OFFSET; point:POINT; rectangle:RECTANGLE; transform_matrix:TRANSFORM_MATRIX; units:UNITS; ------------ IO; dol_files:$FILES; dol_file_cursors:$FILE_CURSORS; dol_file_cursors2:$FILE_CURSORS{INT,INT}; dol_option:$OPTION; dol_ostream:$OSTREAM; instream:INSTREAM; outstream:OUTSTREAM; dol_out_device:$OUT_DEVICE; dol_inout_device:$INOUT_DEVICE; bin_file:BIN_FILE; bin_file_cursor:BIN_FILE_CURSOR; conditionals:CONDITIONALS; err:ERR; file_locs:FILE_LOCS; file_modes:FILE_MODES; flush_cmds:FLUSH_CMDS; out_:OUT; in_:IN; reporter:REPORTER; source:SOURCE; std_chans:STD_CHANS; sys_chans:SYS_CHANS; text_file:TEXT_FILE; text_file_cursor:TEXT_FILE_CURSOR; program_args:PROGRAM_ARGS; pipe:PIPE; --------------NonNumeric; dol_enums:$ENUMS{INT}; dol_enum_set:$ENUM_SET; dol_enum_set2:$ENUM_SET{INT,INT}; address:ADDRESS; answers:ANSWERS; bool:BOOL; name:NAME; phone_no:PHONE_NO; tri_state:TRI_STATE; unit_kinds:UNIT_KINDS; -------------- Numeric --------------- dol_add_ops:$ADD_OPS{INT}; dol_arithmetic:$ARITHMETIC{INT}; dol_cardinal:$CARDINAL{INT}; dol_complex:$COMPLEX{FLT,CPX}; dol_conversion:$CONVERSION{INT}; dol_counts:$COUNTS{INT}; dol_ieee_float:$IEEE_FLOAT{INT}; dol_integer:$INTEGER{INT}; dol_limited:$LIMITED{INT}; dol_log_ops:$LOG_OPS{INT}; dol_nfe:$NFE{INT}; dol_random_gen:$RANDOM_GEN; dol_range:$RANGE{INT}; dol_rational:$RATIONAL{INT}; dol_real:$REAL{INT}; dol_rounding:$ROUNDING{INT}; dol_sequencers:$SEQUENCERS{INT}; dol_signed:$SIGNED{INT}; dol_simple_num:$SIMPLE_NUM{INT}; dol_value_iters:$VALUE_ITERS{INT}; dol_whole_num:$WHOLE_NUM{INT}; dol_zero:$ZERO{INT}; card:CARD; cpx:CPX; cpxd:CPXD; cpx2:CPX{FLT,ANGLE}; field:FIELD; flt:FLT; fltd:FLTD; int:INT; inti:INTI; int_range:INT_RANGE; int_stream:INT_STREAM; monetary_units:MONETARY_UNITS; money:MONEY; num_signs:NUM_SIGNS; random:RANDOM; range:RANGE; rat:RAT; white_gen:WHITE_GEN; ----------- Opsys; dol_external_ref:$EXTERNAL_REF; dol_operating_sys:$OPERATING_SYS; dol_opsys_file_label:$OPSYS_FILE_LABEL; dol_opsys_file_sys:$OPSYS_FILE_SYS; dol_opsys_time:$OPSYS_TIME; ------------ lib; file_sys:FILE_SYS; fudge_filesys:FUDGE_FILESYS; opsys:OPSYS; os_count:OS_COUNT; os_devcode:OS_DEVCODE; os_filesys:OS_FILESYS; os_flabel:OS_FLABEL; os_fstime:OS_FSTIME; os_ident:OS_IDENT; os_sys:OS_SYS; os_time:OS_TIME; os_times:OS_TIMES; os_timeval:OS_TIMEVAL; --------------Converters; date_suffices:DATE_SUFFICES; money_descr:MONEY_DESCR; ------- Syntax; dol_anchored_descr:$ANCHORED_DESCR; dol_anchored_fmt:$ANCHORED_FMT; dol_exact_descr:$EXACT_DESCR; dol_exact_fmt:$EXACT_FMT; dol_fixed_descr:$FIXED_DESCR; dol_fixed_fmt:$FIXED_FMT; dol_flt_descr:$FLT_DESCR; dol_flt_fmt:$FLT_FMT; dol_fmt:$FMT; dol_val_descr:$VAL_DESCR; anchored_descr:ANCHORED_DESCR; conversion_results:CONVERSION_RESULTS; exact_descr:EXACT_DESCR; fixed_descr:FIXED_DESCR; flt_descr:FLT_DESCR; fmt:FMT; ------------ SatherRT; reference:REFERENCE; sather_engine:SATHER_ENGINE; sys:SYS; sys_error:SYS_ERROR; sys_except:SYS_EXCEPT; -------- Strings; dol_cursor:$CURSOR{INT,INT}; dol_fstrings:$FSTRINGS; dol_fstring:$FSTRING{INT}; dol_ftext_string3:$FTEXT_STRING{INT,INT,INT}; dol_ftext_string:$FTEXT_STRING{INT}; dol_search:$SEARCH{INT,INT}; dol_strings:$STRINGS; dol_string3:$STRING{INT,INT,INT}; dol_string:$STRING{INT}; dol_text_cursor:$TEXT_CURSOR{INT,INT}; dol_text_string3:$TEXT_STRING{INT,INT,INT}; dol_text_string:$TEXT_STRING{INT}; cursor_errors:CURSOR_ERRORS; ------------------------ Text ----------- chart:$CHAR{INT}; char:CHAR; env_char:ENV_CHAR; ere_errors:ERE_ERRORS; ere_error_kinds:ERE_ERROR_KINDS; ere_lex_tokens:ERE_LEX_TOKENS; ext_reg_exp:EXT_REG_EXP; frunes:FRUNES; fstr:FSTR; hex_str:HEX_STR; oct_str:OCT_STR; quad_str:QUAD_STR; non_anchored_ere:NON_ANCHORED_ERE; one_char_ere:ONE_CHAR_ERE; one_ere:ONE_ERE; reg_exp:REG_EXP; rune:RUNE; runes:RUNES; runes_cursor:RUNES_CURSOR; str:STR; str_cursor:STR_CURSOR; --fmt_numbers:FMT_NUMBERS; --------- External------- c_char:C_CHAR; c_unsigned_char:C_UNSIGNED_CHAR; c_signed_char: C_SIGNED_CHAR; c_short: C_SHORT; c_int: C_INT; c_long: C_LONG; c_unsigned_short: C_UNSIGNED_SHORT; c_unsigned_int:C_UNSIGNED_INT; c_unsigned_long: C_UNSIGNED_LONG; c_float: C_FLOAT; c_double: C_DOUBLE; c_long_double: C_LONG_DOUBLE; c_ptr: C_PTR; c_char_ptr: C_CHAR_PTR; c_unsigned_char_ptr: C_UNSIGNED_CHAR_PTR; c_signed_char_ptr:C_SIGNED_CHAR_PTR; c_short_ptr: C_SHORT_PTR; c_int_ptr: C_INT_PTR; c_long_ptr: C_LONG_PTR; c_unsigned_short_ptr: C_UNSIGNED_SHORT_PTR; c_unsigned_int_ptr: C_UNSIGNED_INT_PTR; c_unsigned_long_ptr:C_UNSIGNED_LONG_PTR; c_float_ptr: C_FLOAT_PTR; c_double_ptr: C_DOUBLE_PTR; ic_long_double_ptr: C_LONG_DOUBLE_PTR; c_size_t: C_SIZE_T; c_ptrdiff_t: C_PTRDIFF_T; convert_from_c_ptr: CONVERT_FROM_C_PTR; -------------- Math/Graph --g7:WTD_DIGRAPH_ALG{INT,FLT,$LBLD_DIGRAPH{INT,FLT,FLT}}; --g8:RO_DIGRAPH_INCL{INT}; --g9:DIGRAPH_INCL{INT}; -- g10:WTD_DIGRAPH{INT,INT}; -- g11:$LBLD_DIGRAPH{INT,INT,INT}; --g11:LBLD_DIGRAPH_INCL{INT,INT,INT}; --g12:LBLD_DIGRAPH{INT,INT,INT}; --g13:DIGRAPH_ALG{INT,DIGRAPH{INT}}; --g15:UGRAPH_INCL{INT}; --g16:UGRAPH{INT}; ------------------------ GUI ------------------ --DEMO_TEXT::main; --DEMO_LISTBOX::main; --DEMO_MENU::main; --DEMO1::main; --PIZZA_MAIN::main; --ga:TK_LISTBOX; --gb:TK_MENU; --gc:TK_MENUBUTTON; --gd:TK_LABEL; --ge:TK_ENTRY; --gf:TK_TEXT; --gg:TK_TOPLEVEL; --gh:TK_CANVAS; --gi:TK_EVENT; --gh: DEMO_RASTER; --gha:TK_RASTER; --gj:GUI_APP_END; --gl:GUI_UTIL; --si:SOCKET; --sa:STORE; --sr:RESTORE; end; end;