- getTypeOfAny function to check the datatype.

- lisCount function to return the size the list. git-svn-id: https://openmodelica.org/svn/OpenModelica/trunk@9644 f25d12d1-65f4-0310-ae8a-bbce733d8d8e
OpenModelica · Aug 16, 2011 · 5b58e02 · 5b58e02
1 parent e15c17e
commit 5b58e02
Show file tree

Hide file tree

Showing 2 changed files with 118 additions and 1 deletion.
diff --git a/c_runtime/meta/meta_modelica.c b/c_runtime/meta/meta_modelica.c
@@ -33,6 +33,7 @@
 #include <limits.h>
 #include <stdio.h>
 #include <stdlib.h>
+#include <string.h>
 
 jmp_buf *mmc_jumper;
 
@@ -246,7 +247,7 @@ inline static int anyStringWork(void* any, int ix)
   if (MMC_HDRISSTRING(hdr)) {
     MMC_CHECK_STRING(any);
     checkAnyStringBufSize(ix,strlen(MMC_STRINGDATA(any))+4);
-    ix += sprintf(anyStringBuf+ix, "\"%s\"", MMC_STRINGDATA(any));
+    ix += sprintf(anyStringBuf+ix, "%s", MMC_STRINGDATA(any));
     return ix;
   }
 
@@ -473,6 +474,120 @@ void printTypeOfAny(void* any) /* for debugging */
   EXIT(1);
 }
 
+char* getTypeOfAny(void* any) /* for debugging */
+{
+  mmc_uint_t hdr;
+  int numslots;
+  unsigned ctor;
+  int i;
+  void *data;
+  struct record_description *desc;
+
+  if (any == NULL) {
+    return "replaceable type Any";
+  }
+
+  if ((0 == ((mmc_sint_t)any & 1))) {
+    return "Integer";
+  }
+
+  hdr = MMC_GETHDR(any);
+
+  if (hdr == MMC_NILHDR) {
+    return "list<Any>";
+  }
+
+  if (hdr == MMC_REALHDR) {
+    return "Real";
+  }
+
+  if (MMC_HDRISSTRING(hdr)) {
+    return "String";
+  }
+
+  numslots = MMC_HDRSLOTS(hdr);
+  ctor = 255 & (hdr >> 2);
+
+  if (numslots>0 && ctor == MMC_ARRAY_TAG) {
+    char* s1 = "meta_array<";
+    char *s2 = getTypeOfAny(MMC_FETCH(MMC_OFFSET(MMC_UNTAGPTR(any),1)));
+    char *s3 = ">";
+    char *result = (char*)malloc(strlen(s1) + strlen(s2) + strlen(s3) + 1);
+    strcpy(result, s1);
+    strcat(result, s2);
+    strcat(result, s3);
+    return result;
+  }
+//  if (numslots>0 && ctor > 1) { /* RECORD */
+//    desc = MMC_FETCH(MMC_OFFSET(MMC_UNTAGPTR(any),1));
+//    fprintf(stderr, "%s(", desc->name);
+//    for (i=2; i<=numslots; i++) {
+//      data = MMC_FETCH(MMC_OFFSET(MMC_UNTAGPTR(any),i));
+//      fprintf(stderr, "%s = ", desc->fieldNames[i-2]);
+//      printTypeOfAny(data);
+//      if (i!=numslots)
+//        fprintf(stderr, ", ");
+//    }
+//    fprintf(stderr, ")");
+//    return;
+//  }
+
+  if (numslots>0 && ctor == 0) { /* TUPLE */
+    char* s1 = "tuple<";
+    char *s2 = getTypeOfAny(MMC_FETCH(MMC_OFFSET(MMC_UNTAGPTR(any),1)));
+    char *s3 = ">";
+    char *result = (char*)malloc(strlen(s1) + strlen(s2) + strlen(s3) + 1);
+    strcpy(result, s1);
+    strcat(result, s2);
+    strcat(result, s3);
+    return result;
+  }
+
+  if (numslots==0 && ctor==1) /* NONE() */ {
+    return "Option<Any>";
+  }
+
+  if (numslots==1 && ctor==1) /* SOME(x) */ {
+    char* s1 = "Option<";
+    char *s2 = getTypeOfAny(MMC_FETCH(MMC_OFFSET(MMC_UNTAGPTR(any),1)));
+    char *s3 = ">";
+    char *result = (char*)malloc(strlen(s1) + strlen(s2) + strlen(s3) + 1);
+    strcpy(result, s1);
+    strcat(result, s2);
+    strcat(result, s3);
+    return result;
+  }
+
+  if (numslots==2 && ctor==1) { /* CONS-PAIR */
+    char* s1 = "list<";
+    char *s2 = getTypeOfAny(MMC_CAR(any));
+    char *s3 = ">";
+    char *result = (char*)malloc(strlen(s1) + strlen(s2) + strlen(s3) + 1);
+    strcpy(result, s1);
+    strcat(result, s2);
+    strcat(result, s3);
+    return result;
+  }
+
+  fprintf(stderr, "%s:%d: %d slots; ctor %d - FAILED to detect the type\n", __FILE__, __LINE__, numslots, ctor);
+  EXIT(1);
+}
+
+int listCount(void* any)
+{
+  int count = 0;
+
+  if (any == NULL) {
+    return count;
+  }
+  //any = MMC_CDR(any);
+  while (!MMC_NILTEST(any)) {
+    count++;
+    any = MMC_CDR(any);
+  }
+  return count;
+}
+
 unsigned long mmc_prim_hash(void *p)
 {
   unsigned long hash = 0;

diff --git a/c_runtime/meta/meta_modelica.h b/c_runtime/meta/meta_modelica.h
@@ -427,6 +427,8 @@ char* anyString(void*); /* For debugging in external functions */
 void* mmc_anyString(void*); /* For debugging */
 void printAny(void*); /* For debugging */
 void printTypeOfAny(void*); /* For debugging */
+char* getTypeOfAny(void*); /* For debugging */
+int listCount(void*); /* For debugging */
 
 /*
  * Generated (Meta)Records should access a static, constant value of