Right, I forgot this is also the case for ExpandedString. I guess for this single case where I need it I will go with the work-around as it will work then also once you change it to Scala.
> On 11 May 2015, at 12:49, Romain Reuillon <[email protected]> wrote: > > Hi, > > the expanded string contains groovy code. I think you might find what you > need in the groovy doc. Following you sugestion on github, I think we should > migrate it to scala at some point, it will be better not having to learn / > mix several languages. > > Romain > > Le 11/05/2015 13:05, Andreas Schuh a écrit : >> Hi, >> >> I was wondering if it is possible to use printf style format specifications >> in an ExpandedString? For example to have a fixed width integer value in a >> file name with leading zeros if necessary? A workaround would be a separate >> ScalaTask such as: >> >> val int = Val[Int] >> val str = Val[String] >> val intToStr = ScalaTask(“”"val str = f”$int%4d” “””) set (inputs += int, >> outputs += (int, str)) >> >> Just wondering if I can save this extra task on my end. >> >> Andreas >> _______________________________________________ >> OpenMOLE-users mailing list >> [email protected] >> http://fedex.iscpif.fr/mailman/listinfo/openmole-users > > _______________________________________________ OpenMOLE-users mailing list [email protected] http://fedex.iscpif.fr/mailman/listinfo/openmole-users
