xjsonize

contrib/sparverius/xjsonize/.depend

@@ -0,0 +1,36 @@
+BUILD/json_sats.o : 
+BUILD/basics_sats.o : SATS/json.sats
+BUILD/stamp0_sats.o : SATS/json.sats
+BUILD/symbol_sats.o : SATS/json.sats
+BUILD/label0_sats.o : SATS/json.sats
+BUILD/locinfo_sats.o : SATS/json.sats
+BUILD/lexing_sats.o : SATS/json.sats
+BUILD/filpath_sats.o : SATS/json.sats
+BUILD/dynexp0_sats.o : SATS/json.sats
+BUILD/staexp0_sats.o : SATS/json.sats
+BUILD/dynexp1_sats.o : SATS/json.sats
+BUILD/staexp1_sats.o : SATS/json.sats
+BUILD/statyp2_sats.o : SATS/json.sats
+BUILD/staexp2_sats.o : SATS/json.sats
+BUILD/dynexp2_sats.o : SATS/json.sats
+BUILD/dynexp3_sats.o : SATS/json.sats
+BUILD/fixity_sats.o : SATS/json.sats
+BUILD/jsonize0_sats.o : 
+BUILD/json_dats.o : SATS/json.sats
+BUILD/basics_dats.o : HATS/libxatsopt.hats SATS/json.sats DATS/json.dats SATS/basics.sats
+BUILD/stamp0_dats.o : SATS/stamp0.sats SATS/json.sats DATS/json.dats
+BUILD/symbol_dats.o : HATS/libxatsopt.hats SATS/json.sats DATS/json.dats SATS/symbol.sats
+BUILD/label0_dats.o : HATS/libxatsopt.hats SATS/json.sats DATS/json.dats SATS/json.sats DATS/json.dats SATS/label0.sats SATS/symbol.sats
+BUILD/locinfo_dats.o : HATS/libxatsopt.hats SATS/json.sats DATS/json.dats SATS/locinfo.sats
+BUILD/lexing_token_dats.o : HATS/libxatsopt.hats SATS/json.sats DATS/json.dats SATS/lexing.sats SATS/locinfo.sats SATS/basics.sats SATS/symbol.sats
+BUILD/filpath_dats.o : HATS/libxatsopt.hats SATS/json.sats DATS/json.dats SATS/filpath.sats
+BUILD/staexp0_dats.o : HATS/libxatsopt.hats SATS/json.sats DATS/json.dats SATS/json.sats DATS/json.dats SATS/dynexp0.sats SATS/staexp0.sats SATS/label0.sats SATS/lexing.sats
+BUILD/dynexp0_dats.o : HATS/libxatsopt.hats SATS/json.sats DATS/json.dats SATS/dynexp0.sats SATS/staexp0.sats SATS/lexing.sats
+BUILD/staexp1_dats.o : HATS/libxatsopt.hats SATS/json.sats DATS/json.dats SATS/json.sats DATS/json.dats SATS/dynexp0.sats SATS/staexp0.sats SATS/label0.sats SATS/lexing.sats SATS/locinfo.sats SATS/staexp1.sats DATS/staexp0.dats SATS/symbol.sats
+BUILD/dynexp1_dats.o : SATS/json.sats DATS/json.dats SATS/json.sats DATS/json.dats SATS/label0.sats SATS/lexing.sats SATS/filpath.sats SATS/staexp0.sats SATS/dynexp0.sats SATS/staexp1.sats SATS/dynexp1.sats DATS/dynexp0.dats
+BUILD/statyp2_dats.o : HATS/libxatsopt.hats SATS/json.sats DATS/json.dats SATS/staexp2.sats SATS/statyp2.sats SATS/symbol.sats SATS/locinfo.sats SATS/stamp0.sats SATS/label0.sats
+BUILD/staexp2_dats.o : HATS/libxatsopt.hats SATS/json.sats DATS/json.dats SATS/json.sats DATS/json.dats SATS/basics.sats SATS/dynexp0.sats SATS/staexp0.sats SATS/label0.sats SATS/lexing.sats SATS/staexp1.sats SATS/staexp2.sats SATS/symbol.sats SATS/locinfo.sats SATS/stamp0.sats SATS/label0.sats
+BUILD/dynexp2_dats.o : HATS/libxatsopt.hats SATS/json.sats DATS/json.dats SATS/json.sats DATS/json.dats SATS/lexing.sats SATS/locinfo.sats SATS/label0.sats SATS/filpath.sats SATS/dynexp0.sats SATS/staexp0.sats SATS/dynexp1.sats SATS/dynexp2.sats SATS/staexp2.sats SATS/symbol.sats SATS/stamp0.sats
+BUILD/dynexp3_dats.o : HATS/libxatsopt.hats SATS/json.sats DATS/json.dats SATS/json.sats DATS/json.dats SATS/lexing.sats SATS/label0.sats SATS/filpath.sats SATS/staexp0.sats SATS/dynexp0.sats SATS/staexp1.sats SATS/dynexp1.sats SATS/statyp2.sats SATS/staexp2.sats SATS/dynexp2.sats SATS/dynexp3.sats
+BUILD/jsonize0_dats.o : HATS/libxatsopt.hats SATS/json.sats SATS/basics.sats SATS/fixity.sats SATS/label0.sats SATS/locinfo.sats SATS/lexing.sats SATS/stamp0.sats SATS/symbol.sats SATS/filpath.sats SATS/staexp0.sats SATS/dynexp0.sats SATS/staexp1.sats SATS/dynexp1.sats SATS/statyp2.sats SATS/staexp2.sats SATS/dynexp2.sats SATS/dynexp3.sats DATS/json.dats DATS/basics.dats DATS/label0.dats DATS/locinfo.dats DATS/lexing_token.dats DATS/stamp0.dats DATS/symbol.dats DATS/filpath.dats DATS/staexp0.dats DATS/dynexp0.dats DATS/staexp1.dats DATS/dynexp1.dats DATS/statyp2.dats DATS/staexp2.dats DATS/dynexp2.dats DATS/dynexp3.dats DATS/json.dats SATS/jsonize0.sats
+BUILD/xjsonize_dats.o : SATS/json.sats SATS/basics.sats SATS/fixity.sats SATS/label0.sats SATS/locinfo.sats SATS/lexing.sats SATS/stamp0.sats SATS/symbol.sats SATS/filpath.sats SATS/staexp0.sats SATS/dynexp0.sats SATS/staexp1.sats SATS/dynexp1.sats SATS/statyp2.sats SATS/staexp2.sats SATS/dynexp2.sats SATS/dynexp3.sats SATS/jsonize0.sats

