date-format

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."




Statistics


General
Lines of code 170
Stratego
Module number 1 (100% documented)
Constructor number 0
Overlay number 0
Strategy number 1 (100% documented)
Rule number 62 (9% 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



Strategy details


ATerm date-pattern-to-string
File date-format.str
Author unknown
Since unknown
 

No information available.


type String * ComponentTime -> String

 

Rule details


ATerm date-format
File date-format.str
Author unknown
Since unknown
 

No information available.


type List(String) * ComponentTime -> String

 
ATerm date-pattern-to-int
File date-format.str
Author unknown
Since unknown
 

No information available.


type String * ComponentTime -> Int

 
ATerm date-pattern-to-int
File date-format.str
Author unknown
Since unknown
 

No information available.


type String * ComponentTime -> Int

 
ATerm date-pattern-to-int
File date-format.str
Author unknown
Since unknown
 

No information available.


type String * ComponentTime -> Int

 
ATerm date-pattern-to-string
File date-format.str
Author unknown
Since unknown
 

No information available.


type String * ComponentTime -> String

 
ATerm date-pattern-to-string
File date-format.str
Author unknown
Since unknown
 

No information available.


type String * ComponentTime -> String