/* Interface to Perl from OCaml.
* Copyright (C) 2003 Merjis Ltd.
- * $Id: perl_c.c,v 1.3 2003-10-12 11:56:26 rich Exp $
+ * $Id: perl_c.c,v 1.6 2003-10-15 16:51:12 rich Exp $
*/
#include <stdio.h>
#define Perl_val(plv) (Voidptr_val (PerlInterpreter, (plv)))
#define Val_sv(sv) (Val_voidptr ((sv)))
#define Sv_val(svv) (Voidptr_val (SV, (svv)))
+#define Val_av(av) (Val_voidptr ((av)))
+#define Av_val(avv) (Voidptr_val (AV, (avv)))
CAMLprim value
perl4caml_init (value unit)
{
+ CAMLparam1 (unit);
PERL_SYS_INIT3 (NULL, NULL, NULL);
return Val_unit;
}
CAMLprim value
+perl4caml_current_interpreter (value unit)
+{
+ CAMLparam1 (unit);
+ if (my_perl == 0) raise_not_found ();
+ return Val_perl (my_perl);
+}
+
+static void
+xs_init (pTHX)
+{
+ char *file = __FILE__;
+ EXTERN_C void boot_DynaLoader (pTHX_ CV* cv);
+
+ newXS("DynaLoader::boot_DynaLoader", boot_DynaLoader, file);
+}
+
+CAMLprim value
perl4caml_create (value optargs, value unit)
{
CAMLparam2 (optargs, unit);
CAMLlocal1 (args);
int argc, i;
char **argv;
- static char *no_args[] = { "", "-e", "0" };
+ static char *no_args[] = { "", "-w", "-e", "0" };
/* Arguments given? */
if (optargs == Val_int (0)) /* "None" */
{
- argc = 3;
+ argc = 4;
argv = no_args;
}
else /* "Some args" where args is a string array. */
my_perl = perl_alloc ();
perl_construct (my_perl);
PL_exit_flags |= PERL_EXIT_DESTRUCT_END;
- perl_parse (my_perl, NULL, argc, argv, NULL);
- perl_run (my_perl);
+ perl_parse (my_perl, xs_init, argc, argv, NULL);
+ /*perl_run (my_perl);*/
CAMLreturn (Val_perl (my_perl));
}
perl_destruct (pl);
perl_free (pl);
+ /* Current interpreter? */
+ if (my_perl == pl) my_perl = 0;
+
CAMLreturn (Val_unit);
}
}
CAMLprim value
-perl4caml_sv_get_undef (value unit)
+perl4caml_sv_undef (value unit)
{
CAMLparam1 (unit);
CAMLreturn (Val_sv (&PL_sv_undef));
}
CAMLprim value
-perl4caml_sv_get_yes (value unit)
+perl4caml_sv_yes (value unit)
{
CAMLparam1 (unit);
CAMLreturn (Val_sv (&PL_sv_yes));
}
CAMLprim value
-perl4caml_sv_get_no (value unit)
+perl4caml_sv_no (value unit)
{
CAMLparam1 (unit);
CAMLreturn (Val_sv (&PL_sv_no));
}
CAMLprim value
+perl4caml_sv_type (value svv)
+{
+ CAMLparam1 (svv);
+ SV *sv = Sv_val (svv);
+
+ switch (SvTYPE (sv))
+ {
+ case SVt_IV: CAMLreturn (Val_int (1));
+ case SVt_NV: CAMLreturn (Val_int (2));
+ case SVt_PV: CAMLreturn (Val_int (3));
+ case SVt_RV: CAMLreturn (Val_int (4));
+ case SVt_PVAV: CAMLreturn (Val_int (5));
+ case SVt_PVHV: CAMLreturn (Val_int (6));
+ case SVt_PVCV: CAMLreturn (Val_int (7));
+ case SVt_PVGV: CAMLreturn (Val_int (8));
+ case SVt_PVMG: CAMLreturn (Val_int (9));
+ default: CAMLreturn (Val_int (0));
+ }
+}
+
+CAMLprim value
+perl4caml_deref (value svv)
+{
+ CAMLparam1 (svv);
+ CAMLlocal1 (rsvv);
+ SV *sv = Sv_val (svv);
+
+ if (SvTYPE (sv) != SVt_RV)
+ invalid_argument ("deref: SV is not a reference");
+ switch (SvTYPE (SvRV (sv))) {
+ case SVt_IV:
+ case SVt_NV:
+ case SVt_PV:
+ case SVt_RV:
+ case SVt_PVMG:
+ break;
+ default:
+ invalid_argument ("deref: SV is not a reference to a scalar");
+ }
+ rsvv = Val_sv (SvRV (sv));
+ CAMLreturn (rsvv);
+}
+
+CAMLprim value
+perl4caml_deref_array (value svv)
+{
+ CAMLparam1 (svv);
+ CAMLlocal1 (ravv);
+ SV *sv = Sv_val (svv);
+
+ if (SvTYPE (sv) != SVt_RV)
+ invalid_argument ("deref_array: SV is not a reference");
+ switch (SvTYPE (SvRV (sv))) {
+ case SVt_PVAV:
+ break;
+ default:
+ invalid_argument ("deref_array: SV is not a reference to an array");
+ }
+ ravv = Val_av ((AV *) SvRV (sv));
+ CAMLreturn (ravv);
+}
+
+CAMLprim value
+perl4caml_av_empty (value unit)
+{
+ CAMLparam1 (unit);
+ AV *av = newAV ();
+ CAMLreturn (Val_av (av));
+}
+
+/* We don't know in advance how long the list will be, which makes this
+ * a little harder.
+ */
+CAMLprim value
+perl4caml_av_of_sv_list (value svlistv)
+{
+ CAMLparam1 (svlistv);
+ CAMLlocal1 (svv);
+ SV *sv, **svlist = 0;
+ int alloc = 0, size = 0;
+ AV *av;
+
+ for (; svlistv != Val_int (0); svlistv = Field (svlistv, 1))
+ {
+ svv = Field (svlistv, 0);
+ sv = Sv_val (svv);
+ if (size >= alloc) {
+ alloc = alloc == 0 ? 1 : alloc * 2;
+ svlist = realloc (svlist, alloc * sizeof (SV *));
+ }
+ svlist[size++] = sv;
+ }
+
+ av = av_make (size, svlist);
+
+ if (alloc > 0) free (svlist); /* Free memory allocated to SV list. */
+
+ CAMLreturn (Val_av (av));
+}
+
+/* XXX av_map would be faster if we also had sv_list_of_av. */
+
+CAMLprim value
+perl4caml_av_push (value avv, value svv)
+{
+ CAMLparam2 (avv, svv);
+ AV *av = Av_val (avv);
+ SV *sv = Sv_val (svv);
+ av_push (av, sv);
+ CAMLreturn (Val_unit);
+}
+
+CAMLprim value
+perl4caml_av_pop (value avv)
+{
+ CAMLparam1 (avv);
+ AV *av = Av_val (avv);
+ SV *sv = av_pop (av);
+ CAMLreturn (Val_sv (sv));
+}
+
+CAMLprim value
+perl4caml_av_unshift (value avv, value svv)
+{
+ CAMLparam2 (avv, svv);
+ AV *av = Av_val (avv);
+ SV *sv = Sv_val (svv);
+ av_unshift (av, 1);
+ SvREFCNT_inc (sv);
+ if (av_store (av, 0, sv) == 0)
+ SvREFCNT_dec (sv);
+ CAMLreturn (Val_unit);
+}
+
+CAMLprim value
+perl4caml_av_shift (value avv)
+{
+ CAMLparam1 (avv);
+ AV *av = Av_val (avv);
+ SV *sv = av_shift (av);
+ CAMLreturn (Val_sv (sv));
+}
+
+CAMLprim value
+perl4caml_av_length (value avv)
+{
+ CAMLparam1 (avv);
+ AV *av = Av_val (avv);
+ CAMLreturn (Val_int (av_len (av) + 1));
+}
+
+CAMLprim value
+perl4caml_av_set (value avv, value i, value svv)
+{
+ CAMLparam3 (avv, i, svv);
+ AV *av = Av_val (avv);
+ SV *sv = Sv_val (svv);
+ SvREFCNT_inc (sv);
+ if (av_store (av, Int_val (i), sv) == 0)
+ SvREFCNT_dec (sv);
+ CAMLreturn (Val_unit);
+}
+
+CAMLprim value
+perl4caml_av_get (value avv, value i)
+{
+ CAMLparam2 (avv, i);
+ AV *av = Av_val (avv);
+ SV **svp = av_fetch (av, Int_val (i), 0);
+ if (svp == 0) invalid_argument ("av_get: index out of bounds");
+ CAMLreturn (Val_sv (*svp));
+}
+
+CAMLprim value
+perl4caml_av_clear (value avv)
+{
+ CAMLparam1 (avv);
+ AV *av = Av_val (avv);
+ av_clear (av);
+ CAMLreturn (Val_unit);
+}
+
+CAMLprim value
+perl4caml_av_undef (value avv)
+{
+ CAMLparam1 (avv);
+ AV *av = Av_val (avv);
+ av_undef (av);
+ CAMLreturn (Val_unit);
+}
+
+CAMLprim value
+perl4caml_av_extend (value avv, value i)
+{
+ CAMLparam2 (avv, i);
+ AV *av = Av_val (avv);
+ av_extend (av, Int_val (i));
+ CAMLreturn (Val_unit);
+}
+
+CAMLprim value
perl4caml_get_sv (value optcreate, value name)
{
CAMLparam2 (optcreate, name);
}
CAMLprim value
+perl4caml_get_av (value optcreate, value name)
+{
+ CAMLparam2 (optcreate, name);
+ CAMLlocal1 (create);
+ AV *av;
+
+ create = unoption (optcreate, Val_false);
+ av = get_av (String_val (name), create == Val_true ? TRUE : FALSE);
+ if (av == NULL) raise_not_found ();
+
+ CAMLreturn (Val_av (av));
+}
+
+static inline void
+check_perl_failure ()
+{
+ SV *errsv = get_sv ("@", TRUE);
+
+ if (SvTRUE (errsv)) /* Equivalent of $@ in Perl. */
+ {
+ CAMLlocal1 (errv);
+ STRLEN n_a;
+ const char *err = SvPV (errsv, n_a);
+
+ errv = copy_string (err);
+
+ raise_with_arg (*caml_named_value ("perl4caml_perl_failure"), errv);
+ }
+}
+
+CAMLprim value
perl4caml_call (value optsv, value optfnname, value arglist)
{
CAMLparam3 (optsv, optfnname, arglist);
FREETMPS;
LEAVE;
- /* Died with an error?
- * XXX Actually this doesn't work for some reason.
- */
- if (SvTRUE (ERRSV))
- {
- STRLEN n_a;
- const char *err = SvPV (ERRSV, n_a); /* Equivalent of $@ in Perl. */
+ check_perl_failure ();
- errv = copy_string (err);
-
- raise_with_arg (*caml_named_value ("perl4caml_perl_failure"), errv);
- }
- else
- {
- svv = Val_sv (sv);
- CAMLreturn (svv);
- }
+ svv = Val_sv (sv);
+ CAMLreturn (svv);
}
CAMLprim value
FREETMPS;
LEAVE;
- /* Died with an error?
- * XXX Actually this doesn't work for some reason.
- */
- if (SvTRUE (ERRSV))
- {
- STRLEN n_a;
- const char *err = SvPV (ERRSV, n_a); /* Equivalent of $@ in Perl. */
+ check_perl_failure ();
- errv = copy_string (err);
-
- raise_with_arg (*caml_named_value ("perl4caml_perl_failure"), errv);
- }
- else
- CAMLreturn (list);
+ CAMLreturn (list);
}
CAMLprim value
FREETMPS;
LEAVE;
- /* Died with an error?
- * XXX Actually this doesn't work for some reason.
- */
- if (SvTRUE (ERRSV))
- {
- STRLEN n_a;
- const char *err = SvPV (ERRSV, n_a); /* Equivalent of $@ in Perl. */
+ check_perl_failure ();
- errv = copy_string (err);
-
- raise_with_arg (*caml_named_value ("perl4caml_perl_failure"), errv);
- }
- else
- CAMLreturn (Val_unit);
+ CAMLreturn (Val_unit);
}
CAMLprim value
SV *sv;
CAMLlocal2 (errv, svv);
- ENTER;
- SAVETMPS;
-
- PUSHMARK (SP);
- eval_pv (String_val (expr), G_SCALAR);
-
- SPAGAIN;
- sv = newSVsv (POPs);
- PUTBACK;
- FREETMPS;
- LEAVE;
-
- /* Died with an error?
- * XXX Actually this doesn't work for some reason.
- */
- if (SvTRUE (ERRSV))
- {
- STRLEN n_a;
- const char *err = SvPV (ERRSV, n_a); /* Equivalent of $@ in Perl. */
+ sv = eval_pv (String_val (expr), G_SCALAR);
- errv = copy_string (err);
+ check_perl_failure ();
- raise_with_arg (*caml_named_value ("perl4caml_perl_failure"), errv);
- }
- else
- {
- svv = Val_sv (sv);
- CAMLreturn (svv);
- }
+ svv = Val_sv (sv);
+ CAMLreturn (svv);
}
CAMLprim value
FREETMPS;
LEAVE;
- /* Died with an error?
- * XXX Actually this doesn't work for some reason.
- */
- if (SvTRUE (ERRSV))
- {
- STRLEN n_a;
- const char *err = SvPV (ERRSV, n_a); /* Equivalent of $@ in Perl. */
-
- errv = copy_string (err);
+ check_perl_failure ();
- raise_with_arg (*caml_named_value ("perl4caml_perl_failure"), errv);
- }
- else
- {
- svv = Val_sv (sv);
- CAMLreturn (svv);
- }
+ svv = Val_sv (sv);
+ CAMLreturn (svv);
}
CAMLprim value
FREETMPS;
LEAVE;
- /* Died with an error?
- * XXX Actually this doesn't work for some reason.
- */
- if (SvTRUE (ERRSV))
- {
- STRLEN n_a;
- const char *err = SvPV (ERRSV, n_a); /* Equivalent of $@ in Perl. */
-
- errv = copy_string (err);
+ check_perl_failure ();
- raise_with_arg (*caml_named_value ("perl4caml_perl_failure"), errv);
- }
- else
- CAMLreturn (list);
+ CAMLreturn (list);
}
CAMLprim value
FREETMPS;
LEAVE;
- /* Died with an error?
- * XXX Actually this doesn't work for some reason.
- */
- if (SvTRUE (ERRSV))
- {
- STRLEN n_a;
- const char *err = SvPV (ERRSV, n_a); /* Equivalent of $@ in Perl. */
-
- errv = copy_string (err);
+ check_perl_failure ();
- raise_with_arg (*caml_named_value ("perl4caml_perl_failure"), errv);
- }
- else
- CAMLreturn (Val_unit);
+ CAMLreturn (Val_unit);
}
CAMLprim value
FREETMPS;
LEAVE;
- /* Died with an error?
- * XXX Actually this doesn't work for some reason.
- */
- if (SvTRUE (ERRSV))
- {
- STRLEN n_a;
- const char *err = SvPV (ERRSV, n_a); /* Equivalent of $@ in Perl. */
+ check_perl_failure ();
- errv = copy_string (err);
-
- raise_with_arg (*caml_named_value ("perl4caml_perl_failure"), errv);
- }
- else
- {
- svv = Val_sv (sv);
- CAMLreturn (svv);
- }
+ svv = Val_sv (sv);
+ CAMLreturn (svv);
}
CAMLprim value
FREETMPS;
LEAVE;
- /* Died with an error?
- * XXX Actually this doesn't work for some reason.
- */
- if (SvTRUE (ERRSV))
- {
- STRLEN n_a;
- const char *err = SvPV (ERRSV, n_a); /* Equivalent of $@ in Perl. */
-
- errv = copy_string (err);
+ check_perl_failure ();
- raise_with_arg (*caml_named_value ("perl4caml_perl_failure"), errv);
- }
- else
- CAMLreturn (list);
+ CAMLreturn (list);
}
CAMLprim value
FREETMPS;
LEAVE;
- /* Died with an error?
- * XXX Actually this doesn't work for some reason.
- */
- if (SvTRUE (ERRSV))
- {
- STRLEN n_a;
- const char *err = SvPV (ERRSV, n_a); /* Equivalent of $@ in Perl. */
-
- errv = copy_string (err);
+ check_perl_failure ();
- raise_with_arg (*caml_named_value ("perl4caml_perl_failure"), errv);
- }
- else
- CAMLreturn (Val_unit);
+ CAMLreturn (Val_unit);
}
static value