| File | date-format.str |
| Author | Martin Bravenboer <martin@mbravenboer.org> |
| Since | unknown |
This module offers strategies to format a ComponentTime to a String.
You have to specify the output with a list of patterns. Thepatterns 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 thepatterns 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 mightchange the type of pattern-to rules. It's wise to use the date-format strategy as long as possible: this strategy is stableand will use the default locale in the future.- This modules doesn't parse a String containing patterns like Java's SimpleDateFormat. This simplifies the implementationand 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."
| General | |
| Lines of code | 147 |
| Stratego | |
| Module number | 1 (100% documented) |
| Constructor number | 0 |
| Overlay number | 0 |
| Strategy number | 1 (0% documented) |
| Rule number | 62 (0% documented) |
| DynamicRule number | 0 |
Strategy summary |
||
| date-pattern-to-string | n/a | date-format.str |
Rule summary |
||
| date-format | n/a | date-format.str |
| date-pattern-to-int | n/a | date-format.str |
| date-pattern-to-int | n/a | date-format.str |
| date-pattern-to-int | n/a | date-format.str |
| date-pattern-to-int | n/a | date-format.str |
| date-pattern-to-int | n/a | date-format.str |
| date-pattern-to-int | n/a | date-format.str |
| date-pattern-to-int | n/a | date-format.str |
| date-pattern-to-int | n/a | date-format.str |
| date-pattern-to-int | n/a | date-format.str |
| date-pattern-to-int | n/a | date-format.str |
| date-pattern-to-int | n/a | date-format.str |
| date-pattern-to-int | n/a | date-format.str |
| date-pattern-to-int | n/a | date-format.str |
| date-pattern-to-int | n/a | date-format.str |
| date-pattern-to-int | n/a | date-format.str |
| date-pattern-to-int | n/a | date-format.str |
| date-pattern-to-int | n/a | date-format.str |
| date-pattern-to-string | n/a | date-format.str |
| date-pattern-to-string | n/a | date-format.str |
| date-pattern-to-string | n/a | date-format.str |
| date-pattern-to-string | n/a | date-format.str |
| date-pattern-to-string | n/a | date-format.str |
| date-pattern-to-string | n/a | date-format.str |
| day-of-week2abbr | n/a | date-format.str |
| day-of-week2abbr | n/a | date-format.str |
| day-of-week2abbr | n/a | date-format.str |
| day-of-week2abbr | n/a | date-format.str |
| day-of-week2abbr | n/a | date-format.str |
| day-of-week2abbr | n/a | date-format.str |
| day-of-week2abbr | n/a | date-format.str |
| day-of-week2text | n/a | date-format.str |
| day-of-week2text | n/a | date-format.str |
| day-of-week2text | n/a | date-format.str |
| day-of-week2text | n/a | date-format.str |
| day-of-week2text | n/a | date-format.str |
| day-of-week2text | n/a | date-format.str |
| day-of-week2text | n/a | date-format.str |
| month2abbr | n/a | date-format.str |
| month2abbr | n/a | date-format.str |
| month2abbr | n/a | date-format.str |
| month2abbr | n/a | date-format.str |
| month2abbr | n/a | date-format.str |
| month2abbr | n/a | date-format.str |
| month2abbr | n/a | date-format.str |
| month2abbr | n/a | date-format.str |
| month2abbr | n/a | date-format.str |
| month2abbr | n/a | date-format.str |
| month2abbr | n/a | date-format.str |
| month2abbr | n/a | date-format.str |
| month2text | n/a | date-format.str |
| month2text | n/a | date-format.str |
| month2text | n/a | date-format.str |
| month2text | n/a | date-format.str |
| month2text | n/a | date-format.str |
| month2text | n/a | date-format.str |
| month2text | n/a | date-format.str |
| month2text | n/a | date-format.str |
| month2text | n/a | date-format.str |
| month2text | n/a | date-format.str |
| month2text | n/a | date-format.str |
| month2text | n/a | date-format.str |