contrib/sparverius/xjsonize/BUILD/xats/CATS/lexbuf.cats

@@ -0,0 +1,89 @@
+/***********************************************************************/
+/*                                                                     */
+/*                         Applied Type System                         */
+/*                                                                     */
+/***********************************************************************/
+
+/*
+** ATS/Xanadu - Unleashing the Potential of Types!
+** Copyright (C) 2018 Hongwei Xi, ATS Trustful Software, Inc.
+** All rights reserved
+**
+** ATS is free software;  you can  redistribute it and/or modify it under
+** the terms of  the GNU GENERAL PUBLIC LICENSE (GPL) as published by the
+** Free Software Foundation; either version 3, or (at  your  option)  any
+** later version.
+** 
+** ATS 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 the  GNU General Public License
+** for more details.
+** 
+** You  should  have  received  a  copy of the GNU General Public License
+** along  with  ATS;  see the  file COPYING.  If not, please write to the
+** Free Software Foundation,  51 Franklin Street, Fifth Floor, Boston, MA
+** 02110-1301, USA.
+*/
+
+/* ****** ****** */
+//
+// Author: Hongwei Xi
+// Start Time: May, 2018
+// Authoremail: [email protected]
+//
+/* ****** ****** */
+
+#ifndef XANADU_SRCGEN_CATS_LEXBUF
+#define XANADU_SRCGEN_CATS_LEXBUF
+
+/* ****** ****** */
+
+/*
+typedef
+lexbuf_tflat =
+$extype_struct
+"xats_lexbuf_struct" of
+{
+  base_ntot= int
+, base_nrow= int
+, base_ncol= int
+(*
+, char= int
+*)
+, cbuf= string
+//
+, begp= ptr
+, endp= ptr, curp= ptr
+//
+, cbhead= cblist, cbtail= cblist
+//
+} (* end of [lexbuf] *)
+*/
+
+typedef struct {
+//
+  atstype_int ntot ; // char number
+  atstype_int nrow ; // line number
+  atstype_int ncol ; // line offset
+//
+/*
+  atstype_int char ; // ungetc
+*/
+  atstype_ptr cbuf ; // prefix
+//
+  atstype_ptr begp ; // start
+  atstype_ptr endp ; // finish
+  atstype_ptr curp ; // current
+//
+  atstype_ptr cbhead ; // 1st cblock
+  atstype_ptr cbtail ; // rest of cblocks
+//
+} xats_lexbuf_struct ;
+
+/* ****** ****** */
+
+#endif // end of [XANADU_SRCGEN_CATS_LEXBUF]
+
+/* ****** ****** */
+
+/* end of [xats_lexbuf.cats] */

