
RCS file: RCS/GPL.txt,v
Working file: GPL.txt
head: 1.1
branch:
locks: strict
	maoyam: 1.1
access list:
symbolic names:
keyword substitution: kv
total revisions: 1;	selected revisions: 1
description:
GNU General Public License
----------------------------
revision 1.1	locked by: maoyam;
date: 2005/10/18 17:08:54;  author: maoyam;  state: Exp;
Initial revision
=============================================================================

RCS file: RCS/Makefile,v
Working file: Makefile
head: 1.4
branch:
locks: strict
	maoyam: 1.4
access list:
symbolic names:
keyword substitution: kv
total revisions: 4;	selected revisions: 4
description:
Makefile for buffer_checker.c, test.c, TM_sum.c and UTM.c.
----------------------------
revision 1.4	locked by: maoyam;
date: 2006/12/09 15:06:33;  author: maoyam;  state: Exp;  lines: +8 -2
ADD: splint target for using splint that is static checker for C.
----------------------------
revision 1.3
date: 2006/04/08 14:42:11;  author: maoyam;  state: Exp;  lines: +2 -2
Mod: CFLAGS added -Werror -pedantic
----------------------------
revision 1.2
date: 2005/06/04 14:33:39;  author: maoyam;  state: Exp;  lines: +2 -2
Changed: checked usign 'gcc -Wall'.
----------------------------
revision 1.1
date: 2004/12/30 16:03:32;  author: maoyam;  state: Exp;
Initial revision
=============================================================================

RCS file: RCS/TM_sum.c,v
Working file: TM_sum.c
head: 1.9
branch:
locks: strict
	maoyam: 1.9
access list:
symbolic names:
keyword substitution: kv
total revisions: 9;	selected revisions: 9
description:
FIX-BUFG: 2004/11/22 several bug s are fixed. this  This code is a test program for
`buffer_checker.c' library, and this program works asa a Turing-machinehine that
can sums m up the positive integers.
----------------------------
revision 1.9	locked by: maoyam;
date: 2006/04/08 14:42:38;  author: maoyam;  state: Exp;  lines: +9 -6
Mod: printf format (type casting).
----------------------------
revision 1.8
date: 2005/10/18 17:09:05;  author: maoyam;  state: Exp;  lines: +2 -1
MOD: initialize errno before strtoxxxx().
----------------------------
revision 1.7
date: 2005/06/04 14:33:13;  author: maoyam;  state: Exp;  lines: +14 -13
Changed: checked usign 'gcc -Wall'.
----------------------------
revision 1.6
date: 2004/12/30 15:55:43;  author: maoyam;  state: Exp;  lines: +7 -4
MOD 20041231: fldszp member addedis added, and check it isn't NULL.
----------------------------
revision 1.5
date: 2004/12/23 06:24:35;  author: maoyam;  state: Exp;  lines: +19 -21
MOD 100 20041223; changed somethings according to `buffer_checker>h.h' definitions.
----------------------------
revision 1.4
date: 2004/12/19 14:05:14;  author: maoyam;  state: Exp;  lines: +7 -7
MOD 20041219 `defines[]' according to `Buffer_checker_RE' macro in buffer_checker.h.
----------------------------
revision 1.3
date: 2004/11/23 08:58:47;  author: maoyam;  state: Exp;  lines: +16 -1
MODADD: 20041123: added invoking `dump_buffer_checker_regex_preg_list()' new API.
----------------------------
revision 1.2
date: 2004/11/22 21:43:45;  author: maoyam;  state: Exp;  lines: +49 -67
MOD: changed ILLEGAL_CALLBACKS_ARGS macro like a void function.
    added `exit_code' varable in main().
----------------------------
revision 1.1
date: 2004/11/22 14:22:24;  author: maoyam;  state: Exp;
Initial revision
=============================================================================

RCS file: RCS/TM_sum.ksh,v
Working file: TM_sum.ksh
head: 1.3
branch:
locks: strict
	maoyam: 1.3
