Re: [plexil-support] Output of time in Date format?

[Dalal, M. (ARC-TI)[S. G. T. I. (S. Inc.)] <mic...@na...>]

Catherine,

Unfortunately, Date is not actually a type in the Plexil exec.  Dates and Durations are compiled into unit-less real numbers, which is all the exec knows about them.

You can process the printed real number with the 'date' command, something like

  date --date="@secs"

where 'secs' is the printed integer (seconds since Unix epoch).  Man 'date' for more information.

Mike



Hello,
           How do I output time in the Date format? Here is what I tried:

Date Lookup time;

Date startTime;

pprint("startTime:", startTime);

             I still got the startTime printed out as a Real number in the Unix time format.

Catherine
------------------------------------------------------------------------------
_______________________________________________
plexil-support mailing list
ple...@li...<mailto:ple...@li...>
https://lists.sourceforge.net/lists/listinfo/plexil-support