XDoc Search Logo
Xdoc:
Stratego Library API Documentation
util
Link to XDoc
Description: No additional information available
Modules:
date-format This module offers strategies to format a ComponentTime to a String. You have to specify the output with a list of patterns. The patterns are the ones used in the SimpleDateFormat class of Java. Not all of the patterns are however implemented in this module. Supported patterns: yyyy, yy, M, MM, MMM, MMMM, d, dd, D, DD, EEE, EEEE, a, HH, kk, hh, KK, mm, ss. For documentation of the meaning of the patterns please visit: http://java.sun.com/j2se/1.4.1/docs/api/java/text/SimpleDateFormat.html Limitations (and future work): - No way of using i18n and locales. Introduction of locales might change the type of pattern-to rules. It's wise to use the date-format strategy as long as possible: this strategy is stable and will use the default locale in the future. - This modules doesn't parse a String containing patterns like Java's SimpleDateFormat. This simplifies the implementation and is not a big deal because of the list syntax in Stratego. Examples: - ["EEEE","","dd","","MMMM","","yyyy"]"Thursday 02 January 2003"- ["EEE","","HH",":","mm",":","ss"]"Thu 21:35:30"- ["EEE","","hh",":","mm",":","ss","","a"]"Thu 09:38:46 p.m."
log Strategies for logging
sunit sunit: Unit Testing Framework.
time The primitive \verb|dtime| returns the CPU time in seconds since the last call to \verb|dtime|. Can be used to time strategies.