access list:
symbolic names:
keyword substitution: kv
total revisions: 3;	selected revisions: 3
description:
Test program ksh script for `UTM.c'
----------------------------
revision 1.3	locked by: maoyam;
date: 2005/10/18 17:09:23;  author: maoyam;  state: Exp;  lines: +2 -2
MOD: checked using "aspell check".
----------------------------
revision 1.2
date: 2004/12/05 12:14:08;  author: maoyam;  state: Exp;  lines: +20 -1
Added UTM programm describe comments.
----------------------------
revision 1.1
date: 2004/12/04 17:27:39;  author: maoyam;  state: Exp;
Initial revision
=============================================================================

RCS file: RCS/UTM.c,v
Working file: UTM.c
head: 1.12
branch:
locks: strict
	maoyam: 1.12
access list:
symbolic names:
keyword substitution: kv
total revisions: 12;	selected revisions: 12
description:
Test program for `buffer_checker.c'. A Universal Turing's Machine `UTM'.
----------------------------
revision 1.12	locked by: maoyam;
date: 2006/04/08 14:42:55;  author: maoyam;  state: Exp;  lines: +25 -14
Mod: printf format (type casting)
----------------------------
revision 1.11
date: 2005/10/18 17:09:43;  author: maoyam;  state: Exp;  lines: +5 -2
MOD: c   initialize errno before strtoxxx().
----------------------------
revision 1.10
date: 2005/06/04 14:33:25;  author: maoyam;  state: Exp;  lines: +19 -18
Changed: checked using 'gcc -Wall'.
----------------------------
revision 1.9
date: 2005/06/04 13:51:12;  author: maoyam;  state: Exp;  lines: +9 -9
Change: typos of comments   using 'aspell'.
----------------------------
revision 1.8
date: 2004/12/30 15:57:20;  author: maoyam;  state: Exp;  lines: +6 -4
MOD 20041231: Add added fldszp member, and check it isn't NULL.
----------------------------
revision 1.7
date: 2004/12/23 06:25:37;  author: maoyam;  state: Exp;  lines: +70 -71
MOD 20041223; changed somethings according to `buffer_cheche`buffer_checker.h' modified definitions.
----------------------------
revision 1.6
date: 2004/12/19 14:13:41;  author: maoyam;  state: Exp;  lines: +11 -11
MOD 20041219 usage message.
----------------------------
revision 1.5
date: 2004/12/18 12:36:25;  author: maoyam;  state: Exp;  lines: +11 -7
MOSMOD 20041218 changed `matched_cb/unmatched_cb' member to `clause_cbs[3]' array.
ADDed 20041218 set `clause_cbs[2]' NULL.
----------------------------
revision 1.4
date: 2004/12/14 10:12:21;  author: maoyam;  state: Exp;  lines: +20 -3
Added UTM_Detected_Interfinite_Loop (= -1) erorror ode, and noop(), wrt0(), wrt1() functions are added `infinite loop detection' facility.
----------------------------
revision 1.3
date: 2004/12/11 08:26:49;  author: maoyam;  state: Exp;  lines: +23 -2
ADD 20041211: static function `dump_utm_func_list()' for debugging.
----------------------------
revision 1.2
date: 2004/12/09 22:39:34;  author: maoyam;  state: Exp;  lines: +31 -16
Added read_begin_of_list() and read_end_of_list() static functions.
----------------------------
revision 1.1
date: 2004/12/04 17:28:06;  author: maoyam;  state: Exp;
Initial revision
=============================================================================

RCS file: RCS/UTM.usage.txt,v
Working file: UTM.usage.txt
head: 1.2
branch:
locks: strict
	maoyam: 1.2
access list:
symbolic names:
keyword substitution: kv
total revisions: 2;	selected revisions: 2
description:
Usage messages of UTM.c (Univarsal Turing's Machine).
----------------------------
revision 1.2	locked by: maoyam;
date: 2005/10/18 17:10:03;  author: maoyam;  state: Exp;  lines: +1 -1
MOD: checked using "aspell check"
----------------------------
revision 1.1
date: 2004/12/30 16:04:21;  author: maoyam;  state: Exp;
Initial revision
=============================================================================

RCS file: RCS/UTM_infinite_loop.ksh,v
Working file: UTM_infinite_loop.ksh
head: 1.1
branch:
locks: strict
	maoyam: 1.1
access list:
symbolic names:
keyword substitution: kv
total revisions: 1;	selected revisions: 1
description:
A test program lK-shell script for UTM.c; UTM inifinite loop programs.
----------------------------
revision 1.1	locked by: maoyam;
date: 2004/12/23 06:13:35;  author: maoyam;  state: Exp;
Initial revision
=============================================================================

RCS file: RCS/buffer_checker.c,v
Working file: buffer_checker.c
head: 1.14
branch:
locks: strict
	maoyam: 1.14
access list:
symbolic names:
keyword substitution: kv
total revisions: 14;	selected revisions: 14
description:
Re-check RCS repository. buffer_checker.c is a library taht works to check the C-string field buffer, using regex(3C).
----------------------------
revision 1.14	locked by: maoyam;
date: 2006/12/09 15:07:09;  author: maoyam;  state: Exp;  lines: +14 -16
MOD: refined for using split.
----------------------------
revision 1.13
date: 2006/04/08 14:43:08;  author: maoyam;  state: Exp;  lines: +2 -2
Mod: printf format (type casting)
----------------------------
revision 1.12
date: 2005/06/04 14:32:29;  author: maoyam;  state: Exp;  lines: +3 -4
Changed: checked using 'gcc -Wall'.
----------------------------
revision 1.11
date: 2005/06/04 13:50:29;  author: maoyam;  state: Exp;  lines: +5 -5
Changed: typos of comments usign 'aspell'.
----------------------------
revision 1.10
date: 2004/12/30 15:58:19;  author: maoyam;  state: Exp;  lines: +11 -5
MOD 20041231: deleted check fldsz equals or least thanegative.
ADD 20041231: fldsz that user callback returns isn't zero.
----------------------------
revision 1.9
date: 2004/12/23 06:14:35;  author: maoyam;  state: Exp;  lines: +18 -18
MOD 20041223; init_buffer_checker(); check the `regex' and `cond_cb' are NULL.
MOD 20041223; index variables and members are typed signed/unsigned size type (ssize_t/size_t).
----------------------------
revision 1.8
date: 2004/12/19 14:06:02;  author: maoyam;  state: Exp;  lines: +41 -25
ADD 20041219 in exec_buffer_cjchecker(); clause_cbs_idx and regex_result auto-variables.
MOD 20041219 in exec_buffer_checker(); how to invoke `regexec(3C)'.
ADD 20041219 in exec_buffer_checker(); returns `BCR_Out_of_range_cond_cb_returns'.
ADD 20041219 in exec_buffer_checker(); invoking `clause_cbs[clause_cbs_idx]' callbacks.
----------------------------
revision 1.7
date: 2004/12/18 12:29:55;  author: maoyam;  state: Exp;  lines: +11 -5
ADDed 20041218 exec_buffer_checker(): test the `defines[i].{preg,cond_cb}' is NULL. returns BCR_Broken_Configuration.
MOD 20041218 exec_buffer_checker(): Buffer_checker_t member changes `matched_cb/unmatched_cb' to `clause_cbs[]' func-pointer array.
                                                                   the callback array has 3 elements.
