View: Hide Browser | Browser on the left | Browser on the right | Dictionary
Report:General Info | Attributes | Operations

Parent Package: assumed_types
Class TIME_DEFINITIONS


Any
   |
   +--TIME_DEFINITIONS

Direct Subclassifiers:
       ISO8601_DATE, ISO8601_DURATION, ISO8601_DATE_TIME, ISO8601_TIMEZONE, ISO8601_TIME

Implementing Classifiers:
       DV_DURATION
Definitions for date/time classes. Note that the timezone limits are set by where the international dateline is. Thus, time in New Zealand is quoted using +12:00, not -12:00.

Attributes
SignatureOptionalityMultiplicityConstantDocumentation
 Days_in_leap_year : Integer 1  -- 366  
 Days_in_week : Integer 1  -- 7  
 Days_in_year : Integer 1  -- 365  
 Hours_in_day : Integer 1  -- 24  
 Max_days_in_month : Integer 1  -- 31  
 Max_days_in_year : Integer 1  -- 366  
 Max_timezone : DV_DURATION 1  --   
 Min_timezone : DV_DURATION 1  --   
 Minutes_in_hour : Integer 1  -- 60  
 Months_in_year : Integer 1  -- 12  
 Nominal_days_in_month : Real 1  -- 30.42  
 Nominal_days_in_year : Real 1  -- 365.24  
 Seconds_in_minute : Integer 1  -- 60  


Operations
SignatureConstraintsDocumentation
 valid_day(y,m,d : Integer) : Boolean 
post: Result = (d>=1 and d<= Days_in_month(m,y))  		 
 valid_hour(h,m,s : Integer) : Boolean 
post: Result=(h>=0 and h<Hours_in_day) or (h=Hours_in_day and m=0 and s=0)  		 
 valid_minute(m : Integer) : Boolean 
post: Result = (m>=0 and m<Minutes_in_hour)  		 
 valid_month(m : Integer) : Boolean   
 valid_second(s : Integer) : Boolean   
 valid_year(y : Integer) : Boolean 
post: Result=(y>=0)  		True if v>=0