Changeset 5e3eea10 in mainline for uspace/app/sbi/src/stype.c

Timestamp:

2011-03-22T19:55:06Z (13 years ago)

Author:

Martin Sucha <sucha14@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

e7ffdd3

Parents:

c3f95d8 (diff), 432f68a (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge mainline changes

File:

• uspace/app/sbi/src/stype.c (modified) (6 diffs)

uspace/app/sbi/src/stype.c

@@ -1 +1 @@
 /*
- * Copyright (c) 2010 Jiri Svoboda
+ * Copyright (c) 2011 Jiri Svoboda
  * All rights reserved.
  *
@@ -76 +76 @@
 static void stype_vdecl(stype_t *stype, stree_vdecl_t *vdecl_s);
 static void stype_if(stype_t *stype, stree_if_t *if_s);
+static void stype_switch(stype_t *stype, stree_switch_t *switch_s);
 static void stype_while(stype_t *stype, stree_while_t *while_s);
 static void stype_for(stype_t *stype, stree_for_t *for_s);
@@ -889 +890 @@
         case st_vdecl: stype_vdecl(stype, stat->u.vdecl_s); break;
         case st_if: stype_if(stype, stat->u.if_s); break;
+        case st_switch: stype_switch(stype, stat->u.switch_s); break;
         case st_while: stype_while(stype, stat->u.while_s); break;
         case st_for: stype_for(stype, stat->u.for_s); break;
@@ -931 +933 @@
         }
 
+        /* Annotate with variable type */
+        vdecl_s->titem = titem;
+
         intmap_set(&block_vr->vdecls, vdecl_s->name->sid, vdecl_s);
 }
@@ -973 +978 @@
         if (if_s->else_block != NULL)
                 stype_block(stype, if_s->else_block);
+}
+
+/** Type @c switch statement.
+ *
+ * @param stype         Static typing object
+ * @param switch_s      @c switch statement
+ */
+static void stype_switch(stype_t *stype, stree_switch_t *switch_s)
+{
+        stree_expr_t *expr, *cexpr;
+        list_node_t *whenc_node;
+        stree_when_t *whenc;
+        list_node_t *expr_node;
+        tdata_item_t *titem1, *titem2;
+
+#ifdef DEBUG_TYPE_TRACE
+        printf("Type 'switch' statement.\n");
+#endif
+        stype_expr(stype, switch_s->expr);
+
+        titem1 = switch_s->expr->titem;
+        if (titem1 == NULL) {
+                cspan_print(switch_s->expr->cspan);
+                printf(" Error: Switch expression has no value.\n");
+                stype_note_error(stype);
+                return;
+        }
+
+        /* Walk through all when clauses. */
+        whenc_node = list_first(&switch_s->when_clauses);
+
+        while (whenc_node != NULL) {
+                /* Get when clause */
+                whenc = list_node_data(whenc_node, stree_when_t *);
+
+                /* Walk through all expressions of the when clause */
+                expr_node = list_first(&whenc->exprs);
+                while (expr_node != NULL) {
+                        expr = list_node_data(expr_node, stree_expr_t *);
+
+                        stype_expr(stype, expr);
+                        titem2 = expr->titem;
+                        if (titem2 == NULL) {
+                                cspan_print(expr->cspan);
+                                printf(" Error: When expression has no value.\n");
+                                stype_note_error(stype);
+                                return;
+                        }
+
+                        /* Convert expression to same type as switch expr. */
+                        cexpr = stype_convert(stype, expr, titem1);
+
+                        /* Patch code with augmented expression. */
+                        list_node_setdata(expr_node, cexpr);
+
+                        expr_node = list_next(&whenc->exprs, expr_node);
+                }
+
+                /* Type the @c when block */
+                stype_block(stype, whenc->block);
+
+                whenc_node = list_next(&switch_s->when_clauses, whenc_node);
+        }
+
+        /* Type the @c else block */
+        if (switch_s->else_block != NULL)
+                stype_block(stype, switch_s->else_block);
 }
 
@@ -1168 +1240 @@
         while (ec_n != NULL) {
                 ec = list_node_data(ec_n, stree_except_t *);
+                run_texpr(stype->program, stype->current_csi, ec->etype,
+                    &ec->titem);
                 stype_block(stype, ec->block);