contrib/sparverius/xjsonize/BUILD/xats/CATS/locinfo.cats

@@ -0,0 +1,56 @@
+/***********************************************************************/
+/*                                                                     */
+/*                         Applied Type System                         */
+/*                                                                     */
+/***********************************************************************/
+
+/*
+** ATS/Xanadu - Unleashing the Potential of Types!
+** Copyright (C) 2018 Hongwei Xi, ATS Trustful Software, Inc.
+** All rights reserved
+**
+** ATS is free software;  you can  redistribute it and/or modify it under
+** the terms of  the GNU GENERAL PUBLIC LICENSE (GPL) as published by the
+** Free Software Foundation; either version 3, or (at  your  option)  any
+** later version.
+** 
+** ATS 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 the  GNU General Public License
+** for more details.
+** 
+** You  should  have  received  a  copy of the GNU General Public License
+** along  with  ATS;  see the  file COPYING.  If not, please write to the
+** Free Software Foundation,  51 Franklin Street, Fifth Floor, Boston, MA
+** 02110-1301, USA.
+*/
+
+/* ****** ****** */
+//
+// Author: Hongwei Xi
+// Start Time: May, 2018
+// Authoremail: [email protected]
+//
+/* ****** ****** */
+
+#ifndef \
+ATS3_SRCGEN_CATS_XATS_LOCINFO
+#define \
+ATS3_SRCGEN_CATS_XATS_LOCINFO
+
+/* ****** ****** */
+
+typedef struct {
+  atstype_int ntot ; // char number
+  atstype_int nrow ; // line number
+  atstype_int ncol ; // line offset
+} xats_position_struct ;
+
+/* ****** ****** */
+//
+#endif // end if [ifndef]
+// [ATS3_SRCGEN_CATS_XATS_LOCINFO]
+//
+/* ****** ****** */
+
+/* end of [xats_locinfo.cats] */

contrib/sparverius/xjsonize/BUILD/xats/CATS/parsing.cats

