Gecko [ www.jdcpatala.org ]

Name	Size	Permission
carray.i	3.09 KB	-rw-r--r--
class.swg	1.75 KB	-rw-r--r--
cstring.i	5.93 KB	-rw-r--r--
director.swg	2.96 KB	-rw-r--r--
ocaml.i	1.28 KB	-rw-r--r--
ocaml.swg	8.35 KB	-rw-r--r--
ocamlkw.swg	1.16 KB	-rw-r--r--
ocamlrun.swg	14.59 KB	-rw-r--r--
ocamlrundec.swg	6.29 KB	-rw-r--r--
preamble.swg	473 B	-rw-r--r--
std_common.i	597 B	-rw-r--r--
std_complex.i	1.51 KB	-rw-r--r--
std_deque.i	722 B	-rw-r--r--
std_except.i	1.4 KB	-rw-r--r--
std_list.i	4.33 KB	-rw-r--r--
std_map.i	2.54 KB	-rw-r--r--
std_pair.i	773 B	-rw-r--r--
std_string.i	3.08 KB	-rw-r--r--
std_vector.i	2.98 KB	-rw-r--r--
stl.i	291 B	-rw-r--r--
swig.ml	4.74 KB	-rw-r--r--
swig.mli	1.72 KB	-rw-r--r--
swigp4.ml	6.5 KB	-rw-r--r--
typecheck.i	5.21 KB	-rw-r--r--
typemaps.i	1.99 KB	-rw-r--r--
typeregister.swg	55 B	-rw-r--r--

Code Editor : swigp4.ml

open Camlp4
  
module Id : Sig.Id = 
struct 
  let name = "swigp4" 
  let version = "0.1" 
end 
  
module Make (Syntax : Sig.Camlp4Syntax) = 
struct 
  open Sig 
  include Syntax

let _loc = Loc.ghost
  let lap x y = x :: y
  let c_ify e loc = 	  
    match e with
        <:expr< $int:_$ >> -> <:expr< (C_int $e$) >>
      | <:expr< $str:_$ >> -> <:expr< (C_string $e$) >>
      | <:expr< $chr:_$ >> -> <:expr< (C_char $e$) >>
      | <:expr< $flo:_$ >> -> <:expr< (C_double $e$) >>
      | <:expr< True    >> -> <:expr< (C_bool $e$) >>
      | <:expr< False   >> -> <:expr< (C_bool $e$) >>
      | _ -> <:expr< $e$ >>
        let mk_list args loc f =
          let rec mk_list_inner args loc f =
            match args with
	              [] -> <:expr< [] >>
              | x :: xs ->
	              (let loc = Ast.loc_of_expr x in
	               <:expr< [ ($f x _loc$) ] @ ($mk_list_inner xs loc f$) >>) in
          match args with
	            [] -> <:expr< (Obj.magic C_void) >>
            | [ a ] -> <:expr< (Obj.magic $f a _loc$) >>
            | _ -> <:expr< (Obj.magic (C_list ($mk_list_inner args loc f$))) >> ;;
  
  EXTEND Gram
    GLOBAL: expr;

