[Rd] How can I catch errors thrown from c via the Rcpperror()function?
William Dunlap
wdunlap at tibco.com
Thu Apr 16 21:57:10 CEST 2009
A possible fix for this is to filter the 'unsused' list before
printing the error message and replacing the promises with
their PRCODE expressions.
Index: match.c
===================================================================
--- match.c (revision 48329)
+++ match.c (working copy)
@@ -355,9 +355,28 @@
}
if(last != R_NilValue) {
+ /* show bad arguments in call without evaluating them */
+ SEXP unusedForError = R_NilValue, last = R_NilValue ;
+ for(b=unused ; b!=R_NilValue ; b=CDR(b)) {
+ SEXP tagB = TAG(b) ;
+ SEXP carB = CAR(b) ;
+ if (TYPEOF(carB)==PROMSXP) {
+ carB = PRCODE(carB) ;
+ }
+ if (last==R_NilValue) {
+ PROTECT(last = CONS(carB, R_NilValue));
+ SET_TAG(last, tagB);
+ unusedForError = last ;
+ } else {
+ SETCDR(last, CONS(carB, R_NilValue));
+ last = CDR(last) ;
+ SET_TAG(last, tagB);
+ }
+ }
errorcall(R_GlobalContext->call,
_("unused argument(s) %s"),
- CHAR(STRING_ELT(deparse1line(unused, 0), 0)) + 4);
+ CHAR(STRING_ELT(deparse1line(unusedForError, 0),
0)) + 4);
+ /* '+4' is to remove 'list' from
'list(badTag1,...)' */
}
}
UNPROTECT(1);
E.g.,
> f<-function(x,y)x+y
> f(print(1),y=print(2),x=print(3),stop("oops"))
Error in f(print(1), y = print(2), x = print(3), stop("oops")) :
unused argument(s) (print(1), stop("oops"))
> f(print(1),y=print(2),x=print(3),z=stop("oops"))
Error in f(print(1), y = print(2), x = print(3), z = stop("oops")) :
unused argument(s) (print(1), z = stop("oops"))
> f(print(1),y=print(2),z=print(3),x=stop("oops"))
Error in f(print(1), y = print(2), z = print(3), x = stop("oops")) :
unused argument(s) (print(1), z = print(3))
These calls used to give:
> f(print(1),y=print(2),x=print(3),stop("oops"))
[1] 1
Error in f(print(1), y = print(2), x = print(3), stop("oops")) : oops
> f(print(1),y=print(2),x=print(3),z=stop("oops"))
[1] 1
Error in f(print(1), y = print(2), x = print(3), z = stop("oops")) :
oops
> f(print(1),y=print(2),z=print(3),x=stop("oops"))
[1] 1
[1] 3
Error in f(print(1), y = print(2), z = print(3), x = stop("oops")) :
unused argument(s) (1, z = 3)
Bill Dunlap
TIBCO Software Inc - Spotfire Division
wdunlap tibco.com
> -----Original Message-----
> From: r-devel-bounces at r-project.org
> [mailto:r-devel-bounces at r-project.org] On Behalf Of William Dunlap
> Sent: Thursday, April 16, 2009 10:05 AM
> To: luke at stat.uiowa.edu
> Cc: r-devel at r-project.org; Dirk Eddelbuettel
> Subject: Re: [Rd] How can I catch errors thrown from c via
> the Rcpperror()function?
>
> > -----Original Message-----
> > From: luke at stat.uiowa.edu [mailto:luke at stat.uiowa.edu]
> > Sent: Thursday, April 16, 2009 9:27 AM
> > To: William Dunlap
> > Cc: Dirk Eddelbuettel; Kieran O'Neill; r-devel at r-project.org
> > Subject: Re: [Rd] How can I catch errors thrown from c via
> > the Rcpperror() function?
> >
> > Something seems amiss in the process of generating the errormessage:
> >
> > > f <- function(x){}
> > > f(y = print("foo"))
> > [1] "foo"
> > Error in f(y = print("foo")) : unused argument(s) (y = "foo")
> >
> > The argument seems to be getting evaluated and its value is
> > being used.
> >
> > luke
>
> It is in match.c, where errorcall() calls deparse1line(unused,0)
> to get the name (and value) of the argument:
>
> 357 if(last != R_NilValue) {
> 358 errorcall(R_GlobalContext->call,
> 359 _("unused argument(s) %s"),
> 360 CHAR(STRING_ELT(deparse1line(unused, 0),
> 0)) + 4);
>
> Before deparse1line is called unused is (in my example)
> (gdb) call Rf_PrintValue(unused)
> $badTag
> <promise: 0x9aff4d4>
> and deparse1line must be evaluating the promise. Just showing the
> bad tag's name would suffice in the error message, if it is a problem
> jury rigging deparse1line to avoid the evaluation in this case.
>
> >
> > On Thu, 16 Apr 2009, William Dunlap wrote:
> >
> > > Note that Kieren's example labelled the first
> > > argument to try() with an improper label res30=,
> > > not expr= (or is that a mailer turning something
> > > into '30='?). If it really is an improper argument
> > > tag then this could be showing a buglet in reporting
> > > on wrongly named arguments:
> > >
> > > > invisible(rm(x,y))
> > > > x<-try(silent=TRUE, badTag=stop("Oops"))
> > > Error in try(silent = TRUE, badTag = stop("Oops")) : Oops
> > > > x
> > > Error: object "x" not found
> > > > y<-try(silent=TRUE, expr=stop("Oops"))
> > > > y
> > > [1] "Error in try(silent = TRUE, expr = stop(\"Oops\")) : Oops\n"
> > > attr(,"class")
> > > [1] "try-error"
> > >
> > > In the first example I would expect an error message like
> > > unused argument(s) (badTag = stop("Oops"))
> > > but it is appropriate that try() would abort if it
> > > is called in a bad way. Perhaps it is trying to make that
> > > error message and that triggered the evaluation of the argument,
> > > as in
> > > > grep(mypattern=stop("Oops"), "wxyz")
> > > Error in grep(mypattern = stop("Oops"), "wxyz") : Oops
> > > where one might expect an error message regarding the wrongly
> > > named argument, as in:
> > > > grep(mypattern="x", "wxyz")
> > > Error in grep(mypattern = "x", "wxyz") :
> > > unused argument(s) (mypattern = "x")
> > >
> > > Bill Dunlap
> > > TIBCO Software Inc - Spotfire Division
> > > wdunlap tibco.com
> > >
> > >> -----Original Message-----
> > >> From: r-devel-bounces at r-project.org
> > >> [mailto:r-devel-bounces at r-project.org] On Behalf Of Dirk
> > Eddelbuettel
> > >> Sent: Wednesday, April 15, 2009 7:14 PM
> > >> To: Kieran O'Neill
> > >> Cc: r-devel at r-project.org
> > >> Subject: Re: [Rd] How can I catch errors thrown from c via
> > >> the Rcpperror() function?
> > >>
> > >>
> > >> Kieran,
> > >>
> > >> On 15 April 2009 at 18:03, Kieran O'Neill wrote:
> > >> | I am using the flowClust package from BioConductor, which
> > >> is largely
> > >> | implemented in c. For some of my data, the package
> > >> occasionally (and
> > >> | quite stochastically) encounters a particular condition
> > >> which halts its
> > >> | operation. At this point, it calls the error() function
> > >> defined by Rcpp,
> > >> | and halts.
> > >> |
> > >> | What I would like to be able to do is to catch the error
> > >> thrown, and
> > >> | retry the operation a few times before giving up.
> > >> |
> > >> | However, when I wrap the call to flowClust in try() or
> > >> tryCatch(), the
> > >> | error seems to completely bypass them:
> > >> |
> > >> | Examples:
> > >> |
> > >> | 1. This is a trivial example just to test the try()
> function, and
> > >> | correctly assigns the error to the variable x:
> > >> |
> > >> | > x <- try(stop(simpleError('blah')))
> > >> | Error : blah
> > >> | > x
> > >> | [1] "Error : blah\n"
> > >> | attr(,"class")
> > >> | [1] "try-error"
> > >> |
> > >> | 2. This is an example using flowClust (using real
> data, set up to
> > >> | guarantee that the error is thrown):
> > >> |
> > >> | > x <- try(res30 = flowClust(tFrame, K=30, B=1000,
> > >> varNames=c('CD4',
> > >> | 'CD8','KI67', 'CD45RO', 'CD28', 'CD57', 'CCR5', 'CD19',
> > >> 'CD27', 'CCR7',
> > >> | 'CD127')))
> > >> | Error in flowClust(tFrame, K = 30, B = 1000, varNames =
> > >> c("CD4", "CD8", :
> > >> |
> > >> | The covariance matrix is near singular!
> > >> | Try running the program with a different initial
> > >> configuration or less
> > >> | clusters
> > >> | > x
> > >> | Error: object "x" not found
> > >> |
> > >> |
> > >> | The c code throwing the error is as follows (from flowClust.c):
> > >> |
> > >> | if(status!=0)
> > >> | {
> > >> | error("\n The covariance matrix is near singular! \n
> > >> Try running
> > >> | the program with a different initial configuration or
> > less clusters
> > >> | \n"); }
> > >> |
> > >> |
> > >> | I looked up the error() function in Writing R Extensions
> > >> and it states:
> > >> | "The basic error handling routines are the equivalents
> > of stop and
> > >> | warning in R code, and use the same interface."
> > >> |
> > >> | Yet, it seems that they are not caught by R's error
> > handling code.
> > >> |
> > >> | So:
> > >> |
> > >> | 1. Is this the general case (that Rcpp error()s are not
> > >> handled by try()
> > >> | and related methods in R)? (I'm sure this could be tested
> > >> with a trivial
> > >> | example, but I'm not yet familiar enough with wrapping c
> > >> code in R to do
> > >> | so.)
> > >>
> > >> Allow me to take the narrow view here as Rcpp maintainer.
> > >> What you can do
> > >> with Rcpp is to provide a C++ layer of try/catch around inner
> > >> code which may
> > >> throw C++ exception. This will usually be caught, and (as
> > >> shown in the Rcpp
> > >> docs and examples) we can pass the exception message back
> > up to R as a
> > >> regular error message. This is very useful as it gives you
> > >> control back at
> > >> the R prompt rather than just going belly-up.
> > >>
> > >> Now, R's try() and tryCatch() are completely separate and not
> > >> tied into the
> > >> exception mechanism Rcpp deals with, which is at a much
> > lower level.
> > >>
> > >> Likewise, you may be out of luck with flowClust if it is C
> > >> program. You
> > >> could try to add a C++ layer that tried to catch error and
> > >> allows you do
> > >> continue your loops. I did something like that 15 years
> ago in my
> > >> dissertation research to ensure I survived the occassional
> > >> numerical error
> > >> from Fortran during longer Monte Carlo runs,
> > >>
> > >> | 2. If so, what is the correct way to handle them in R?
> > >>
> > >> Tricky. See 1. :)
> > >>
> > >> | 3. If not, do you have any suggestions as to what may
> have caused
> > >> | flowClust to behave in this way? (So that I can contact
> > the package
> > >> | maintainers and report the bug.)
> > >>
> > >> You could always contact them anyway and ask for advice.
> > >>
> > >> Hth, Dirk
> > >>
> > >> --
> > >> Three out of two people have difficulties with fractions.
> > >>
> > >> ______________________________________________
> > >> R-devel at r-project.org mailing list
> > >> https://stat.ethz.ch/mailman/listinfo/r-devel
> > >>
> > >
> > > ______________________________________________
> > > R-devel at r-project.org mailing list
> > > https://stat.ethz.ch/mailman/listinfo/r-devel
> > >
> >
> > --
> > Luke Tierney
> > Chair, Statistics and Actuarial Science
> > Ralph E. Wareham Professor of Mathematical Sciences
> > University of Iowa Phone: 319-335-3386
> > Department of Statistics and Fax: 319-335-3017
> > Actuarial Science
> > 241 Schaeffer Hall email: luke at stat.uiowa.edu
> > Iowa City, IA 52242 WWW: http://www.stat.uiowa.edu
> >
>
> ______________________________________________
> R-devel at r-project.org mailing list
> https://stat.ethz.ch/mailman/listinfo/r-devel
>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: match.c.diff.txt
URL: <https://stat.ethz.ch/pipermail/r-devel/attachments/20090416/3ee32a5f/attachment.txt>
More information about the R-devel
mailing list