/* XDS v2.51: Copyright (c) 1999-2003 Excelsior, LLC. All Rights Reserved. */
/* Generated by XDS Modula-2 to ANSI C v4.20 translator */

#ifndef SysClock_H_
#define SysClock_H_
#ifndef X2C_H_
#include "X2C.h"
#endif

#define SysClock_maxSecondParts 99

typedef X2C_CARD32 SysClock_Month;

typedef X2C_CARD32 SysClock_Day;

typedef X2C_CARD32 SysClock_Hour;

typedef X2C_CARD32 SysClock_Min;

typedef X2C_CARD32 SysClock_Sec;

typedef X2C_CARD32 SysClock_Fraction;

typedef X2C_INT32 SysClock_UTCDiff;

struct SysClock_DateTime;


struct SysClock_DateTime {
   X2C_CARD32 year;
   X2C_CARD32 month;
   X2C_CARD32 day;
   X2C_CARD32 hour;
   X2C_CARD32 minute;
   X2C_CARD32 second;
   X2C_CARD32 fractions;
   X2C_INT32 zone;
   X2C_BOOLEAN SummerTimeFlag;
};

extern X2C_BOOLEAN SysClock_CanGetClock(void);

extern X2C_BOOLEAN SysClock_CanSetClock(void);

extern X2C_BOOLEAN SysClock_IsValidDateTime(struct SysClock_DateTime);

extern void SysClock_GetClock(struct SysClock_DateTime *);

extern void SysClock_SetClock(struct SysClock_DateTime);


extern void SysClock_BEGIN(void);


#endif /* SysClock_H_ */
