|
On this page |
Each calendar configuration is highly flexible but the underlying specification must follow a dedicated syntax. |
JWT calendars elements and syntax
A calendar is a system on which JWT will be able to do time calculations. Each calendars should be composed of at least one time specifier.
A time specifier is composed of a time definition and a block in the following format:
<time_definition> { <block_content> } |
Element | Description | Note |
---|---|---|
Calendar | A system on which JWT will be able to do time calculations. Each calendars should be composed of at least one time specifier. | |
Time specifier | A time specifier is composed of a time definition and a block in the following format: <time_definition> { <block_content> } | |
A time specifier of a particular level is always explicitly or implicitly contained in a time specifier of the immediately higher level. When the higher level time specifier is not configured, then it is implicitly contained in an unrestricted higher level time specifier. |
The following table represents all the available time specifiers ordered by level and priority:
Level | High priority | Interval list | Low priority | ||
---|---|---|---|---|---|
Global | Date list
| Date
| Year list
| ||
Year | Month-Day List | Month-DayMAR/20-MAR/25 AUG/1-AUG/15, NOV/5-NOV-15 | Month List
| ||
Day | Whole Day00:00-00:00; | Time8:00-15:00; 8:00-15:00, 16:00-19:00; 21:00-3:00; | Empty
| ||
Month | Day of Month List
| ||||
Week | Day of Week List
|
Get some inspiration by looking at the example specifications below.
Calendar | Description | ||
---|---|---|---|
| Any date-time with time part between 08:00 and 15:00, or 16:00 and 20:00. By convention 15:00 and 20:00 time instants are out of the calendar. | ||
| Mondays to Fridays from 08:00 to 15:00 and from 16:00 to 20:00. | ||
| Mondays to Thursdays from 08:00 to 15:00 and from 16:00 to 20:00. Fridays from 08:00 to 15:00. | ||
| From June 15th to September 15th , Mondays to Fridays from 8:00 to 14:30. For the rest of the year, Mondays to Thursdays from 08:00 to 15:00 and from 16:00 to 20:00. Fridays from 08:00 to 15:00. | ||
| From June 15th to September 15th, Mondays to Fridays from 8:00 to 14:30.
| ||
| In this example we show how to introduce some modifications in the previous calendar that will be applied since December 1st, 2017 on, keeping the old calendar valid only up to 30th November 2017. |