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;