----------------------------
revision 1.6
date: 2004/12/11 08:27:56;  author: maoyam;  state: Exp;  lines: +11 -4
BUG-FIX 20041211: bexec_buffer_checker(): in execution loop, increase `i' loop counter according to `result' from user callbacks.
----------------------------
revision 1.5
date: 2004/12/09 22:56:06;  author: maoyam;  state: Exp;  lines: +3 -4
Modified init_buffer_checker() API function; eliminated BCD_R_Field_*too_ a BCR_ code.
----------------------------
revision 1.4
date: 2004/11/23 08:50:34;  author: maoyam;  state: Exp;  lines: +144 -18
MAD:20041123: minimize invokationon of `regcomp(3)'; added struct regex_preg_list_t and struct regex_preg_pair_t.
    added several utility functions `compile_regex()' and `find_pair()'.
    added a static structure `regex_preg_list' that is typed `regex_preg_list_t'.
    added an API `dump_buffer_checker_regex_preg_list()' for debbuging.
    changed `init_buffer_checker()' API that invokes `compile_regex()'.
    changed `finish_buffer_checker()' API that release `regex_preg_list' structure.
----------------------------
revision 1.3
date: 2004/11/22 22:06:09;  author: maoyam;  state: Exp;  lines: +5 -4
MOD:2004/11/23: Fix a bug : `init_buffer_checker()' argu: argument of malloc(3M)
    is changed sizeof a pointer to aizeof `regex_t'.
