Version 5.0 The LEDA User Manual

format date :: get input format( )
string date :: get input format str( )
void date :: set output format(format f)
void date :: set output format(string f)
format date :: get output format( )
string date :: get output format str( )
4.2 Access and Update Operations
returns the current input format.
returns the current input format string.
sets the output format to f.
Precondition: f ≠ user def fmt
sets the output format to the user-defined format in
f.
Precondition: f is a valid format string
returns the current output format.
returns the current output format string.
All update operations which may fail have in common that the date is changed and
true is returned if the new date is valid, otherwise false is returned and the date is left
unchanged. (Note that the functions add to day, add to month and add to year can only
fail if the valid range (1.1.1 – 31.12.9999) is exceeded.)
void D.set to current date( )
sets D to the current date.
bool D.set date(int d, month m, int y)
D is set to d.m.y (if d.m.y is valid).
bool
D.set date(const string date str, bool swallow = true)
D is set to the date contained in date str. If swallow
is true, then the format ”m/d/[yy]yy; d?m?[yy]yy” is
used to parse date str, otherwise the current input
format is applied.
string D.get date( ) returns a string representation of D in the current
output format.
int D.get day( ) returns the day part of D, i.e. if D is d.m.y then d is
returned.
month D.get month( ) returns the month part of D.