/*
* (c) 2008 Edouard TISSERANT
*
* Offered to the public under the terms of the GNU Lesser General Public
* License as published by the Free Software Foundation; either version 2
* of the License, or (at your option) any later version.
*
* This program is distributed in the hope that it will be useful, but
* WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser
* General Public License for more details.
*
* This code is made available on the understanding that it will not be
* used in safety-critical situations without a full and competent review.
*/
/****
* IEC 61131-3 standard function library
*/
#include <limits.h>
#include <float.h>
#include <math.h>
#include <time.h>
#include <stdint.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <stdarg.h>
#ifdef DEBUG_IEC
#define DBG(...) printf(__VA_ARGS__);
#define DBG_TYPE(TYPENAME, name) __print_##TYPENAME(name);
#else
#define DBG(...)
#define DBG_TYPE(TYPENAME, name)
#endif
/*
* Include type defs.
*/
#include "iec_types_all.h"
extern TIME __CURRENT_TIME;
extern BOOL __DEBUG;
/* TODO
typedef struct {
__strlen_t len;
u_int16_t body[STR_MAX_LEN];
} WSTRING;
*/
# if __WORDSIZE == 64
#define __32b_sufix
#define __64b_sufix L
#else
#define __32b_sufix L
#define __64b_sufix LL
#endif
#define __lit(type,value,sfx) (type)value##sfx
// Keep this macro expention step to let sfx change into L or LL
#define __literal(type,value,sfx) __lit(type,value,sfx)
#define __BOOL_LITERAL(value) __literal(BOOL,value,)
#define __SINT_LITERAL(value) __literal(SINT,value,)
#define __INT_LITERAL(value) __literal(INT,value,)
#define __DINT_LITERAL(value) __literal(DINT,value,__32b_sufix)
#define __LINT_LITERAL(value) __literal(LINT,value,__64b_sufix)
#define __USINT_LITERAL(value) __literal(USINT,value,)
#define __UINT_LITERAL(value) __literal(UINT,value,)
#define __UDINT_LITERAL(value) __literal(UDINT,value,__32b_sufix)
#define __ULINT_LITERAL(value) __literal(ULINT,value,__64b_sufix)
#define __REAL_LITERAL(value) __literal(REAL,value,__32b_sufix)
#define __LREAL_LITERAL(value) __literal(LREAL,value,__64b_sufix)
#define __TIME_LITERAL(value) __literal(TIME,value,)
#define __DATE_LITERAL(value) __literal(DATE,value,)
#define __TOD_LITERAL(value) __literal(TOD,value,)
#define __DT_LITERAL(value) __literal(DT,value,)
#define __STRING_LITERAL(value) __literal(STRING,value,)
#define __BYTE_LITERAL(value) __literal(BYTE,value,)
#define __WORD_LITERAL(value) __literal(WORD,value,)
#define __DWORD_LITERAL(value) __literal(DWORD,value,__32b_sufix)
#define __LWORD_LITERAL(value) __literal(LWORD,value,__32b_sufix)
#define __INIT_REAL 0
#define __INIT_LREAL 0
#define __INIT_SINT 0
#define __INIT_INT 0
#define __INIT_DINT 0
#define __INIT_LINT 0
#define __INIT_USINT 0
#define __INIT_UINT 0
#define __INIT_UDINT 0
#define __INIT_ULINT 0
#define __INIT_TIME (TIME){0,0}
#define __INIT_BOOL 0
#define __INIT_BYTE 0
#define __INIT_WORD 0
#define __INIT_DWORD 0
#define __INIT_LWORD 0
#define __INIT_STRING (STRING){0,""}
//#define __INIT_WSTRING
#define __INIT_DATE (DATE){0,0}
#define __INIT_TOD (TOD){0,0}
#define __INIT_DT (DT){0,0}
typedef union __IL_DEFVAR_T {
BOOL BOOLvar;
SINT SINTvar;
INT INTvar;
DINT DINTvar;
LINT LINTvar;
USINT USINTvar;
UINT UINTvar;
UDINT UDINTvar;
ULINT ULINTvar;
BYTE BYTEvar;
WORD WORDvar;
DWORD DWORDvar;
LWORD LWORDvar;
REAL REALvar;
LREAL LREALvar;
TIME TIMEvar;
TOD TODvar;
DT DTvar;
DATE DATEvar;
} __IL_DEFVAR_T;
/*****************/
/* Misc internal */
/*****************/
/* function that generates an IEC runtime error */
static inline void IEC_error(void) {
/* TODO... */
fprintf(stderr, "IEC 61131-3 runtime error.\n");
/*exit(1);*/
}
static inline void __normalize_timespec (struct timespec *ts) {
if( ts->tv_nsec < -1000000000 || (( ts->tv_sec > 0 ) && ( ts->tv_nsec < 0 ))){
ts->tv_sec--;
ts->tv_nsec += 1000000000;
}
if( ts->tv_nsec > 1000000000 || (( ts->tv_sec < 0 ) && ( ts->tv_nsec > 0 ))){
ts->tv_sec++;
ts->tv_nsec -= 1000000000;
}
}
static inline struct timespec __time_to_timespec(int sign, double mseconds, double seconds, double minutes, double hours, double days) {
struct timespec ts;
/* sign is 1 for positive values, -1 for negative time... */
long double total_sec = ((days*24 + hours)*60 + minutes)*60 + seconds + mseconds/1e3;
if (sign >= 0) sign = 1; else sign = -1;
ts.tv_sec = sign * (long int)total_sec;
ts.tv_nsec = sign * (long int)((total_sec - ts.tv_sec)*1e9);
return ts;
}
static inline struct timespec __tod_to_timespec(double seconds, double minutes, double hours) {
struct timespec ts;
long double total_sec = (hours*60 + minutes)*60 + seconds;
ts.tv_sec = (long int)total_sec;
ts.tv_nsec = (long int)((total_sec - ts.tv_sec)*1e9);
return ts;
}
static inline struct timespec __date_to_timespec(int day, int month, int year) {
struct timespec ts;
struct tm broken_down_time;
broken_down_time.tm_sec = 0;
broken_down_time.tm_min = 0;
broken_down_time.tm_hour = 0;
broken_down_time.tm_mday = day; /* day of month, from 1 to 31 */
broken_down_time.tm_mon = month - 1; /* month since January, in the range 0 to 11 */
broken_down_time.tm_year = year - 1900; /* number of years since 1900 */
time_t epoch_seconds = mktime(&broken_down_time); /* determine number of seconds since the epoch, i.e. Jan 1st 1970 */
if ((time_t)(-1) == epoch_seconds)
IEC_error();
ts.tv_sec = epoch_seconds;
ts.tv_nsec = 0;
return ts;
}
static inline struct timespec __dt_to_timespec(double seconds, double minutes, double hours, int day, int month, int year) {
struct timespec ts;
long double total_sec = (hours*60 + minutes)*60 + seconds;
ts.tv_sec = (long int)total_sec;
ts.tv_nsec = (long int)((total_sec - ts.tv_sec)*1e9);
struct tm broken_down_time;
broken_down_time.tm_sec = 0;
broken_down_time.tm_min = 0;
broken_down_time.tm_hour = 0;
broken_down_time.tm_mday = day; /* day of month, from 1 to 31 */
broken_down_time.tm_mon = month - 1; /* month since January, in the range 0 to 11 */
broken_down_time.tm_year = year - 1900; /* number of years since 1900 */
time_t epoch_seconds = mktime(&broken_down_time); /* determine number of seconds since the epoch, i.e. Jan 1st 1970 */
if ((time_t)(-1) == epoch_seconds)
IEC_error();
ts.tv_sec += epoch_seconds;
if (ts.tv_sec < epoch_seconds)
/* since the TOD is always positive, if the above happens then we had an overflow */
IEC_error();
return ts;
}
/********************/
/* EN/ENO PARAMS */
/********************/
#define EN_ENO_PARAMS BOOL EN, BOOL *ENO
#define TEST_EN(TYPENAME)\
if (!EN) {\
if (ENO != NULL)\
*ENO = __BOOL_LITERAL(FALSE);\
return __INIT_##TYPENAME;\
}\
else if (ENO != NULL)\
*ENO = __BOOL_LITERAL(TRUE);
#define TEST_EN_COND(TYPENAME, COND)\
if (!EN || (COND)) {\
if (ENO != NULL)\
*ENO = __BOOL_LITERAL(FALSE);\
return __INIT_##TYPENAME;\
}\
else if (ENO != NULL)\
*ENO = __BOOL_LITERAL(TRUE);
/***************/
/* Time ops */
/***************/
#define __TIME_CMP(t1, t2) (t2.tv_sec == t1.tv_sec ? t1.tv_nsec - t2.tv_nsec : t1.tv_sec - t2.tv_sec)
static inline TIME __TIME_ADD(TIME IN1, TIME IN2){
TIME res ={IN1.tv_sec + IN2.tv_sec,
IN1.tv_nsec + IN2.tv_nsec };
__normalize_timespec(&res);
return res;
}
static inline TIME __TIME_SUB(TIME IN1, TIME IN2){
TIME res ={IN1.tv_sec - IN2.tv_sec,
IN1.tv_nsec - IN2.tv_nsec };
__normalize_timespec(&res);
return res;
}
static inline TIME __TIME_MUL(TIME IN1, LREAL IN2){
LREAL s_f = IN1.tv_sec * IN2;
time_t s = s_f;
div_t ns = div((LREAL)IN1.tv_nsec * IN2, 1000000000);
TIME res = {s + ns.quot,
ns.rem + (s_f - s) * 1000000000 };
__normalize_timespec(&res);
return res;
}
static inline TIME __TIME_DIV(TIME IN1, LREAL IN2){
LREAL s_f = IN1.tv_sec / IN2;
time_t s = s_f;
TIME res = {s,
IN1.tv_nsec / IN2 + (s_f - s) * 1000000000 };
__normalize_timespec(&res);
return res;
}
static inline TIME __date_and_time_to_time_of_day(EN_ENO_PARAMS, TIME IN){
TEST_EN(TIME)
return (TIME){IN.tv_sec % 86400, IN.tv_nsec};
}
static inline TIME __date_and_time_to_date(EN_ENO_PARAMS, TIME IN){
TEST_EN(TIME)
return (TIME){IN.tv_sec - (IN.tv_sec % (24*60*60)), 0};
}
static inline TIME __time_add(EN_ENO_PARAMS, TIME IN1, TIME IN2){
TEST_EN(TIME)
return __TIME_ADD(IN1, IN2);
}
static inline TIME __time_sub(EN_ENO_PARAMS, TIME IN1, TIME IN2){
TEST_EN(TIME)
return __TIME_SUB(IN1, IN2);
}
static inline TIME __time_mul(EN_ENO_PARAMS, TIME IN1, LREAL IN2){
TEST_EN(TIME)
return __TIME_MUL(IN1, IN2);
}
static inline TIME __time_div(EN_ENO_PARAMS, TIME IN1, LREAL IN2){
TEST_EN(TIME)
return __TIME_DIV(IN1, IN2);
}
/***************/
/* String ops */
/***************/
#define __STR_CMP(str1, str2) memcmp((char*)&str1.body,(char*)&str2.body, str1.len < str2.len ? str1.len : str2.len)
static inline __strlen_t __len(EN_ENO_PARAMS, STRING IN){
TEST_EN(UINT)
return IN.len;
}
static inline STRING __left(EN_ENO_PARAMS, STRING IN, __strlen_t L){
TEST_EN_COND(STRING, L < 0)
STRING res = __INIT_STRING;
L = L < IN.len ? L : IN.len;
memcpy(&res.body, &IN.body, L);
res.len = L;
return res;
}
static inline STRING __right(EN_ENO_PARAMS, STRING IN, __strlen_t L){
TEST_EN_COND(STRING, L < 0)
STRING res = __INIT_STRING;
L = L < IN.len ? L : IN.len;
memcpy(&res.body, &IN.body[IN.len - L], L);
res.len = L;
return res;
}
static inline STRING __mid(EN_ENO_PARAMS, STRING IN, __strlen_t L, __strlen_t P){
TEST_EN_COND(STRING, L < 0 || P < 0)
STRING res = __INIT_STRING;
if(P <= IN.len){
P -= 1; /* now can be used as [index]*/
L = L + P <= IN.len ? L : IN.len - P;
memcpy(&res.body, &IN.body[P] , L);
res.len = L;
}
return res;
}
static inline STRING __concat(EN_ENO_PARAMS, UINT param_count, ...){
TEST_EN(STRING)
va_list ap;
UINT i;
__strlen_t charcount = 0;
STRING res = __INIT_STRING;
va_start (ap, param_count); /* Initialize the argument list. */
for (i = 0; i < param_count && charcount < STR_MAX_LEN; i++)
{
STRING tmp = va_arg(ap, STRING);
__strlen_t charrem = STR_MAX_LEN - charcount;
__strlen_t to_write = tmp.len > charrem ? charrem : tmp.len;
memcpy(&res.body[charcount], &tmp.body , to_write);
charcount += to_write;
}
res.len = charcount;
va_end (ap); /* Clean up. */
return res;
}
static inline STRING __insert(EN_ENO_PARAMS, STRING IN1, STRING IN2, __strlen_t P){
TEST_EN_COND(STRING, P < 0)
STRING res = __INIT_STRING;
__strlen_t to_copy;
to_copy = P > IN1.len ? IN1.len : P - 1;
memcpy(&res.body, &IN1.body , to_copy);
P = res.len = to_copy;
to_copy = IN2.len + res.len > STR_MAX_LEN ? STR_MAX_LEN - res.len : IN2.len;
memcpy(&res.body[res.len], &IN2.body , to_copy);
res.len += to_copy;
to_copy = IN1.len - P < STR_MAX_LEN - res.len ? IN1.len - P : STR_MAX_LEN - res.len ;
memcpy(&res.body[res.len], &IN1.body[P] , to_copy);
res.len += to_copy;
return res;
}
static inline STRING __delete(EN_ENO_PARAMS, STRING IN, __strlen_t L, __strlen_t P){
TEST_EN_COND(STRING, L < 0 || P < 0)
STRING res = __INIT_STRING;
__strlen_t to_copy;
to_copy = P > IN.len ? IN.len : P-1;
memcpy(&res.body, &IN.body , to_copy);
P = res.len = to_copy;
if( IN.len > P + L ){
to_copy = IN.len - P - L;
memcpy(&res.body[res.len], &IN.body[P + L], to_copy);
res.len += to_copy;
}
return res;
}
static inline STRING __replace(EN_ENO_PARAMS, STRING IN1, STRING IN2, __strlen_t L, __strlen_t P){
TEST_EN_COND(STRING, L < 0 || P < 0)
STRING res = __INIT_STRING;
__strlen_t to_copy;
to_copy = P > IN1.len ? IN1.len : P-1;
memcpy(&res.body, &IN1.body , to_copy);
P = res.len = to_copy;
to_copy = IN2.len < L ? IN2.len : L;
if( to_copy + res.len > STR_MAX_LEN )
to_copy = STR_MAX_LEN - res.len;
memcpy(&res.body[res.len], &IN2.body , to_copy);
res.len += to_copy;
P += L;
if( res.len < STR_MAX_LEN && P < IN1.len)
{
to_copy = IN1.len - P;
memcpy(&res.body[res.len], &IN1.body[P] , to_copy);
res.len += to_copy;
}
return res;
}
static inline __strlen_t __pfind(STRING* IN1, STRING* IN2){
UINT count1 = 0; /* offset of first matching char in IN1 */
UINT count2 = 0; /* count of matching char */
while(count1 + count2 < IN1->len && count2 < IN2->len)
{
if(IN1->body[count1 + count2] != IN2->body[count2++]){
count1 += count2;
count2 = 0;
}
}
return count2 == IN2->len -1 ? 0 : count1 + 1;
}
static inline __strlen_t __find(EN_ENO_PARAMS, STRING IN1, STRING IN2){
TEST_EN(UINT)
return __pfind(&IN1, &IN2);
}
/***************/
/* Convertions */
/***************/
/***************/
/* TO_STRING */
/***************/
static inline STRING __bool_to_string(EN_ENO_PARAMS, BOOL IN)
{
TEST_EN(STRING)
if(IN)
return (STRING){4, "TRUE"};
return (STRING){5,"FALSE"};
}
static inline STRING __bit_to_string(EN_ENO_PARAMS, LWORD IN){
TEST_EN(STRING)
STRING res = __INIT_STRING;
res.len = snprintf((char*)res.body, STR_MAX_LEN, "16#%llx", IN);
if(res.len > STR_MAX_LEN) res.len = STR_MAX_LEN;
return res;
}
static inline STRING __real_to_string(EN_ENO_PARAMS, LREAL IN){
TEST_EN(STRING)
STRING res = __INIT_STRING;
res.len = snprintf((char*)res.body, STR_MAX_LEN, "%.10g", IN);
if(res.len > STR_MAX_LEN) res.len = STR_MAX_LEN;
return res;
}
static inline STRING __sint_to_string(EN_ENO_PARAMS, LINT IN){
TEST_EN(STRING)
STRING res = __INIT_STRING;
res.len = snprintf((char*)res.body, STR_MAX_LEN, "%lld", IN);
if(res.len > STR_MAX_LEN) res.len = STR_MAX_LEN;
return res;
}
static inline STRING __uint_to_string(EN_ENO_PARAMS, ULINT IN){
TEST_EN(STRING)
STRING res = __INIT_STRING;
res.len = snprintf((char*)res.body, STR_MAX_LEN, "%llu", IN);
if(res.len > STR_MAX_LEN) res.len = STR_MAX_LEN;
return res;
}
/***************/
/* FROM_STRING */
/***************/
static inline BOOL __string_to_bool(EN_ENO_PARAMS, STRING IN){
TEST_EN(BOOL)
return IN.len == 5 ? !memcmp(&IN.body,"TRUE", IN.len) : 0;
}
static inline LINT __pstring_to_sint(STRING* IN){
LINT res = 0;
__strlen_t l;
unsigned int shift = 0;
if(IN->body[0]=='2' && IN->body[1]=='#'){
/* 2#0101_1010_1011_1111 */
for(l = IN->len - 1; l >= 2 && shift < 64; l--)
{
char c = IN->body[l];
if( c >= '0' && c <= '1'){
res |= ( c - '0') << shift;
shift += 1;
}
}
}else if(IN->body[0]=='8' && IN->body[1]=='#'){
/* 8#1234_5665_4321 */
for(l = IN->len - 1; l >= 2 && shift < 64; l--)
{
char c = IN->body[l];
if( c >= '0' && c <= '7'){
res |= ( c - '0') << shift;
shift += 3;
}
}
}else if(IN->body[0]=='1' && IN->body[1]=='6' && IN->body[2]=='#'){
/* 16#1234_5678_9abc_DEFG */
for(l = IN->len - 1; l >= 3 && shift < 64; l--)
{
char c = IN->body[l];
if( c >= '0' && c <= '9'){
res |= (LWORD)( c - '0') << shift;
shift += 4;
}else if( c >= 'a' && c <= 'f'){
res |= (LWORD)( c - 'a' + 10 ) << shift;
shift += 4;
}else if( c >= 'A' && c <= 'F'){
res |= (LWORD)( c - 'A' + 10 ) << shift;
shift += 4;
}
}
}else{
/* -123456789 */
LINT fac = IN->body[0] == '-' ? -1 : 1;
for(l = IN->len - 1; l >= 0 && shift < 20; l--)
{
char c = IN->body[l];
if( c >= '0' && c <= '9'){
res += ( c - '0') * fac;
fac *= 10;
shift += 1;
}else if( c >= '.' ){ /* reset value */
res = 0;
fac = IN->body[0] == '-' ? -1 : 1;
shift = 0;
}
}
}
return res;
}
static inline LINT __string_to_sint(EN_ENO_PARAMS, STRING IN){
TEST_EN(LINT)
return (LWORD)__pstring_to_sint(&IN);
}
static inline LWORD __string_to_bit(EN_ENO_PARAMS, STRING IN){
TEST_EN(LWORD)
return (LWORD)__pstring_to_sint(&IN);
}
static inline ULINT __string_to_uint(EN_ENO_PARAMS, STRING IN){
TEST_EN(ULINT)
return (ULINT)__pstring_to_sint(&IN);
}
static inline LREAL __string_to_real(EN_ENO_PARAMS, STRING IN){
TEST_EN(LREAL)
/* search the dot */
__strlen_t l = IN.len;
while(--l > 0 && IN.body[l] != '.');
if(l != 0){
return atof((const char *)&IN.body);
}else{
return (LREAL)__pstring_to_sint(&IN);
}
}
/***************/
/* TO_TIME */
/***************/
static inline TIME __int_to_time(EN_ENO_PARAMS, LINT IN){
TEST_EN(TIME)
return (TIME){IN, 0};
}
static inline TIME __real_to_time(EN_ENO_PARAMS, LREAL IN){
TEST_EN(TIME)
return (TIME){IN, (IN - (LINT)IN) * 1000000000};
}
static inline TIME __string_to_time(EN_ENO_PARAMS, STRING IN){
TEST_EN(TIME)
/* TODO :
*
* Duration literals without underlines: T#14ms T#-14ms T#14.7s T#14.7m
* short prefix T#14.7h t#14.7d t#25h15m
* t#5d14h12m18s3.5ms
* long prefix TIME#14ms TIME#-14ms time#14.7s
* Duration literals with underlines:
* short prefix t#25h_15m t#5d_14h_12m_18s_3.5ms
* long prefix TIME#25h_15m
* time#5d_14h_12m_18s_3.5ms
*
* Long prefix notation Short prefix notation
* DATE#1984-06-25 D#1984-06-25
* date#1984-06-25 d#1984-06-25
* TIME_OF_DAY#15:36:55.36 TOD#15:36:55.36
* time_of_day#15:36:55.36 tod#15:36:55.36
* DATE_AND_TIME#1984-06-25-15:36:55.36 DT#1984-06-25-15:36:55.36
* date_and_time#1984-06-25-15:36:55.36 dt#1984-06-25-15:36:55.36
*
*/
/* Quick hack : only transform seconds */
/* search the dot */
__strlen_t l = IN.len;
while(--l > 0 && IN.body[l] != '.');
if(l != 0){
LREAL IN_val = atof((const char *)&IN.body);
return (TIME){IN_val, (IN_val - (LINT)IN_val)*1000000000};
}else{
return (TIME){__pstring_to_sint(&IN), 0};
}
}
/***************/
/* FROM_TIME */
/***************/
static inline LREAL __time_to_real(EN_ENO_PARAMS, TIME IN){
TEST_EN(LREAL)
return (LREAL)IN.tv_sec + ((LREAL)IN.tv_nsec/1000000000);
}
static inline LINT __time_to_int(EN_ENO_PARAMS, TIME IN){
TEST_EN(LINT)
return IN.tv_sec;
}
static inline STRING __time_to_string(EN_ENO_PARAMS, TIME IN){
TEST_EN(STRING)
/*t#5d14h12m18s3.5ms*/
STRING res = __INIT_STRING;
div_t days = div(IN.tv_sec ,86400);
if(!days.rem && IN.tv_nsec == 0){
res.len = snprintf((char*)&res.body, STR_MAX_LEN, "T#%dd", days.quot);
}else{
div_t hours = div(days.rem, 3600);
if(!hours.rem && IN.tv_nsec == 0){
res.len = snprintf((char*)&res.body, STR_MAX_LEN, "T#%dd%dh", days.quot, hours.quot);
}else{
div_t minuts = div(hours.rem, 60);
if(!minuts.rem && IN.tv_nsec == 0){
res.len = snprintf((char*)&res.body, STR_MAX_LEN, "T#%dd%dh%dm", days.quot, hours.quot, minuts.quot);
}else{
if(IN.tv_nsec == 0){
res.len = snprintf((char*)&res.body, STR_MAX_LEN, "T#%dd%dh%dm%ds", days.quot, hours.quot, minuts.quot, minuts.rem);
}else{
res.len = snprintf((char*)&res.body, STR_MAX_LEN, "T#%dd%dh%dm%ds%gms", days.quot, hours.quot, minuts.quot, minuts.rem, (LREAL)IN.tv_nsec / 1000000);
}
}
}
}
if(res.len > STR_MAX_LEN) res.len = STR_MAX_LEN;
return res;
}
static inline STRING __date_to_string(EN_ENO_PARAMS, DATE IN){
TEST_EN(STRING)
/* D#1984-06-25 */
STRING res = __INIT_STRING;
struct tm* broken_down_time;
time_t seconds = IN.tv_sec;
if (NULL == (broken_down_time = localtime(&seconds))){ /* get the UTC (GMT) broken down time */
IEC_error();
return (STRING){7,"D#ERROR"};
}
res.len = snprintf((char*)&res.body, STR_MAX_LEN, "D#%d-%2.2d-%2.2d", broken_down_time->tm_year + 1900, broken_down_time->tm_mon + 1, broken_down_time->tm_mday);
if(res.len > STR_MAX_LEN) res.len = STR_MAX_LEN;
return res;
}
static inline STRING __tod_to_string(EN_ENO_PARAMS, TOD IN){
TEST_EN(STRING)
/* TOD#15:36:55.36 */
STRING res = __INIT_STRING;
struct tm* broken_down_time;
time_t seconds = IN.tv_sec;
if (NULL == (broken_down_time = localtime(&seconds))){ /* get the UTC (GMT) broken down time */
IEC_error();
return (STRING){9,"TOD#ERROR"};
}
if(IN.tv_nsec == 0){
res.len = snprintf((char*)&res.body, STR_MAX_LEN, "TOD#%2.2d:%2.2d:%d", broken_down_time->tm_hour, broken_down_time->tm_min, broken_down_time->tm_sec);
}else{
res.len = snprintf((char*)&res.body, STR_MAX_LEN, "TOD#%2.2d:%2.2d:%g", broken_down_time->tm_hour, broken_down_time->tm_min, (LREAL)broken_down_time->tm_sec + (LREAL)IN.tv_nsec / 1e9);
}
if(res.len > STR_MAX_LEN) res.len = STR_MAX_LEN;
return res;
}
static inline STRING __dt_to_string(EN_ENO_PARAMS, DT IN){
TEST_EN(STRING)
/* DT#1984-06-25-15:36:55.36 */
STRING res;
struct tm* broken_down_time;
time_t seconds = IN.tv_sec;
if (NULL == (broken_down_time = localtime(&seconds))){ /* get the UTC (GMT) broken down time */
IEC_error();
return (STRING){8,"DT#ERROR"};
}
if(IN.tv_nsec == 0){
res.len = snprintf((char*)&res.body, STR_MAX_LEN, "DT#%d-%2.2d-%2.2d-%2.2d:%2.2d:%d",
broken_down_time->tm_year,
broken_down_time->tm_mon,
broken_down_time->tm_mday,
broken_down_time->tm_hour,
broken_down_time->tm_min,
broken_down_time->tm_sec);
}else{
res.len = snprintf((char*)&res.body, STR_MAX_LEN, "DT#%d-%2.2d-%2.2d-%2.2d:%2.2d:%g",
broken_down_time->tm_year,
broken_down_time->tm_mon,
broken_down_time->tm_mday,
broken_down_time->tm_hour,
broken_down_time->tm_min,
(LREAL)broken_down_time->tm_sec + ((LREAL)IN.tv_nsec / 1e9));
}
if(res.len > STR_MAX_LEN) res.len = STR_MAX_LEN;
return res;
}
/* BCD */
#define __bcd_digit(fac)
static inline ULINT __bcd_to_uint(EN_ENO_PARAMS, LWORD IN){
TEST_EN(ULINT)
return IN & 0xf +
!(IN >>= 4) ? 0 : (IN & 0xf * 10ULL) +
!(IN >>= 4) ? 0 : (IN & 0xf * 100ULL) +
!(IN >>= 4) ? 0 : (IN & 0xf * 1000ULL) +
!(IN >>= 4) ? 0 : (IN & 0xf * 10000ULL) +
!(IN >>= 4) ? 0 : (IN & 0xf * 100000ULL) +
!(IN >>= 4) ? 0 : (IN & 0xf * 1000000ULL) +
!(IN >>= 4) ? 0 : (IN & 0xf * 10000000ULL) +
!(IN >>= 4) ? 0 : (IN & 0xf * 100000000ULL) +
!(IN >>= 4) ? 0 : (IN & 0xf * 1000000000ULL) +
!(IN >>= 4) ? 0 : (IN & 0xf * 10000000000ULL) +
!(IN >>= 4) ? 0 : (IN & 0xf * 100000000000ULL) +
!(IN >>= 4) ? 0 : (IN & 0xf * 1000000000000ULL) +
!(IN >>= 4) ? 0 : (IN & 0xf * 10000000000000ULL) +
!(IN >>= 4) ? 0 : (IN & 0xf * 100000000000000ULL) +
!(IN >>= 4) ? 0 : (IN & 0xf * 1000000000000000ULL);
}
static inline LWORD __uint_to_bcd(EN_ENO_PARAMS, ULINT IN){
TEST_EN(LWORD)
return (IN - (IN /= 10))|
(IN - (IN /= 10)) << 4 |
(IN - (IN /= 10)) << 8 |
(IN - (IN /= 10)) << 12 |
(IN - (IN /= 10)) << 16 |
(IN - (IN /= 10)) << 20 |
(IN - (IN /= 10)) << 24 |
(IN - (IN /= 10)) << 28 |
(IN - (IN /= 10)) << 32 |
(IN - (IN /= 10)) << 36 |
(IN - (IN /= 10)) << 40 |
(IN - (IN /= 10)) << 44 |
(IN - (IN /= 10)) << 48 |
(IN - (IN /= 10)) << 52 |
(IN - (IN /= 10)) << 56 |
(IN - (IN /= 10)) << 60;
}
/* workaround for va-atgs limitation on shorter that int params */
#define VA_ARGS_REAL LREAL
#define VA_ARGS_LREAL LREAL
#define VA_ARGS_SINT DINT
#define VA_ARGS_INT DINT
#define VA_ARGS_DINT DINT
#define VA_ARGS_LINT LINT
#define VA_ARGS_USINT UDINT
#define VA_ARGS_UINT UDINT
#define VA_ARGS_UDINT UDINT
#define VA_ARGS_ULINT ULINT
#define VA_ARGS_TIME TIME
#define VA_ARGS_BOOL DWORD
#define VA_ARGS_BYTE DWORD
#define VA_ARGS_WORD DWORD
#define VA_ARGS_DWORD DWORD
#define VA_ARGS_LWORD LWORD
#define VA_ARGS_STRING STRING
#define VA_ARGS_WSTRING WSTRING
#define VA_ARGS_DATE DATE
#define VA_ARGS_TOD TOD
#define VA_ARGS_DT DT
/*******************************************/
/* Arithmetic and bitwise functions */
/*******************************************/
#define __arith_expand(fname,TYPENAME, OP) \
static inline TYPENAME fname##TYPENAME(EN_ENO_PARAMS, UINT param_count, TYPENAME op1, ...){\
TEST_EN(TYPENAME)\
va_list ap;\
UINT i;\
\
va_start (ap, op1); /* Initialize the argument list. */\
\
for (i = 0; i < param_count - 1; i++){\
op1 = op1 OP va_arg (ap, VA_ARGS_##TYPENAME);\
}\
\
va_end (ap); /* Clean up. */\
return op1;\
}
#define __arith_static(fname,TYPENAME, OP) \
static inline TYPENAME fname##TYPENAME(EN_ENO_PARAMS, TYPENAME op1, TYPENAME op2){\
TEST_EN(TYPENAME)\
return op1 OP op2;\
}
/**************/
/* ADD */
/**************/
#define __add_(TYPENAME) __arith_expand(__add_, TYPENAME, + )
ANY_NUM(__add_)
/**************/
/* MUL */
/**************/
#define __mul_(TYPENAME) __arith_expand(__mul_, TYPENAME, * )
ANY_NUM(__mul_)
/**************/
/* SUB */
/**************/
#define __sub_(TYPENAME) __arith_static(__sub_, TYPENAME, - )
ANY_NUM(__sub_)
/**************/
/* DIV */
/**************/
#define __div_(TYPENAME)\
static inline TYPENAME __div_##TYPENAME(EN_ENO_PARAMS, TYPENAME op1, TYPENAME op2){\
TEST_EN_COND(TYPENAME, op2 == 0)\
return op1 / op2;\
}
ANY_NUM(__div_)
/**************/
/* MOD */
/**************/
#define __mod_(TYPENAME) __arith_static(__mod_, TYPENAME, % )
ANY_INT(__mod_)
/**************/
/* AND */
/**************/
__arith_expand(__and_, BOOL, && )
#define __and_(TYPENAME) __arith_expand(__and_, TYPENAME, & )
ANY_NBIT(__and_)
/*************/
/* OR */
/*************/
__arith_expand(__or_, BOOL, || )
#define __or_(TYPENAME) __arith_expand(__or_, TYPENAME, |)
ANY_NBIT(__or_)
/**************/
/* XOR */
/**************/
static inline BOOL __xor_BOOL(EN_ENO_PARAMS, UINT param_count, BOOL op1, ...){
TEST_EN(BOOL)
va_list ap;
UINT i;
va_start (ap, op1); /* Initialize the argument list. */
for (i = 0; i < param_count - 1; i++){
BOOL tmp = va_arg (ap, VA_ARGS_BOOL);
op1 = (op1 && !tmp) || (!op1 && tmp);
}
va_end (ap); /* Clean up. */
return op1;
}
#define __xor_(TYPENAME) __arith_expand(__xor_, TYPENAME, ^)
ANY_NBIT(__xor_)
/**************/
/* NOT */
/**************/
static inline BOOL __not_BOOL(EN_ENO_PARAMS, BOOL op1){
TEST_EN(BOOL)
return !op1;
}
#define __not_(TYPENAME)\
static inline TYPENAME __not_##TYPENAME(EN_ENO_PARAMS, TYPENAME op1){\
TEST_EN(TYPENAME)\
return ~op1;\
}
ANY_NBIT(__not_)
/***************/
/* MOVE */
/***************/
#define __move_(TYPENAME)\
static inline TYPENAME __move_##TYPENAME(EN_ENO_PARAMS, TYPENAME op1){\
TEST_EN(TYPENAME)\
return op1;\
}
ANY(__move_)
/**************/
/* Binary ops */
/**************/
#define __shift_(fname, TYPENAME, OP)\
static inline TYPENAME fname##TYPENAME(EN_ENO_PARAMS, TYPENAME IN, USINT N) {\
TEST_EN(TYPENAME)\
return IN OP N;\
}
#define __shl_(TYPENAME) __shift_(__shl_, TYPENAME, << )
/* Call previously defined macro for each ANY_NBIT */
ANY_NBIT(__shl_)
#define __shr_(TYPENAME) __shift_(__shr_, TYPENAME, >> )
/* Call previously defined macro for each ANY_NBIT */
ANY_NBIT(__shr_)
#define __ror_(TYPENAME)\
static inline TYPENAME __ror_##TYPENAME(EN_ENO_PARAMS, TYPENAME IN, USINT N){\
TEST_EN(TYPENAME)\
N %= 8*sizeof(TYPENAME);\
return (IN >> N) | (IN << (8*sizeof(TYPENAME)-N));\
}
/* Call previously defined macro for each ANY_NBIT */
ANY_NBIT(__ror_)
#define __rol_(TYPENAME)\
static inline TYPENAME __rol_##TYPENAME(EN_ENO_PARAMS, TYPENAME IN, USINT N){\
TEST_EN(TYPENAME)\
N %= 8*sizeof(TYPENAME);\
return (IN << N) | (IN >> (8*sizeof(TYPENAME)-N));\
}
/* Call previously defined macro for each ANY_NBIT */
ANY_NBIT(__rol_)
/*******************************************/
/* Arithmetic and bitwise functions */
/*******************************************/
#define __numeric(fname,TYPENAME, FUNC) \
static inline TYPENAME fname##TYPENAME(EN_ENO_PARAMS, TYPENAME op){\
TEST_EN(TYPENAME)\
return FUNC(op);\
}
/**************/
/* ABS */
/**************/
#define __abs_signed(TYPENAME) \
static inline TYPENAME __abs_##TYPENAME(EN_ENO_PARAMS, TYPENAME op){\
TEST_EN(TYPENAME)\
if (op < 0)\
return -op;\
return op;\
}
ANY_REAL(__abs_signed)
ANY_SINT(__abs_signed)
#define __abs_unsigned(TYPENAME) \
static inline TYPENAME __abs_##TYPENAME(EN_ENO_PARAMS, TYPENAME op){\
TEST_EN(TYPENAME)\
return op;\
}
ANY_UINT(__abs_unsigned)
/**************/
/* SQRT */
/**************/
#define __sqrt_(TYPENAME) __numeric(__sqrt_, TYPENAME, sqrt)
ANY_REAL(__sqrt_)
/**************/
/* LN */
/**************/
#define __ln_(TYPENAME) __numeric(__ln_, TYPENAME, log)
ANY_REAL(__ln_)
/**************/
/* LOG */
/**************/
#define __log_(TYPENAME) __numeric(__log_, TYPENAME, log10)
ANY_REAL(__log_)
/**************/
/* EXP */
/**************/
#define __exp_(TYPENAME) __numeric(__exp_, TYPENAME, exp)
ANY_REAL(__exp_)
/**************/
/* SIN */
/**************/
#define __sin_(TYPENAME) __numeric(__sin_, TYPENAME, sin)
ANY_REAL(__sin_)
/**************/
/* COS */
/**************/
#define __cos_(TYPENAME) __numeric(__cos_, TYPENAME, cos)
ANY_REAL(__cos_)
/**************/
/* TAN */
/**************/
#define __tan_(TYPENAME) __numeric(__tan_, TYPENAME, tan)
ANY_REAL(__tan_)
/**************/
/* ASIN */
/**************/
#define __asin_(TYPENAME) __numeric(__asin_, TYPENAME, asin)
ANY_REAL(__asin_)
/**************/
/* ACOS */
/**************/
#define __acos_(TYPENAME) __numeric(__acos_, TYPENAME, acos)
ANY_REAL(__acos_)
/**************/
/* ATAN */
/**************/
#define __atan_(TYPENAME) __numeric(__atan_, TYPENAME, atan)
ANY_REAL(__atan_)
/**************/
/* EXPT */
/**************/
#define __expt_(TYPENAME)\
static inline TYPENAME __expt_##TYPENAME(EN_ENO_PARAMS, TYPENAME IN1, REAL IN2){\
TEST_EN(TYPENAME)\
return pow(IN1, IN2);\
}ANY_REAL(__expt_)
/**************/
/* Selection */
/**************/
/**************/
/* SEL */
/**************/
#define __sel_(TYPENAME)\
static inline TYPENAME __sel_##TYPENAME(EN_ENO_PARAMS, BOOL G, TYPENAME op0, TYPENAME op1){\
TEST_EN(TYPENAME)\
return G ? op1 : op0;\
}
ANY(__sel_)
/**************/
/* limit */
/**************/
#define __limit_(TYPENAME)\
static inline TYPENAME __limit_##TYPENAME(EN_ENO_PARAMS, TYPENAME MN, TYPENAME IN, TYPENAME MX){\
TEST_EN(TYPENAME)\
return IN > MN ? IN < MX ? IN : MX : MN;\
}
/* Call previously defined macro for each concerned type */
ANY_NBIT(__limit_)
ANY_NUM(__limit_)
#define __limit_time(TYPENAME)\
static inline TYPENAME __limit_##TYPENAME(EN_ENO_PARAMS, TYPENAME MN, TYPENAME IN, TYPENAME MX){\
TEST_EN(TYPENAME)\
return __TIME_CMP(IN, MN) > 0 ? /* IN>MN ?*/\
__TIME_CMP(IN, MX) < 0 ? /* IN<MX ?*/\
IN : MX : MN;\
}
/* Call previously defined macro for each concerned type */
ANY_DATE(__limit_time)
__limit_time(TIME)
static inline STRING __limit_STRING(EN_ENO_PARAMS, STRING MN, STRING IN, STRING MX){
TEST_EN(STRING)
return __STR_CMP(IN, MN) > 0 ? __STR_CMP(IN, MX) < 0 ? IN : MX : MN;
}
/**************/
/* MAX */
/**************/
#define __extrem_(fname,TYPENAME, COND) \
static inline TYPENAME fname##TYPENAME(EN_ENO_PARAMS, UINT param_count, TYPENAME op1, ...){\
TEST_EN(TYPENAME)\
va_list ap;\
UINT i;\
\
va_start (ap, op1); /* Initialize the argument list. */\
\
for (i = 0; i < param_count - 1; i++){\
TYPENAME tmp = va_arg (ap, VA_ARGS_##TYPENAME);\
op1 = COND ? tmp : op1;\
}\
\
va_end (ap); /* Clean up. */\
return op1;\
}
#define __max_num(TYPENAME) __extrem_(__max_,TYPENAME, op1 < tmp)
ANY_NBIT(__max_num)
ANY_NUM(__max_num)
__extrem_(__max_, STRING, __STR_CMP(op1,tmp) < 0)
#define __max_time(TYPENAME) __extrem_(__max_, TYPENAME, __TIME_CMP(op1, tmp) < 0)
/* Call previously defined macro for each concerned type */
ANY_DATE(__max_time)
__max_time(TIME)
/**************/
/* MIN */
/**************/
#define __min_num(TYPENAME) __extrem_(__min_, TYPENAME, op1 > tmp)
ANY_NBIT(__min_num)
ANY_NUM(__min_num)
__extrem_(__min_, STRING, __STR_CMP(op1,tmp) > 0)
#define __min_time(TYPENAME) __extrem_(__min_, TYPENAME, __TIME_CMP(op1, tmp) > 0)
/* Call previously defined macro for each concerned type */
ANY_DATE(__min_time)
__min_time(TIME)
/**************/
/* MUX */
/**************/
#define __mux_(TYPENAME) \
static inline TYPENAME __mux_##TYPENAME(EN_ENO_PARAMS, UINT param_count, UINT K, ...){\
TEST_EN_COND(TYPENAME, K >= param_count)\
va_list ap;\
UINT i;\
TYPENAME tmp = __INIT_##TYPENAME;\
\
va_start (ap, K); /* Initialize the argument list. */\
\
for (i = 0; i < param_count; i++){\
if(K == i){\
tmp = va_arg (ap, VA_ARGS_##TYPENAME);\
va_end (ap); /* Clean up. */\
return tmp;\
}else{\
va_arg (ap, VA_ARGS_##TYPENAME);\
}\
}\
\
va_end (ap); /* Clean up. */\
return tmp;\
}
ANY(__mux_)
/**************/
/* Comparison */
/**************/
#define __compare_(fname,TYPENAME, COND) \
static inline BOOL fname##TYPENAME(EN_ENO_PARAMS, UINT param_count, TYPENAME op1, ...){\
TEST_EN(BOOL)\
va_list ap;\
UINT i;\
\
va_start (ap, op1); /* Initialize the argument list. */\
DBG(#fname #TYPENAME "\n")\
DBG_TYPE(TYPENAME, op1)\
\
for (i = 0; i < param_count - 1; i++){\
TYPENAME tmp = va_arg (ap, VA_ARGS_##TYPENAME);\
DBG_TYPE(TYPENAME, tmp)\
if(COND){\
op1 = tmp;\
}else{\
va_end (ap); /* Clean up. */\
return 0;\
}\
}\
\
va_end (ap); /* Clean up. */\
return 1;\
}
#define __compare_num(fname, TYPENAME, TEST) __compare_(fname, TYPENAME, op1 TEST tmp )
#define __compare_time(fname, TYPENAME, TEST) __compare_(fname, TYPENAME, __TIME_CMP(op1, tmp) TEST 0)
#define __compare_string(fname, TEST) __compare_(fname, STRING, __STR_CMP(op1, tmp) TEST 0 )
/**************/
/* GT */
/**************/
#define __gt_num(TYPENAME) __compare_num(__gt_, TYPENAME, > )
ANY_NBIT(__gt_num)
ANY_NUM(__gt_num)
#define __gt_time(TYPENAME) __compare_time(__gt_, TYPENAME, > )
ANY_DATE(__gt_time)
__gt_time(TIME)
__compare_string(__gt_, > )
/**************/
/* GE */
/**************/
#define __ge_num(TYPENAME) __compare_num(__ge_, TYPENAME, >= )
ANY_BIT(__ge_num)
ANY_NUM(__ge_num)
#define __ge_time(TYPENAME) __compare_time(__ge_, TYPENAME, >= )
ANY_DATE(__ge_time)
__ge_time(TIME)
__compare_string(__ge_, >=)
/**************/
/* EQ */
/**************/
#define __eq_num(TYPENAME) __compare_num(__eq_, TYPENAME, == )
ANY_BIT(__eq_num)
ANY_NUM(__eq_num)
#define __eq_time(TYPENAME) __compare_time(__eq_, TYPENAME, == )
ANY_DATE(__eq_time)
__eq_time(TIME)
__compare_string(__eq_, == )
/**************/
/* LT */
/**************/
#define __lt_num(TYPENAME) __compare_num(__lt_, TYPENAME, < )
ANY_BIT(__lt_num)
ANY_NUM(__lt_num)
#define __lt_time(TYPENAME) __compare_time(__lt_, TYPENAME, < )
ANY_DATE(__lt_time)
__lt_time(TIME)
__compare_string(__lt_, < )
/**************/
/* LE */
/**************/
#define __le_num(TYPENAME) __compare_num(__le_, TYPENAME, <= )
ANY_BIT(__le_num)
ANY_NUM(__le_num)
#define __le_time(TYPENAME) __compare_time(__le_, TYPENAME, <= )
ANY_DATE(__le_time)
__le_time(TIME)
__compare_string(__le_, <= )
/**************/
/* NE */
/**************/
#define __ne_num(TYPENAME) __compare_num(__ne_, TYPENAME, != )
ANY_BIT(__ne_num)
ANY_NUM(__ne_num)
#define __ne_time(TYPENAME) __compare_time(__ne_, TYPENAME, != )
ANY_DATE(__ne_time)
__ne_time(TIME)
__compare_string(__ne_, != )
/* Get string representation of variable referenced by a void pointer
* where type is given as its number */
/*#define __decl_str_case(cat,TYPENAME) \
case TYPENAME##_ENUM:\
return __##cat##_to_string(*(TYPENAME*)p);
#define __decl_str_case_bit(TYPENAME) __decl_str_case(bit,TYPENAME)
#define __decl_str_case_real(TYPENAME) __decl_str_case(real,TYPENAME)
#define __decl_str_case_sint(TYPENAME) __decl_str_case(sint,TYPENAME)
#define __decl_str_case_uint(TYPENAME) __decl_str_case(uint,TYPENAME)
static inline STRING __get_type_enum_str(__IEC_types_enum t, void* p){
switch(t){
__decl_str_case(bool,BOOL)
ANY_NBIT(__decl_str_case_bit)
ANY_REAL(__decl_str_case_real)
ANY_SINT(__decl_str_case_sint)
ANY_UINT(__decl_str_case_uint)
__decl_str_case(time,TIME)
__decl_str_case(date,DATE)
__decl_str_case(tod,TOD)
__decl_str_case(dt, DT)
}
}
*/