@@ -0,0 +1,70 @@
+/***********************************************************************/
+/*                                                                     */
+/*                         Applied Type System                         */
+/*                                                                     */
+/***********************************************************************/
+
+/*
+** ATS/Xanadu - Unleashing the Potential of Types!
+** Copyright (C) 2018 Hongwei Xi, ATS Trustful Software, Inc.
+** All rights reserved
+**
+** ATS is free software;  you can  redistribute it and/or modify it under
+** the terms of  the GNU GENERAL PUBLIC LICENSE (GPL) as published by the
+** Free Software Foundation; either version 3, or (at  your  option)  any
+** later version.
+** 
+** ATS 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 the  GNU General Public License
+** for more details.
+** 
+** You  should  have  received  a  copy of the GNU General Public License
+** along  with  ATS;  see the  file COPYING.  If not, please write to the
+** Free Software Foundation,  51 Franklin Street, Fifth Floor, Boston, MA
+** 02110-1301, USA.
+*/
+
+/* ****** ****** */
+//
+// Author: Hongwei Xi
+// Start Time: June, 2018
+// Authoremail: [email protected]
+//
+/* ****** ****** */
+//
+#ifndef \
+ATS3_SRCGEN_CATS_XATS_PARSING
+#define \
+ATS3_SRCGEN_CATS_XATS_PARSING
+//
+/* ****** ****** */
+
+/*
+typedef
+tokbuf_tflat =
+$extype_struct
+"xats_tokbuf_struct" of
+{
+  token *begp;
+  token *endp;
+  token *curp;
+} (* end of [tokbuf] *)
+*/
+
+typedef struct {
+//
+  atstype_ptr begp ; // start
+  atstype_ptr endp ; // finish
+  atstype_ptr curp ; // current
+//
+} xats_tokbuf_struct ;
+
+/* ****** ****** */
+//
+#endif // end if [ifndef]
+// [ATS3_SRCGEN_CATS_XATS_PARSING]
+//
+/* ****** ****** */
+
+/* end of [xats_parsing.cats] */

contrib/sparverius/xjsonize/CATS/lexbuf.cats

@@ -0,0 +1,89 @@
+/***********************************************************************/
+/*                                                                     */
+/*                         Applied Type System                         */
+/*                                                                     */
+/***********************************************************************/
+
+/*
+** ATS/Xanadu - Unleashing the Potential of Types!
+** Copyright (C) 2018 Hongwei Xi, ATS Trustful Software, Inc.
+** All rights reserved
+**
+** ATS is free software;  you can  redistribute it and/or modify it under
+** the terms of  the GNU GENERAL PUBLIC LICENSE (GPL) as published by the
+** Free Software Foundation; either version 3, or (at  your  option)  any
+** later version.
+** 
+** ATS 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 the  GNU General Public License
+** for more details.
+** 
+** You  should  have  received  a  copy of the GNU General Public License
+** along  with  ATS;  see the  file COPYING.  If not, please write to the
+** Free Software Foundation,  51 Franklin Street, Fifth Floor, Boston, MA
+** 02110-1301, USA.
+*/
+
+/* ****** ****** */
+//
+// Author: Hongwei Xi
+// Start Time: May, 2018
+// Authoremail: [email protected]
+//
+/* ****** ****** */
+
+#ifndef XANADU_SRCGEN_CATS_LEXBUF
+#define XANADU_SRCGEN_CATS_LEXBUF
+
+/* ****** ****** */
+
+/*
+typedef
+lexbuf_tflat =
+$extype_struct
+"xats_lexbuf_struct" of
+{
+  base_ntot= int
+, base_nrow= int
+, base_ncol= int
+(*
+, char= int
+*)
+, cbuf= string
+//
+, begp= ptr
+, endp= ptr, curp= ptr
+//
+, cbhead= cblist, cbtail= cblist
+//
+} (* end of [lexbuf] *)
+*/
+
+typedef struct {
+//
+  atstype_int ntot ; // char number
+  atstype_int nrow ; // line number
+  atstype_int ncol ; // line offset
+//
+/*
+  atstype_int char ; // ungetc
+*/
+  atstype_ptr cbuf ; // prefix
+//
+  atstype_ptr begp ; // start
+  atstype_ptr endp ; // finish
+  atstype_ptr curp ; // current
+//
+  atstype_ptr cbhead ; // 1st cblock
+  atstype_ptr cbtail ; // rest of cblocks
+//
+} xats_lexbuf_struct ;
+
+/* ****** ****** */
+
+#endif // end of [XANADU_SRCGEN_CATS_LEXBUF]
+
+/* ****** ****** */
+
+/* end of [xats_lexbuf.cats] */