----------------------------
revision 1.2
date: 2004/11/22 14:25:40;  author: maoyam;  state: Exp;  lines: +14 -6
BUG-FIXED: 2004/11/22: MOD: 2004/11/122: changed prototype of `user_get_address' function (added user_cntxt argument)
    changed result type of users's callbacks from BCRuffer_checher_result_t to int.
----------------------------
revision 1.1
date: 2004/11/21 08:21:05;  author: maoyam;  state: Exp;
Initial revision
=============================================================================

RCS file: RCS/buffer_checker.h,v
Working file: buffer_checker.h
head: 1.10
branch:
locks: strict
	maoyam: 1.10
access list:
symbolic names:
keyword substitution: kv
total revisions: 10;	selected revisions: 10
description:
Re-check RCS repository. buffer_checker.h is a header that defines the API-s and the structures for `buffer_checker.c' library.
----------------------------
revision 1.10	locked by: maoyam;
date: 2005/06/04 14:32:50;  author: maoyam;  state: Exp;  lines: +6 -4
Changed: checked 'gcc -Wall'.
----------------------------
revision 1.9
date: 2005/06/04 13:50:45;  author: maoyam;  state: Exp;  lines: +13 -13
Change: typos of comments usign 'aspell'.
----------------------------
revision 1.8
date: 2004/12/30 16:01:52;  author: maoyam;  state: Exp;  lines: +14 -7
ADD 20041231: BCR_Field_size_ids_illegal in Buffer_checker_result_yt
MOD 20041231: deleted fld_sizeof macro.
ADD 20041231: Buffer_checker_COND macro
----------------------------
revision 1.7
date: 2004/12/23 06:18:11;  author: maoyam;  state: Exp;  lines: +6 -6
MOD 20041223; user_get_fld_addr callback is changed returns-value type `char *' to `void *'.
MOD 20041223; cond_cb callbak is changed return-value `int't to `ssize_t', and changed fldp type of `fldp' arg `from `char *' to `void *'.
MOD 20041223; `clause_cbs[]' callbacks changes `fldp' arg type from `char *' to `void *'.
MOD 20041223; `vinifdh `finish_buffer_checker()' changes defines_cnt arg type from `size_t' to `ssize_t'.
----------------------------
revision 1.6
date: 2004/12/19 14:10:04;  author: maoyam;  state: Exp;  lines: +21 -4
ADD 20041219 `BCR_Out_of_range_cond_cb_returns' to `Buffer_checker_result_t'.
ADD 20041219 `BC`Buffer_checker_regex_result_t' type definition.
MOD 20041219 `cond_cb' callback's protoyptoprotoy prototype (added `regex_result' arg).
MOD 20041219 `Buffer_Checker_RE' macro (add `MATCGHED_CB' and `UNMATCHED_CB' args).
MOD 20041219 `Buffer_checker_ANY_MATCH_RE' macro (added `MATCHED_CB' arg).
----------------------------
revision 1.5
date: 2004/12/18 12:33:33;  author: maoyam;  state: Exp;  lines: +26 -22
ADDed 20041218 BCR_Broken_Configuration.
MOD 20041218 `Buffer_checker_RE' macro sets NULL cond_cb member.
DEL 20041218 `matched_cb' and `unmatched_cb' from `Buffer_checker_t'.
ADDed 20041218 `clause_cbs[3]' callback function pointer array, instead of `matched_cb/unmatched_cb' members.
----------------------------
revision 1.4
date: 2004/12/09 22:57:34;  author: maoyam;  state: Exp;  lines: +1 -3
Modified BCR_ReBuffer_checker_result_t; eliminated an BCR_ code.
----------------------------
revision 1.3
date: 2004/11/23 08:56:41;  author: maoyam;  state: Exp;  lines: +6 -1
ASADD:20041123: added `dump_buffer_checker_regex_preg_list()" API.
----------------------------
revision 1.2
date: 2004/11/22 14:29:12;  author: maoyam;  state: Exp;  lines: +60 -52
MOD: 2004/11/22: changed prototype of users's address get function (added user_cntxt argument).
    changed result type of user's callbacks from Buffer_checker_result_t to int.
----------------------------
revision 1.1
date: 2004/11/21 08:22:33;  author: maoyam;  state: Exp;
Initial revision
=============================================================================

RCS file: RCS/index.html,v
Working file: index.html
head: 1.3
branch:
locks: strict
	maoyam: 1.3
access list:
symbolic names:
keyword substitution: kv
total revisions: 3;	selected revisions: 3
description:
Explaining buffer_checker.c API (HTML)
----------------------------
revision 1.3	locked by: maoyam;
date: 2005/06/26 06:45:39;  author: maoyam;  state: Exp;  lines: +55 -129
Add: machine translateion link.
----------------------------
revision 1.2
date: 2005/06/26 06:33:44;  author: maoyam;  state: Exp;  lines: +3 -1
Add: link to machine-translate site.
----------------------------
revision 1.1
date: 2004/12/30 16:03:57;  author: maoyam;  state: Exp;
Initial revision
=============================================================================

RCS file: RCS/test.c,v
Working file: test.c
head: 1.9
branch:
locks: strict
	maoyam: 1.9
access list:
symbolic names:
keyword substitution: kv
total revisions: 9;	selected revisions: 9
description:
Re-check RCS repository. test.c is a test program gfor `buffer_checker.c' library.
----------------------------
revision 1.9	locked by: maoyam;
date: 2006/04/08 14:43:22;  author: maoyam;  state: Exp;  lines: +4 -4
Mod: printf format (type casting)
----------------------------
revision 1.8
date: 2005/06/04 14:33:01;  author: maoyam;  state: Exp;  lines: +15 -48
Changed: checked usign 'gcc -Wall'.
----------------------------
revision 1.7
date: 2005/06/04 13:50:58;  author: maoyam;  state: Exp;  lines: +9 -7
Change: typos of comments usign 'aspell'.
----------------------------
revision 1.6
date: 2004/12/30 16:00:32;  author: maoyam;  state: Exp;  lines: +20 -16
MOD 20041231: fldszp member added.
MOD 20041231: Buffer_checker_COND macro aplyed.
----------------------------
revision 1.5
date: 2004/12/23 06:22:17;  author: maoyam;  state: Exp;  lines: +137 -14
rcsMOD 20041223; changed somethoings according to `buffer_checker.h' degfinitions.
ADD 20041223; `check_int_field()' c`check_field()' and `get_int_addr()' callbacks, for testing `cond_cb' callback mechanism.
----------------------------
revision 1.4
date: 2004/12/19 14:04:00;  author: maoyam;  state: Exp;  lines: +15 -12
MOD 20041219 `defines[]' according to changed `Buffer_checker_RE' macro in buffer_checker.h.
----------------------------
revision 1.3
date: 2004/11/23 08:57:24;  author: maoyam;  state: Exp;  lines: +19 -3
MOD:20041123: added matched() and unmatched() prints `preg' member saddess.
.    added invokaing `dump_buffer_checker_regex_preg_list()' new API.
----------------------------
revision 1.2
date: 2004/11/22 14:30:16;  author: maoyam;  state: Exp;  lines: +44 -42
MOD: 2003/11/22MOD: 2004/11/22 : changed result type of matched and unmatched callbacks, from
    Buffer_checker_result_t to int.
----------------------------
revision 1.1
date: 2004/11/21 08:23:27;  author: maoyam;  state: Exp;
Initial revision
=============================================================================
