JWT calendar specification

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.

Time specifiers

A time specifier is composed of a time definition and a block in the following format: 

<time_definition> { <block_content> }

Time definition

Defines a part of the time continuum (a set of real numbers).

Block

A block is written between braces {} and defines a scope where the lower level time specifiers can be written.

Levels

Time specifiers are ordered in five hierarchical levels:

1. Global
2. Year
3. Month
4. Week
5. Day

Priority

Time specifiers each have a dedicated priority. In case that two or more time specifiers overlap in the same level, the one with the highest priority is applied.

Time specifiers with the same priority in the same level are not allowed to overlap, i.e., the intersection of their time definitions must be empty.

Category

Time specifiers can be classified into two categories:

1. Absolute: Defines the unique and specific parts of the time continuum. This category of time specifiers represents the ones in the global level.
2. Relative: Define parts of the time in the context of other time specifiers, i.e., the actual part of the time continuum defined depends on the time specifier where it is contained. This category of time specifiers is contained in the all levels besides the global.

Comments

JWT calendars supports single-line comments. Comments begin with a #. e.g.:

#Summer Calendar

Time specifier overview

The following table represents all the available time specifiers ordered by level and priority:

2018/03/25, 2018/AUG/18
2017/01/01, 2017/05/01, 2017/12/25-2017/12/31

Example specifications

Get some inspiration by looking at the example specifications below.

Examples

08:00-15:00, 16:00-20:00;

MON-FRI{08:00-15:00, 16:00-20:00;}

MON-THU{08:00-15:00, 16:00-20:00;} FRI{08:00-15:00;}

# Winter Calendar
MON - THU {
   08:00 - 15:00,
   16:00 - 20:00;
}
 
FRI {
    08:00 - 15:00;
}
 
# Summer Calendar
JUN/15 - SEP/15 {
    MON - FRI {
        08:00 - 14:30;
    }
}

# Winter Calendar
MON - THU {
   08:00 - 15:00,
   16:00 - 20:00;
}
 
FRI {
    08:00 - 15:00;
}
 
# Summer Calendar
JUN/15 - SEP/15 {
    MON - FRI {
        08:00 - 14:30;
    }
}
 
# Annual Holidays
JAN/1, MAY/1, NOV/1, DEC/25 {;}
 
# 2017 Holidays
2017/JAN/12, 2017/APR/13, 2017/APR/14, 2017/NOV/23 {;}

# Calendar from 1st December 2017 on
 
# Winter Calendar
MON-THU {
   08:30 - 15:30,
   16:00 - 19:30;
}
 
FRI {
   08:00 - 15:00;
}
 
# Summer Calendar
JUN/15 - SEP/15 {
   MON - FRI {
      08:00 - 14:30;
   }
}
 
# Annual Holidays
JAN/1, MAY/1, JUL/4, NOV/1, DEC/25 {;}
 
# 2018 Holidays
2018/03/27 - 2018/03/30, 2018/10/22 {;}
 
# Calendar up to 30th November 2017
2000/01/01 - 2017/11/30 {
 
   # Winter Calendar
   MON-THU {
      08:00 - 15:00,
      16:00 - 20:00;
   }
 
   FRI {
      08:00 - 15:00;
   }
 
   # Summer Calendar
   JUN/15 - SEP/15 {
      MON - FRI {
         08:00 - 14:30;
      }
   }
 
   # Annual Holidays
   JAN/1, MAY/1, NOV/1, DEC/25 {;}
}
 
# 2017 Holidays
2017/JAN/12, 2017/APR/13, 2017/APR/14, 2017/NOV/23 {;}

If you still have questions, feel free to refer to our support team.