expr: LEVEL "top"
    [ [ e1 = expr ; "'" ; "[" ; e2 = expr ; "]" ->
	  <:expr< (invoke $e1$) "[]" (C_list [ $c_ify e2 _loc$ ]) >>
      | e1 = expr ; "->" ; l = LIDENT ; "(" ; args = LIST0 (expr LEVEL "simple") SEP "," ; ")" ->
	    <:expr< (invoke $e1$) $str:l$ ($mk_list args _loc c_ify$) >>
      | e1 = expr ; "->" ; u = UIDENT ; "(" ; args = LIST0 (expr LEVEL "simple") SEP "," ; ")" ->
	    <:expr< (invoke $e1$) $str:u$ ($mk_list args _loc c_ify$) >>
      | e1 = expr ; "->" ; s = expr LEVEL "simple" ; "(" ; args = LIST0 (expr LEVEL "simple") SEP "," ; ")" ->
	    <:expr< (invoke $e1$) $s$ ($mk_list args _loc c_ify$) >>
      | e1 = expr ; "'" ; "." ; "(" ; args = LIST0 (expr LEVEL "simple") SEP "," ; ")" ->
	    <:expr< (invoke $e1$) "()" ($mk_list args _loc c_ify$) >>
      | e1 = expr ; "'" ; "->" ; l = LIDENT ; "(" ; args = LIST0 (expr LEVEL "simple") SEP "," ; ")" ->
	    <:expr< (invoke ((invoke $e1$) "->" C_void)) $str:l$ ($mk_list args _loc c_ify$) >>
      | e1 = expr ; "'" ; "->" ; u = UIDENT ; "(" ; args = LIST0 (expr LEVEL "simple") SEP "," ; ")" ->
	    <:expr< (invoke ((invoke $e1$) "->" C_void)) $str:u$ ($mk_list args _loc c_ify$) >>
      | e1 = expr ; "'" ; "->" ; s = expr LEVEL "simple" ; "(" ; args = LIST0 (expr LEVEL "simple") SEP "," ; ")" ->
	    <:expr< (invoke ((invoke $e1$) "->" C_void)) $s$ ($mk_list args _loc c_ify$) >>
      | e1 = expr ; "'" ; "++" ->
	    <:expr< (invoke $e1$) "++" C_void >>
      | e1 = expr ; "'" ; "--" ->
	    <:expr< (invoke $e1$) "--" C_void >>
      | e1 = expr ; "'" ; "-" ; e2 = expr ->
	    <:expr< (invoke $e1$) "-" (C_list [ $c_ify e2 _loc$ ]) >>
      | e1 = expr ; "'" ; "+" ; e2 = expr -> <:expr< (invoke $e1$) "+" (C_list [ $c_ify e2 _loc$ ])  >> 
      | e1 = expr ; "'" ; "*" ; e2 = expr -> <:expr< (invoke $e1$) "*" (C_list [ $c_ify e2 _loc$ ])  >> 
      | "'" ; "&" ; e1 = expr -> 
	    <:expr< (invoke $e1$) "&" C_void >> 
      | "'" ; "!" ; e1 = expr ->
	    <:expr< (invoke $e1$) "!" C_void >>
      | "'" ; "~" ; e1 = expr ->
	    <:expr< (invoke $e1$) "~" C_void >>
      | e1 = expr ; "'" ; "/" ; e2 = expr ->
	    <:expr< (invoke $e1$) "/" (C_list [ $c_ify e2 _loc$ ]) >>
      | e1 = expr ; "'" ; "%" ; e2 = expr ->
	    <:expr< (invoke $e1$) "%" (C_list [ $c_ify e2 _loc$ ]) >>
      | e1 = expr ; "'" ; "lsl" ; e2 = expr ->
	    <:expr< (invoke $e1$) ("<" ^ "<") (C_list [ $c_ify e2 _loc$ ]) >>
      | e1 = expr ; "'" ; "lsr" ; e2 = expr ->
	    <:expr< (invoke $e1$) (">" ^ ">") (C_list [ $c_ify e2 _loc$ ]) >>
      | e1 = expr ; "'" ; "<" ; e2 = expr ->
	    <:expr< (invoke $e1$) "<" (C_list [ $c_ify e2 _loc$ ]) >>
      | e1 = expr ; "'" ; "<=" ; e2 = expr ->
	    <:expr< (invoke $e1$) "<=" (C_list [ $c_ify e2 _loc$ ]) >>
      | e1 = expr ; "'" ; ">" ; e2 = expr ->
	    <:expr< (invoke $e1$) ">" (C_list [ $c_ify e2 _loc$ ]) >>
      | e1 = expr ; "'" ; ">=" ; e2 = expr ->
	    <:expr< (invoke $e1$) ">=" (C_list [ $c_ify e2 _loc$ ]) >>
      | e1 = expr ; "'" ; "==" ; e2 = expr ->
	    <:expr< (invoke $e1$) "==" (C_list [ $c_ify e2 _loc$ ]) >>
      | e1 = expr ; "'" ; "!=" ; e2 = expr ->
	    <:expr< (invoke $e1$) "!=" (C_list [ $c_ify e2 _loc$ ]) >>
      | e1 = expr ; "'" ; "&" ; e2 = expr ->
	    <:expr< (invoke $e1$) "&" (C_list [ $c_ify e2 _loc$ ]) >>
      | e1 = expr ; "'" ; "^" ; e2 = expr ->
	    <:expr< (invoke $e1$) "^" (C_list [ $c_ify e2 _loc$ ]) >>
      | e1 = expr ; "'" ; "|" ; e2 = expr ->
	    <:expr< (invoke $e1$) "|" (C_list [ $c_ify e2 _loc$ ]) >>
      | e1 = expr ; "'" ; "&&" ; e2 = expr ->
	    <:expr< (invoke $e1$) "&&" (C_list [ $c_ify e2 _loc$ ]) >>
      | e1 = expr ; "'" ; "||" ; e2 = expr ->
	    <:expr< (invoke $e1$) "||" (C_list [ $c_ify e2 _loc$ ]) >>
      | e1 = expr ; "'" ; "=" ; e2 = expr ->
	    <:expr< (invoke $e1$) "=" (C_list [ $c_ify e2 _loc$ ]) >>
      | e1 = expr ; "'" ; "+=" ; e2 = expr ->
	    <:expr< (invoke $e1$) "+=" (C_list [ $c_ify e2 _loc$ ]) >>
      | e1 = expr ; "'" ; "-=" ; e2 = expr ->
	    <:expr< (invoke $e1$) "-=" (C_list [ $c_ify e2 _loc$ ]) >>
      | e1 = expr ; "'" ; "*=" ; e2 = expr ->
	    <:expr< (invoke $e1$) "*=" (C_list [ $c_ify e2 _loc$ ]) >>
      | e1 = expr ; "'" ; "/=" ; e2 = expr ->
	    <:expr< (invoke $e1$) "/=" (C_list [ $c_ify e2 _loc$ ]) >>
      | e1 = expr ; "'" ; "%=" ; e2 = expr ->
	    <:expr< (invoke $e1$) "%=" (C_list [ $c_ify e2 _loc$ ]) >>
      | e1 = expr ; "'" ; "lsl" ; "=" ; e2 = expr ->
	    <:expr< (invoke $e1$) ("<" ^ "<=") (C_list [ $c_ify e2 _loc$ ]) >>
      | e1 = expr ; "'" ; "lsr" ; "=" ; e2 = expr ->
	    <:expr< (invoke $e1$) (">" ^ ">=") (C_list [ $c_ify e2 _loc$ ]) >>
      | e1 = expr ; "'" ; "&=" ; e2 = expr ->
	    <:expr< (invoke $e1$) "&=" (C_list [ $c_ify e2 _loc$ ]) >>
      | e1 = expr ; "'" ; "^=" ; e2 = expr ->
	    <:expr< (invoke $e1$) "^=" (C_list [ $c_ify e2 _loc$ ]) >> 
      | e1 = expr ; "'" ; "|=" ; e2 = expr ->
	    <:expr< (invoke $e1$) "|=" (C_list [ $c_ify e2 _loc$ ]) >>
      | "'" ; e = expr -> c_ify e _loc
      | c = expr ; "as" ; id = LIDENT -> <:expr< $lid:"get_" ^ id$ $c$ >>
      | c = expr ; "to" ; id = LIDENT -> <:expr< $uid:"C_" ^ id$ $c$ >>
      | "`" ; "`" ; l = LIDENT -> <:expr< C_enum `$lid:l$ >>
      | "`" ; "`" ; u = UIDENT -> <:expr< C_enum `$uid:u$ >>
      | f = expr ; "'" ; "(" ; args = LIST0 (expr LEVEL "simple") SEP "," ; ")" -> 
	    <:expr< $f$ ($mk_list args _loc c_ify$) >>
      ] ] ;
    END ;;
  
end 
  
module M = Register.OCamlSyntaxExtension(Id)(Make)

${this.title}

Code Editor : swigp4.ml