source: cpp/frams/util/extvalue.cpp @ 845

Last change on this file since 845 was 845, checked in by Maciej Komosinski, 2 months ago

Made strings at least slightly comparable with zero so 'Math.pi && "xyz" && [9,9,7]' can work as expected in FramScript?

  • Property svn:eol-style set to native
File size: 33.7 KB
Line 
1// This file is a part of Framsticks SDK.  http://www.framsticks.com/
2// Copyright (C) 1999-2019  Maciej Komosinski and Szymon Ulatowski.
3// See LICENSE.txt for details.
4
5#include "extvalue.h"
6#include <frams/param/param.h>
7#include "sstringutils.h"
8#include <ctype.h>
9#include <frams/vm/classes/collectionobj.h>
10#include <frams/vm/classes/3dobject.h>
11#include <frams/vm/classes/genoobj.h>
12#include <common/nonstd_math.h>
13#include <common/Convert.h>
14#include <climits>
15#include <errno.h>
16
17#ifndef NO_BARRIER
18#include <frams/simul/barrier.h>
19#include <common/threads.h>
20#endif
21
22#ifdef MULTITHREADED
23#include <pthread.h>
24//this lock only protects against ref.counter corruption caused by concurrent reads.
25//read/write conficts and nonatomicity are handled by BarrierObject (at least in theory ;-))
26static pthread_mutex_t extobject_ref_lock = PTHREAD_MUTEX_INITIALIZER;
27#define REF_LOCK pthread_mutex_lock(&extobject_ref_lock)
28#define REF_UNLOCK pthread_mutex_unlock(&extobject_ref_lock)
29#else
30#define REF_LOCK
31#define REF_UNLOCK
32#endif
33
34void ExtObject::incref() const
35{
36        if (subtype & 1)
37        {
38                REF_LOCK;
39                dbobject->refcount++;
40                REF_UNLOCK;
41        }
42}
43
44void ExtObject::decref() const
45{
46        if (subtype & 1)
47        {
48                REF_LOCK;
49                bool destroy = !--dbobject->refcount;
50                REF_UNLOCK;
51                //another thread can now access the object while we are deleting it
52                //but this is not a bug since we only guarantee read/read safety
53                if (destroy) delete dbobject;
54        }
55}
56
57bool ExtObject::operator==(const ExtObject& src) const
58{
59        if (object != src.object) return false;
60        const char* n1 = interfaceName();
61        const char* n2 = src.interfaceName();
62        return (n1 == n2) || (strcmp(n1, n2) == 0);
63}
64
65bool ExtObject::makeUnique()
66{
67        if (!(subtype & 1)) return false;
68        if (dbobject->refcount == 1) return false;
69        VectorObject* v = VectorObject::fromObject(*this, false);
70        if (v)
71        {
72                VectorObject* n = new VectorObject;
73                n->data.setSize(n->data.size());
74                for (int i = 0; i < v->data.size(); i++)
75                {
76                        ExtValue *x = (ExtValue*)v->data(i);
77                        n->data.set(i, x ? new ExtValue(*x) : NULL);
78                }
79                operator=(n->makeObject());
80                return true;
81        }
82        return false;
83}
84
85void* ExtObject::getTarget(const char* classname, bool through_barrier, bool warn) const
86{
87        if (!strcmp(interfaceName(), classname))
88                return getTarget();
89#ifndef NO_BARRIER
90        if (through_barrier)
91        {
92                BarrierObject *bo = BarrierObject::fromObject(*this);
93                if (bo)
94                        return bo->getSourceObject().getTarget(classname, true, warn);
95        }
96#endif
97
98        if (warn)
99        {
100                logPrintf("ExtValue", "getObjectTarget", LOG_WARN, "%s object expected, %s found", classname, interfaceName());
101        }
102
103        return NULL;
104}
105
106bool ExtObject::callDelegate(const char* delegate, ExtValue *args, ExtValue *ret)
107{
108        Param tmp;
109        ParamInterface *pi = getParamInterface(tmp);
110        if (pi)
111        {
112                int f = pi->findId(delegate);
113                if (f >= 0)
114                {
115                        pi->call(f, args, ret);
116                        return true;
117                }
118        }
119        logPrintf("Genotype", "get", LOG_ERROR, "Could not call delegate '%s.%s'", pi ? pi->getName() : "NULL", delegate);
120        return false;
121}
122
123SString ExtObject::toString() const
124{
125        if (isEmpty()) return SString("null");
126        Param tmp_param;
127        ParamInterface *p = getParamInterface(tmp_param);
128        int tostr = p->findId("toString");
129        if (tostr >= 0)
130        {
131                return SString(p->getString(tostr));
132        }
133        else
134        {
135                SString tmp("<");
136                tmp += p->getName();
137                tmp += SString::sprintf(" object at %p>", object ? object : paraminterface);
138                return tmp;
139        }
140}
141
142THREAD_LOCAL_DEF(ExtObject::Serialization, ExtObject_serialization);
143
144void ExtObject::Serialization::begin()
145{
146        if (level == 0)
147                refs.clear();
148        level++;
149}
150
151int ExtObject::Serialization::add(const ExtObject &o)
152{
153        if (o.isEmpty()) return -1;
154        for (int i = 0; i < (int)refs.size(); i++)
155        {
156                ExtObject& r = refs[i];
157                if (r == o) return i;
158        }
159        refs.push_back(o);
160        return -1;
161}
162
163void ExtObject::Serialization::replace(const ExtObject& o, const ExtObject& other)
164{
165        if (o.isEmpty()) return;
166        for (int i = 0; i < (int)refs.size(); i++)
167        {
168                ExtObject& r = refs[i];
169                if (r == o)
170                {
171                        r = other;
172                        return;
173                }
174        }
175}
176
177void ExtObject::Serialization::remove(const ExtObject& o)
178{
179        if (o.isEmpty()) return;
180        for (int i = 0; i < (int)refs.size(); i++)
181        {
182                ExtObject& r = refs[i];
183                if (o == r) refs.erase(refs.begin() + i);
184        }
185}
186
187const ExtObject* ExtObject::Serialization::get(int ref)
188{
189        if (ref < 0) return NULL;
190        if (ref >= (int)refs.size()) return NULL;
191        return &refs[ref];
192}
193
194void ExtObject::Serialization::end()
195{
196        level--;
197        if (level == 0)
198                refs.clear();
199}
200
201SString ExtObject::serialize_inner(SerializationFormat format) const
202{
203        int ref = tlsGetRef(ExtObject_serialization).add(*this);
204        SString ret;
205
206        if (ref >= 0)
207        {
208                switch (format)
209                {
210                case NativeSerialization: return SString::sprintf("^%d", ref);
211                case JSONSerialization: return SString("null");
212                }
213        }
214
215        if (isEmpty()) return SString("null");
216        {
217                VectorObject *vec = VectorObject::fromObject(*this, false);
218                if (vec)
219                {
220                        ret = vec->serialize(format); goto finally;
221                }
222        }
223        {
224                DictionaryObject *dic = DictionaryObject::fromObject(*this, false);
225                if (dic)
226                {
227                        ret = dic->serialize(format); goto finally;
228                }
229        }
230        {
231                Param tmp_param;
232                ParamInterface *p = getParamInterface(tmp_param);
233                int m = p->findId("toVector");
234                if (m < 0)
235                        m = p->findId("toDictionary");
236                if (m >= 0)
237                {
238                        ExtObject o(p->getObject(m));
239                        switch (format)
240                        {
241                        case NativeSerialization: ret = SString(interfaceName()) + o.serialize(format); break;
242                        case JSONSerialization: ret = SString::sprintf("{\"class\":\"%s\",\"data\":%s}", interfaceName(), o.serialize(format).c_str()); break;
243                        }
244                        goto finally;
245                }
246                m = p->findId("toString");
247                if (m >= 0)
248                {
249                        SString str = p->getString(m);
250                        sstringQuote(str);
251                        switch (format)
252                        {
253                        case NativeSerialization: ret = SString(interfaceName()) + "\"" + str + "\""; break;
254                        case JSONSerialization: ret = SString::sprintf("{\"class\":\"%s\",\"data\":\"%s\"}", interfaceName(), str.c_str()); break;
255                        }
256                        goto finally;
257                }
258        }
259
260        tlsGetRef(ExtObject_serialization).remove(*this);//undo nonserializable reference
261        switch (format)
262        {
263        case NativeSerialization: return SString(interfaceName()) + SString::sprintf("<%p>", object ? object : paraminterface); break;
264        case JSONSerialization: return SString::sprintf("{\"class\":\"%s\"}", interfaceName()); break;
265        }
266
267        finally: // not 100% "finally", the case of nonserializable reference (directly above) returns directly without going through finally
268
269        switch (format)
270        {
271        case JSONSerialization:
272                tlsGetRef(ExtObject_serialization).remove(*this);//JSON only tracks recursion, does not track reuse
273                break;
274        case NativeSerialization:; //nop (just to avoid compiler warning)
275        }
276
277        return ret;
278}
279
280SString ExtObject::serialize(SerializationFormat format) const
281{
282        tlsGetRef(ExtObject_serialization).begin();
283        SString ret = serialize_inner(format);
284        tlsGetRef(ExtObject_serialization).end();
285        return ret;
286}
287
288///////////////////////////////////////
289
290SString ExtValue::typeDescription() const
291{
292        switch (type)
293        {
294        case TInt: return SString("int");
295        case TDouble: return SString("float");
296        case TString: return SString("string");
297        case TUnknown: return SString("null");
298        case TInvalid: return SString("invalid");
299        case TObj: return getObject().isEmpty() ? SString("null") : SString(getObject().interfaceName());
300        }
301        return SString::empty();
302}
303
304SString ExtValue::typeAndValue() const
305{
306        SString msg = typeDescription();
307        SString delimit("'");
308        switch (type)
309        {
310        case TString:
311                delimit = "\"";
312        case TInt: case TDouble: case TObj:
313                msg += " ";
314                msg += sstringDelimitAndShorten(getString(), 50, (type == TString), delimit, delimit);
315        default:;
316        }
317        return msg;
318}
319
320void *ExtValue::getObjectTarget(const char* classname, bool warn) const
321{
322        if (type != TObj)
323        {
324                if (warn)
325                {
326                        SString tmp = getString();
327                        if (tmp.len() > 30) tmp = tmp.substr(0, 30) + "...";
328                        if (type == TString) tmp = SString("\"") + tmp + SString("\"");
329                        logPrintf("ExtValue", "getObjectTarget", LOG_WARN, "%s object expected, %s found", classname, tmp.c_str());
330                }
331                return NULL;
332        }
333
334        return getObject().getTarget(classname, true, warn);
335}
336
337void ExtValue::set(const ExtValue& src)
338{
339        switch (src.type)
340        {
341        case TString: sets(src.sdata()); break;
342        case TInt: seti(src.idata()); break;
343        case TDouble: setd(src.ddata()); break;
344        case TObj: seto(src.odata()); break;
345        default:type = src.type; break;
346        }
347}
348
349void ExtValue::setEmpty()
350{
351        switch (type)
352        {
353#ifdef EXTVALUEUNION
354        case TString: sdata().~SString(); break;
355        case TObj: odata().~ExtObject(); break;
356#else
357        case TString: delete s; break;
358        case TObj: delete o; break;
359#endif
360        default:;
361        }
362        type = TUnknown;
363}
364
365void ExtValue::setError(const SString& msg)
366{
367        ErrorObject *err = new ErrorObject;
368        err->message = msg;
369        setObject(ErrorObject::makeDynamicObject(err));
370}
371
372static ExtValue::CompareResult longsign(paInt x)
373{
374        if (x < 0) return ExtValue::ResultLower;
375        if (x > 0) return ExtValue::ResultHigher;
376        return ExtValue::ResultEqual;
377}
378
379static ExtValue::CompareResult compareNull(const ExtValue& v)
380{
381        if (v.isNull()) return ExtValue::ResultEqualUnordered;
382        if ((v.getType() == TInt) && (v.getInt() == 0)) return ExtValue::ResultUnequal_RelaxedEqual;
383        return ExtValue::ResultUnequal_RelaxedUnequal; //comparing anything else with null is valid but null is neither higher nor lower than numbers or strings
384}
385
386static ExtValue::CompareResult compareInvalid(const ExtValue& v)
387{
388        if (v.getType() == TInvalid) return ExtValue::ResultEqualUnordered;
389        if ((v.getType() == TInt) && (v.getInt() == 0)) return ExtValue::ResultUnequal_RelaxedEqual;
390        return ExtValue::ResultMismatch; //comparing anything else with invalid is invalid
391}
392
393static ExtValue::CompareResult compareFloat(double a, double b)
394{
395        double t = a - b;
396        if (t < 0) return ExtValue::ResultLower;
397        else if (t > 0) return ExtValue::ResultHigher;
398        return ExtValue::ResultEqual;
399}
400
401static ExtValue::CompareResult compareString(const SString &a, const SString &b)
402{
403        const char* s1 = a.c_str();
404        const char* s2 = b.c_str();
405        return longsign(strcmp(s1, s2));
406}
407
408ExtValue::CompareResult ExtValue::compare(const ExtValue& src) const
409{
410        if (isNull())
411                return compareNull(src);
412        else if (src.isNull())
413                return compareNull(*this);
414        if (getType() == TInvalid)
415                return compareInvalid(src);
416        else if (src.getType() == TInvalid)
417                return compareInvalid(*this);
418        switch (type)
419        {
420
421        case TInt:
422
423                if (src.getType() == TInt)
424                {
425                        paInt t = src.getInt();
426                        if (idata() > 0)
427                        {
428                                if (t > 0) return longsign(idata() - t); else return ResultHigher;
429                        }
430                        else
431                        {
432                                if (t <= 0) return longsign(idata() - t); else return ResultLower;
433                        }
434                }
435                else if (src.getType() == TDouble)
436                        return compareFloat((double)idata(), src.getDouble());
437                else if ((getInt() == 0) && (src.getType() == TString))
438                        return ResultMismatch_RelaxedUnequal;
439                else
440                        return ResultMismatch;//comparing numbers with other things is invalid
441                break;
442
443        case TDouble:
444                if ((src.getType() == TDouble) || (src.getType() == TInt))
445                        return compareFloat(getDouble(), src.getDouble());
446                else
447                        return ResultMismatch;
448                break;
449
450        case TString:
451                if (src.getType() == TString)
452                        return compareString(sdata(), src.getString());
453                else if ((src.type == TInt) && (src.getInt() == 0))
454                        return ResultMismatch_RelaxedUnequal;
455                else
456                        return ResultMismatch;
457                break;
458
459        case TObj:
460        {
461                if (src.type == TObj)
462                        return odata() == src.odata() ? ResultEqualUnordered : ResultUnequal_RelaxedUnequal;
463                if ((src.type == TInt) && (src.getInt() == 0))
464                        return ResultMismatch_RelaxedUnequal;
465                return ResultMismatch;
466        }
467        default:;
468        }
469        return ResultMismatch;
470}
471
472const char* ExtValue::cmp_op_names[] = { "==", "!=", ">=", "<=", ">", "<", "~=", "!~", NULL };
473
474int ExtValue::interpretCompare(CmpOperator op, CompareResult result, CmpContext *context)
475{
476        CompareResult error_threshold = ResultUnequal_RelaxedEqual;//error when ResultUnequal_RelaxedEqual or higher (not comparable)
477        int ret = 0;
478        switch (op)
479        {
480        case CmpEQ: ret = (result == ResultEqual) || (result == ResultEqualUnordered); error_threshold = ResultMismatch_RelaxedUnequal; break;
481        case CmpNE: ret = !((result == ResultEqual) || (result == ResultEqualUnordered)); error_threshold = ResultMismatch_RelaxedUnequal; break;
482        case CmpGT: ret = (result == ResultHigher); error_threshold = ResultEqualUnordered; break;
483        case CmpGE: ret = (result == ResultEqual) || (result == ResultHigher); error_threshold = ResultEqualUnordered; break;
484        case CmpLT: ret = (result == ResultLower); error_threshold = ResultEqualUnordered; break;
485        case CmpLE: ret = (result == ResultEqual) || (result == ResultLower); error_threshold = ResultEqualUnordered; break;
486        case CmpREQ: ret = (result == ResultEqual) || (result == ResultEqualUnordered) || (result == ResultUnequal_RelaxedEqual); error_threshold = ResultMismatch; break;
487        case CmpRNE: ret = !((result == ResultEqual) || (result == ResultEqualUnordered) || (result == ResultUnequal_RelaxedEqual)); error_threshold = ResultMismatch; break;
488        default:;
489        }
490        if (result >= error_threshold)
491        {
492                SString msg = "Type mismatch while comparing";
493                if (context)
494                {
495                        if (context->v1 && context->v2)
496                                msg += SString::sprintf(": %s %s %s",
497                                        context->v1->typeAndValue().c_str(),
498                                        cmp_op_names[op - CmpFIRST],
499                                        context->v2->typeAndValue().c_str());
500                }
501                logPrintf("ExtValue", "interpretCompare", LOG_ERROR, "%s", msg.c_str());
502                ret = -1;
503        }
504        return ret;
505}
506
507int ExtValue::operator==(const ExtValue& src) const
508{
509        if (type != src.type) return 0;
510        switch (type)
511        {
512        case TInt: return idata() == src.idata();
513        case TDouble: return ddata() == src.ddata();
514        case TString: return sdata() == src.sdata();
515        case TObj: return odata() == src.odata();
516        default:;
517        }
518        return 1;
519}
520
521void ExtValue::operator+=(const ExtValue& src)
522{
523        // return = ok, break = fail
524        switch (type)
525        {
526        case TInt:
527                switch (src.getType())
528                {
529                case TDouble:
530                        setDouble(double(getInt()) + src.getDouble());
531                        return;
532                case TString:
533                        break;
534                default:
535                        idata() += src.getInt();
536                        return;
537                }
538                break;
539        case TDouble:
540                switch (src.getType())
541                {
542                case TString:
543                        break;
544                default:
545                        ddata() += src.getDouble();
546                        return;
547                }
548                break;
549        case TString: sdata() += src.getString(); return;
550        case TObj:
551        {
552                VectorObject *vec = VectorObject::fromObject(getObject(), false);
553                VectorObject *vec2 = VectorObject::fromObject(src.getObject(), false);
554                if (vec && vec2)
555                {
556                        for (int i = 0; i < vec2->data.size(); i++)
557                        {
558                                ExtValue *s = (ExtValue*)vec2->data(i);
559                                ExtValue *d = s ? new ExtValue(*s) : NULL;
560                                vec->data += d;
561                        }
562                        return;
563                }
564        }
565        //NO break;
566        default:;
567        }
568        logPrintf("ExtValue", "add", LOG_ERROR, "Can't add %s to %s", src.typeAndValue().c_str(), typeAndValue().c_str());
569}
570
571void ExtValue::operator-=(const ExtValue& src)
572{
573        // return = ok, break = fail
574        switch (type)
575        {
576        case TInt:
577                switch (src.getType())
578                {
579                case TInt:
580                        idata() -= src.getInt();
581                        return;
582                case TDouble:
583                        setDouble(double(getInt()) - src.getDouble());
584                        return;
585                default:;
586                }
587                break;
588        case TDouble:
589                switch (src.getType())
590                {
591                case TDouble:
592                case TInt:
593                        ddata() -= src.getDouble();
594                        return;
595                default:;
596                }
597                break;
598        default:;
599        }
600        logPrintf("ExtValue", "subtract", LOG_ERROR, "Can't subtract %s from %s", src.typeAndValue().c_str(), typeAndValue().c_str());
601}
602
603void ExtValue::operator*=(const ExtValue& src)
604{
605        // return = ok, break = fail
606        switch (type)
607        {
608        case TInt:
609                switch (src.getType())
610                {
611                case TInt:
612                        idata() *= src.getInt();
613                        return;
614                case TDouble:
615                        setDouble(double(getInt())*src.getDouble());
616                        return;
617                default:;
618                }
619                break;
620        case TDouble:
621                switch (src.getType())
622                {
623                case TInt:
624                case TDouble:
625                        ddata() *= src.getDouble();
626                        return;
627                default:;
628                }
629                break;
630        case TString:
631                switch (src.getType())
632                {
633                case TInt: case TDouble:
634                {
635                        SString t;
636                        for (int n = src.getInt(); n > 0; n--)
637                                t += getString();
638                        setString(t);
639                        return;
640                }
641                default:;
642                }
643                break;
644        case TObj:
645        {
646                VectorObject *vec = VectorObject::fromObject(getObject(), false);
647                if (vec)
648                {
649                        int n = src.getInt();
650                        int orig_size = vec->data.size();
651                        if (n <= 0)
652                        {
653                                vec->clear(); return;
654                        }
655                        for (; n > 1; n--)
656                        {
657                                for (int i = 0; i < orig_size; i++)
658                                {
659                                        ExtValue *s = (ExtValue*)vec->data(i);
660                                        ExtValue *d = s ? new ExtValue(*s) : NULL;
661                                        vec->data += d;
662                                }
663                        }
664                        return;
665                }
666        }
667        //NO break;
668        default:;
669        }
670        logPrintf("ExtValue", "multiply", LOG_WARN, "Can't multiply %s by %s", typeAndValue().c_str(), src.typeAndValue().c_str());
671}
672
673/*#include "fpu_control.h"
674#include <signal.h>
675
676static int fpuexception;
677void mathhandler(int sig)
678{
679printf("fpu exception!\n");
680fpuexception=1;
681signal(SIGFPE,SIG_IGN);
682} */
683
684void ExtValue::divInt(paInt a)
685{
686        if (a)
687                idata() /= a;
688        else
689        {
690                logPrintf("ExtValue", "divide", LOG_ERROR, "Division by zero: %d/0", idata());
691                setInvalid();
692        }
693}
694
695void ExtValue::divDouble(double a)
696{
697        if (a == 0.0)
698        {
699                logPrintf("ExtValue", "divide", LOG_ERROR, "Division by zero: %s/0.0", getString().c_str());
700                setInvalid();
701        }
702        else
703        {
704                fpExceptDisable();
705                double tmp = getDouble() / a;
706                if (!finite(tmp))
707                {
708                        logPrintf("ExtValue", "divide", LOG_ERROR, "Overflow %s/%g", getString().c_str(), a); setInvalid();
709                }
710                else
711                        setDouble(tmp);
712                // niby dobrze ale lepiej byloby to robic bardziej systematycznie a nie tylko w dzieleniu?
713                //if (isnan(ddata())) //http://www.digitalmars.com/d/archives/c++/Traping_divide_by_zero_5728.html
714                //        { logPrintf("ExtValue","divide",LOG_ERROR,"not-a-number",(const char*)getString()); setInvalid(); }
715                fpExceptEnable();
716        }
717}
718
719void ExtValue::operator/=(const ExtValue& src)
720{
721        switch (type)
722        {
723        case TInt:
724                switch (src.getType())
725                {
726                case TInt:
727                        divInt(src.idata());
728                        return;
729                case TDouble:
730                        divDouble(src.ddata());
731                        return;
732                default:;
733                }
734                break;
735
736        case TDouble:
737                switch (src.getType())
738                {
739                case TInt:
740                        divDouble(src.getDouble());
741                        return;
742                case TDouble:
743                        divDouble(src.ddata());
744                        return;
745                default:;
746                }
747                break;
748
749        default:;
750        }
751        logPrintf("ExtValue", "divide", LOG_ERROR, "Can't divide %s by %s", typeAndValue().c_str(), src.typeAndValue().c_str());
752}
753
754SString ExtValue::formatTime(char fmt, double value)
755{
756        if (fmt == 'i')
757        { //could be Convert::ctime()
758                int d, h, m, ti = value;
759                int ms = 1000 * (value - ti);
760                d = ti / 86400; ti -= d * 86400;
761                h = ti / 3600; ti -= h * 3600;
762                m = ti / 60; ti -= m * 60;
763                SString ret;
764                if (d > 0) ret += SString::sprintf("%dd ", d);
765                if (h > 0) ret += SString::sprintf("%d:", h);
766                ret += SString::sprintf("%02d:%02d.%03d", m, ti, ms);
767                return ret;
768        }
769        time_t ti = value;
770        struct tm tm = Convert::localtime(ti);
771        switch (fmt)
772        {
773        case 'T': return SString::sprintf("%04d-%02d-%02d %02d:%02d:%02d", 1900 + tm.tm_year, 1 + tm.tm_mon, tm.tm_mday, tm.tm_hour, tm.tm_min, tm.tm_sec);
774        case 't': return SString(Convert::asctime(tm).c_str());
775        case 'y': return SString::sprintf("%04d-%02d-%02d", 1900 + tm.tm_year, 1 + tm.tm_mon, tm.tm_mday);
776        case 'm': return SString::sprintf("%04d-%02d-%02d %02d:%02d:%02d.%03d", 1900 + tm.tm_year, 1 + tm.tm_mon, tm.tm_mday, tm.tm_hour, tm.tm_min, tm.tm_sec, int(1000 * (value - (double)ti)));
777        }
778        return SString();
779}
780
781SString ExtValue::format(const SString& fmt, const ExtValue **values, int count)
782{
783        SString ret;
784        // "..........%.........%..........%........"
785        //  ^_cur     ^_next
786        //  ^^^^^^^^^^___sub
787        //
788        // "..........%.........%..........%........"
789        //            ^-cur     ^-next
790        //            ^^^^^^^^^^___sub
791        const char* begin = fmt.c_str(), *end = begin + fmt.len(), *curr = begin;
792        int type = 0;
793
794        class Args
795        {
796                const ExtValue **values;
797                int count;
798                int arg;
799        public:
800                Args(const ExtValue **v, int c) :values(v), count(c), arg(0) {}
801                bool finished() { return arg >= count; }
802                const ExtValue *getNext() { const ExtValue *ret = NULL; if ((arg < count) && values[arg]) ret = values[arg]; arg++; return ret; }
803        };
804        Args args(values, count);
805
806        while (curr < end)
807        {
808                const char* next = strchr(curr, '%');
809                if (!next) next = end; else if ((next == curr) && (curr > begin))
810                {
811                        next = strchr(next + 1, '%'); if (!next) next = end;
812                }
813                type = 0;
814                if (curr > begin)
815                {
816                        type = 0;
817                        for (const char* t = curr; t < next; t++)
818                                switch (*t)
819                                {
820                                case 'd': case 'x': case 'X': case 'u': case 'p': case 'c': type = 'd'; t = next; break;
821                                case 'f': case 'g': case 'e': type = 'f'; t = next; break;
822                                case 's': type = 's'; t = next; break;
823                                case 't': case 'T': case 'y': case 'i': case 'm': type = *t; t = next; break;
824                                case '%': if (t > begin) { type = *t; t = next; } break;
825                                }
826                }
827                if (curr > begin) curr--;
828                const ExtValue *a;
829                if (args.finished() && (type != 0) && (type != '%'))
830                {
831                        ret += fmt.substr((int)(curr - begin));
832                        break;
833                }
834                SString sub = fmt.substr((int)(curr - begin), (int)(next - curr));
835                switch (type)
836                {
837                case 'd': a = args.getNext(); ret += SString::sprintf(sub.c_str(), a ? a->getInt() : 0); break;
838                case 'f': a = args.getNext(); ret += SString::sprintf(sub.c_str(), a ? a->getDouble() : 0); break;
839                case 's': {a = args.getNext(); SString tmp; if (a) tmp = a->getString(); ret += SString::sprintf(sub.c_str(), tmp.c_str()); } break;
840                case 't': case 'T': case 'i': case 'y': case 'm':
841                        a = args.getNext();
842                        ret += formatTime(type, a ? a->getDouble() : 0);
843                        ret += sub.substr(2);
844                        break;
845                case '%': ret += '%'; ret += sub.substr(2); break;
846                case 0: ret += sub; break;
847                }
848                curr = next + 1;
849        }
850        return ret;
851}
852
853
854void ExtValue::modInt(paInt a)
855{
856        if (a)
857                idata() %= a;
858        else
859        {
860                logPrintf("ExtValue", "modulo", LOG_ERROR, "Modulo by zero: %d%%0", idata());
861                setInvalid();
862        }
863}
864
865void ExtValue::modDouble(double a)
866{
867        if (a == 0.0)
868        {
869                logPrintf("ExtValue", "modulo", LOG_ERROR, "Modulo by zero: %s%%0.0", getString().c_str());
870                setInvalid();
871        }
872        else
873                setDouble(fmod(ddata(), a));
874}
875
876void ExtValue::operator%=(const ExtValue& src)
877{
878        switch (type)
879        {
880        case TInt: modInt(src.getInt()); break;
881        case TDouble: modDouble(src.getDouble()); break;
882
883        case TString:
884        {
885                VectorObject *vec = VectorObject::fromObject(src.getObject(), false);
886                if (vec)
887                        sdata() = format(sdata(), (const ExtValue**)&vec->data.getref(0), vec->data.size());
888                else
889                {
890                        const ExtValue *ptr = &src; sdata() = ExtValue::format(sdata(), &ptr, 1);
891                }
892        }
893        break;
894
895        case TObj: case TUnknown: case TInvalid:
896                logPrintf("ExtValue", "modulo", LOG_WARN, "Can't apply modulo to %s", typeDescription().c_str());
897
898        default:;
899        }
900}
901
902bool ExtValue::parseInt(const char* s, paInt &result, bool strict, bool error)
903{
904        ExtValue tmp;
905        const char* after = tmp.parseNumber(s, strict ? TInt : TUnknown);
906        if ((after == NULL) || (after[0] != 0))
907        {
908                if (error)
909                        logPrintf("ExtValue", "parseInt", LOG_ERROR, "Could not parse '%s'%s", s, strict ? " (strict)" : "");
910                return false;
911        }
912        result = tmp.getInt();
913        return true;
914}
915
916bool ExtValue::parseDouble(const char* s, double &result, bool error)
917{
918        ExtValue tmp;
919        const char* after = tmp.parseNumber(s, TDouble);
920        if ((after == NULL) || (after[0] != 0))
921        {
922                if (error)
923                        logPrintf("ExtValue", "parseDouble", LOG_ERROR, "Could not parse '%s'", s);
924                return false;
925        }
926        result = tmp.getDouble();
927        return true;
928}
929
930paInt ExtValue::getInt(const char* s, bool strict)
931{
932        paInt result;
933        if (parseInt(s, result, strict, true))
934                return result;
935        return 0;
936}
937
938double ExtValue::getDouble(const char* s)
939{
940        double result;
941        if (parseDouble(s, result, true))
942                return result;
943        return 0;
944}
945
946paInt ExtValue::getInt() const
947{
948        switch (type)
949        {
950        case TInt: return idata();
951        case TDouble:
952        {
953                bool toobig = false;
954                if (((toobig = (ddata() > (double)INT_MAX)))
955                        || (ddata() < (double)INT_MIN))
956                {
957                        logPrintf("ExtValue", "getInt", LOG_ERROR, "Overflow when converting floating point value to integer; using %s allowed integer '%d' instead of '%s'", toobig ? "maximal" : "minimal", toobig ? INT_MAX : INT_MIN, getString().c_str());
958                        return toobig ? INT_MAX : INT_MIN;
959                }
960                return (int)ddata();
961        }
962        case TString: return getInt(sdata().c_str());
963        case TObj:
964                logPrintf("ExtValue", "getInt", LOG_ERROR, "Getting integer value from object reference (%s)", getString().c_str());
965                return (paInt)(intptr_t)odata().param;
966        default:;
967        }
968        return 0;
969}
970
971double ExtValue::getDouble() const
972{
973        switch (type)
974        {
975        case TDouble: return ddata();
976        case TInt: return (double)idata();
977        case TString: return getDouble(sdata().c_str());
978        case TObj:
979                logPrintf("ExtValue", "getDouble", LOG_ERROR, "Getting floating point value from object reference (%s)", getString().c_str());
980                return (double)(intptr_t)odata().param;
981        default:;
982        }
983        return 0.0;
984}
985
986SString ExtValue::getString() const
987{
988        switch (type)
989        {
990        case TString: return sdata();
991        case TInt: return SString::valueOf(idata());
992        case TDouble: return SString::valueOf(ddata());
993        case TObj: return odata().toString();
994        case TInvalid:  return SString("invalid");
995        default: return SString("null");
996        }
997}
998
999const SString* ExtValue::getStringPtr() const
1000{
1001        if (type == TString)
1002                return &sdata();
1003        return NULL;
1004}
1005
1006SString ExtValue::serialize(SerializationFormat format) const
1007{
1008        switch (type)
1009        {
1010        case TString:
1011        {
1012                SString q = sdata();
1013                sstringQuote(q);
1014                return SString("\"") + q + SString("\"");
1015        }
1016        case TInt:
1017                return SString::valueOf(idata());
1018        case TDouble:
1019                return SString::valueOf(ddata());
1020        case TObj:
1021                return odata().serialize(format);
1022        case TInvalid:
1023                if (format == NativeSerialization)
1024                        return SString("invalid");
1025                // else null --v
1026        default:
1027                return SString("null");
1028        }
1029}
1030
1031/// returns the first character after the parsed number, or NULL if not a number
1032/// @param strict_type = restrict the allowed return value (TUnknown = unrestricted)
1033const char* ExtValue::parseNumber(const char* in, ExtPType strict_type)
1034{
1035        char* after;
1036        if (in == NULL) return NULL;
1037        if (in[0] == 0) return NULL;
1038        while (isspace(*in)) in++;
1039        bool minus = (in[0] == '-');
1040        bool plus = (in[0] == '+');
1041        if (((in[0] == '0') && ((in[1] == 'x') || (in[1] == 'X')))
1042                || (((minus || plus) && (in[1] == '0') && ((in[2] == 'x') || (in[2] == 'X')))))
1043        {
1044                in += (minus || plus) ? 3 : 2;
1045                if (isspace(*in)) return NULL;
1046                errno = 0;
1047                unsigned long intvalue = strtoul(in, &after, 16);
1048                if ((after > in) && (errno == 0) && (intvalue <= 0xffffffff))
1049                {
1050                        if (strict_type == TDouble)
1051                                setDouble(minus ? -(double)intvalue : (double)intvalue);
1052                        else
1053                                setInt(minus ? -(paInt)intvalue : (paInt)intvalue);
1054                        return after;
1055                }
1056                else
1057                        return NULL;
1058        }
1059
1060        errno = 0;
1061        double fpvalue = strtod(in, &after);
1062        if ((after > in) && (errno == 0))
1063        {
1064                if (strict_type != TDouble)
1065                {
1066                        if ((memchr(in, '.', after - in) == NULL) && (memchr(in, 'e', after - in) == NULL) && (memchr(in, 'E', after - in) == NULL) // no "special" characters
1067                                && (fpvalue == floor(fpvalue)) // value is integer
1068                                && (fpvalue >= INT_MIN) && (fpvalue <= INT_MAX)) // within limits
1069                        {
1070                                setInt(fpvalue);
1071                                return after;
1072                        }
1073                        else if (strict_type == TInt)
1074                                return NULL;
1075                }
1076                setDouble(fpvalue);
1077                return after;
1078        }
1079        return NULL;
1080}
1081
1082PtrListTempl<ParamInterface*> &ExtValue::getDeserializableClasses()
1083{
1084        static PtrListTempl<ParamInterface*> classes;
1085        return classes;
1086}
1087
1088ParamInterface *ExtValue::findDeserializableClass(const char* name)
1089{
1090        FOREACH(ParamInterface*, cls, getDeserializableClasses())
1091                if (!strcmp(cls->getName(), name))
1092                        return cls;
1093        return NULL;
1094}
1095
1096static const char* skipWord(const char* in)
1097{
1098        while (isalpha(*in) || (*in == '_'))
1099                in++;
1100        return in;
1101}
1102
1103//returns the first character after the parsed portion or NULL if invalid format
1104const char* ExtValue::deserialize_inner(const char* in)
1105{
1106        while (isspace(*in)) in++;
1107        const char* ret = parseNumber(in);
1108        if (ret)
1109                return ret;
1110        else if (*in == '\"')
1111        {
1112                ret = skipQuoteString(in + 1, NULL);
1113                SString s(in + 1, (int)(ret - (in + 1)));
1114                sstringUnquote(s);
1115                setString(s);
1116                if (*ret == '\"')
1117                        return ret + 1;
1118                else
1119                {
1120                        logPrintf("ExtValue", "deserialize", LOG_ERROR, "Missing '\"' in string: '%s'", ret);
1121                        return NULL;
1122                }
1123        }
1124        else if (*in == '[')
1125        {
1126                VectorObject *vec = new VectorObject;
1127                ExtObject o(&VectorObject::par, vec);
1128                tlsGetRef(ExtObject_serialization).add(o);
1129                const char* p = in + 1;
1130                ExtValue tmp; bool first = true, comma = false;
1131                const char* prev_element = p;
1132                while (true)
1133                {
1134                        while (isspace(*p)) p++;
1135                        if (*p == 0)
1136                        {
1137                                logPrintf("ExtValue", "deserialize", LOG_ERROR, "Missing ']' in Vector");
1138                                return NULL;
1139                        }
1140                        if (*p == ']')
1141                        {
1142                                if (comma)
1143                                {
1144                                        logPrintf("ExtValue", "deserialize", LOG_ERROR, "No element after ',' in Vector");
1145                                        return NULL;
1146                                }
1147                                p++;
1148                                break;
1149                        }
1150                        if (!first && !comma)
1151                        {
1152                                logPrintf("ExtValue", "deserialize", LOG_ERROR, "Missing ',' in Vector: '%s'", prev_element);
1153                                return NULL;
1154                        }
1155                        ret = tmp.deserialize(p);
1156                        prev_element = p; first = false; comma = false;
1157                        if (ret)
1158                        {
1159                                vec->data += new ExtValue(tmp);
1160                                p = ret;
1161                                if (*p == ',') { p++; comma = true; }
1162                        }
1163                        else
1164                        {
1165                                p = NULL;
1166                                break;
1167                        }
1168                }
1169                setObject(o);
1170                return p;
1171        }
1172        else if (*in == '{')
1173        {
1174                DictionaryObject *dic = new DictionaryObject;
1175                ExtObject o(&DictionaryObject::par, dic);
1176                tlsGetRef(ExtObject_serialization).add(o);
1177                const char* p = in + 1;
1178                ExtValue args[2]/*={value,key}*/, dummy_ret;
1179                bool first = true, comma = false;
1180                const char* prev_element = p;
1181                while (true)
1182                {
1183                        while (isspace(*p)) p++;
1184                        if (*p == 0)
1185                        {
1186                                logPrintf("ExtValue", "deserialize", LOG_ERROR, "Missing '}' in Dictionary");
1187                                return NULL;
1188                        }
1189                        if (*p == '}')
1190                        {
1191                                if (comma)
1192                                {
1193                                        logPrintf("ExtValue", "deserialize", LOG_ERROR, "No element after ',' in Dictionary");
1194                                        return NULL;
1195                                }
1196                                p++;
1197                                break;
1198                        }
1199                        if (!first && !comma)
1200                        {
1201                                logPrintf("ExtValue", "deserialize", LOG_ERROR, "Missing ',' in Dictionary: '%s'", prev_element);
1202                                return NULL;
1203                        }
1204                        ret = args[1].deserialize(p);
1205                        prev_element = p; first = false; comma = false;
1206                        if ((!ret) || (args[1].getType() != TString)) { p = NULL; break; }
1207                        p = ret;
1208                        if (*p != ':') { logPrintf("ExtValue", "deserialize", LOG_ERROR, "Missing ':' in Dictionary: '%s'", p); p = NULL; break; }
1209                        p++;
1210                        ret = args[0].deserialize(p);
1211                        if (!ret) { p = NULL; break; }
1212                        p = ret;
1213                        dic->p_set(args, &dummy_ret);
1214                        if (*p == ',') { p++; comma = true; }
1215                }
1216                setObject(o);
1217                return p;
1218        }
1219        else if (!strncmp(in, "null", 4))
1220        {
1221                setEmpty();
1222                return in + 4;
1223        }
1224        else if (!strncmp(in, "true", 4))
1225        {
1226                setInt(1);
1227                return in + 4;
1228        }
1229        else if (!strncmp(in, "false", 5))
1230        {
1231                setInt(0);
1232                return in + 5;
1233        }
1234        else if (!strncmp(in, "invalid", 7))
1235        {
1236                setInvalid();
1237                return in + 7;
1238        }
1239        else if (*in == '<')
1240        { //unserializable object
1241                const char* end = in + 1;
1242                while (*end)
1243                        if (*end == '>')
1244                        {
1245                                setError(SString("Unserializable class: ") + SString(in + 1, end - in - 1));
1246                                return end + 1;
1247                        }
1248                        else
1249                                end++;
1250                logPrintf("ExtValue", "deserialize", LOG_ERROR, "Missing '>'");
1251                return NULL;
1252        }
1253        else if (*in == '^')
1254        {
1255                in++;
1256                ExtValue ref;
1257                ret = ref.parseNumber(in, TInt);
1258                if (ret && (ref.getType() == TInt))
1259                {
1260                        const ExtObject* o = tlsGetRef(ExtObject_serialization).get(ref.getInt());
1261                        if (o)
1262                        {
1263                                setObject(*o);
1264                                return ret;
1265                        }
1266                }
1267                logPrintf("ExtValue", "deserialize", LOG_ERROR, "Invalid reference: '%s'", in - 1);
1268                return NULL;
1269        }
1270        else if ((ret = skipWord(in)) && (ret != in))
1271        {
1272                SString clsname(in, (int)(ret - in));
1273                ExtValue tmp;
1274                ret = tmp.deserialize(ret);
1275                ParamInterface *cls = findDeserializableClass(clsname.c_str());
1276                if (cls && (tmp.getType() != TUnknown) && (tmp.getType() != TInvalid))
1277                {
1278                        VectorObject *vec = VectorObject::fromObject(tmp.getObject(), false);
1279                        if (vec)
1280                        {
1281                                int m = cls->findId("newFromVector");
1282                                if (m >= 0)
1283                                {
1284                                        cls->call(m, &tmp, this);
1285                                        tlsGetRef(ExtObject_serialization).replace(tmp.getObject(), getObject());
1286                                        return ret;
1287                                }
1288                        }
1289                        DictionaryObject *dic = DictionaryObject::fromObject(tmp.getObject(), false);
1290                        if (dic)
1291                        {
1292                                int m = cls->findId("newFromDictionary");
1293                                if (m >= 0)
1294                                {
1295                                        cls->call(m, &tmp, this);
1296                                        tlsGetRef(ExtObject_serialization).replace(tmp.getObject(), getObject());
1297                                        return ret;
1298                                }
1299                        }
1300                        if (tmp.getType() == TString)
1301                        {
1302                                int m = cls->findId("newFromString");
1303                                if (m >= 0)
1304                                {
1305                                        cls->call(m, &tmp, this);
1306                                        tlsGetRef(ExtObject_serialization).replace(tmp.getObject(), getObject());
1307                                        return ret;
1308                                }
1309                        }
1310                        tlsGetRef(ExtObject_serialization).remove(tmp.getObject());
1311                        setEmpty();
1312                }
1313                setEmpty();
1314                logPrintf("ExtValue", "deserialize", LOG_WARN, "object of class \"%s\" could not be deserialized", clsname.c_str());
1315                return ret;
1316        }
1317        logPrintf("ExtValue", "deserialize", LOG_ERROR, "Bad syntax: '%s'", in);
1318        setEmpty();
1319        return NULL;
1320}
1321
1322const char* ExtValue::deserialize(const char* in)
1323{
1324        tlsGetRef(ExtObject_serialization).begin();
1325        const char* ret = deserialize_inner(in);
1326        if (ret) while (isspace(*ret)) ret++;
1327        tlsGetRef(ExtObject_serialization).end();
1328        return ret;
1329}
1330
1331ExtObject ExtValue::getObject() const
1332{
1333        if (type == TObj) return odata();
1334        return ExtObject();
1335}
1336
1337ExtValue ExtValue::getExtType()
1338{
1339        static const char* typenames[] = { "null", "int", "float", "string", "", "invalid" };
1340        if (getType() != TObj)
1341                return ExtValue(typenames[(int)getType()]);
1342        ExtObject& o = odata();
1343        return ExtValue(SString(o.isEmpty() ? "" : o.interfaceName()));
1344}
1345
1346SString SString::valueOf(const ExtValue& v)
1347{
1348        return v.getString();
1349}
1350SString SString::valueOf(const ExtObject& v)
1351{
1352        return v.toString();
1353}
1354
1355#define FIELDSTRUCT ErrorObject
1356static ParamEntry errorobject_paramtab[] =
1357{
1358        { "Error", 1, 3, "Error", },
1359        { "message", 0, 0, "Message", "s", FIELD(message), },
1360        { "newFromString", 0, 0, "create new object", "p oError(s message)", PROCEDURE(p_newfromstring), },
1361        { "toString", 0, PARAM_READONLY | PARAM_NOSTATIC, "Textual form", "s", GETONLY(toString), },
1362        { 0, 0, 0, },
1363};
1364#undef FIELDSTRUCT
1365
1366Param& ErrorObject::getParam()
1367{
1368        static Param param(errorobject_paramtab);
1369        return param;
1370}
1371
1372ExtObject ErrorObject::makeDynamicObject(ErrorObject* e)
1373{
1374        return ExtObject(&getParam(), (DestrBase*)e);
1375}
1376
1377const SString ErrorObject::TO_STRING_PREFIX = "Error: ";
1378
1379void ErrorObject::get_toString(ExtValue* ret)
1380{
1381        ret->setString(TO_STRING_PREFIX + message);
1382}
1383
1384void ErrorObject::p_newfromstring(ExtValue *args, ExtValue *ret)
1385{
1386        ErrorObject *err = new ErrorObject();
1387        err->message = args[0].getString();
1388        if (err->message.startsWith(TO_STRING_PREFIX.c_str()))
1389                err->message = err->message.substr(TO_STRING_PREFIX.len());
1390        *ret = makeDynamicObject(err);
1391}
1392
1393REGISTER_DESERIALIZABLE(ErrorObject)
Note: See TracBrowser for help on using the repository browser.