Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • uspace/app/sbi/src/run_expr.c

    rcaad59a r38aaacc2  
    2727 */
    2828
    29 /** @file Runner (executes the code). */
     29/** @file Run expressions. */
    3030
    3131#include <stdio.h>
    … …  
    109109static void run_assign(run_t *run, stree_assign_t *assign, rdata_item_t **res);
    110110static void run_as(run_t *run, stree_as_t *as_op, rdata_item_t **res);
    111 
    112 /** Evaluate expression. */
     111static void run_box(run_t *run, stree_box_t *box, rdata_item_t **res);
     112
     113/** Evaluate expression.
     114 *
     115 * Run the expression @a expr and store pointer to the result in *(@a res).
     116 * If the expression has on value (assignment) then @c NULL is returned.
     117 * @c NULL is also returned if an error or exception occurs.
     118 *
     119 * @param run           Runner object
     120 * @param expr          Expression to run
     121 * @param res           Place to store result
     122 */
    113123void run_expr(run_t *run, stree_expr_t *expr, rdata_item_t **res)
    114124{
    … …  
    151161                run_as(run, expr->u.as_op, res);
    152162                break;
     163        case ec_box:
     164                run_box(run, expr->u.box, res);
     165                break;
    153166        }
    154167
    … …  
    160173}
    161174
    162 /** Evaluate name reference expression. */
     175/** Evaluate name reference expression.
     176 *
     177 * @param run           Runner object
     178 * @param nameref       Name reference
     179 * @param res           Place to store result
     180 */
    163181static void run_nameref(run_t *run, stree_nameref_t *nameref,
    164182    rdata_item_t **res)
    … …  
    247265                assert(csi != NULL);
    248266
    249                 if (sym->outer_csi != csi) {
     267                if (symbol_search_csi(run->program, csi, nameref->name)
     268                    == NULL) {
    250269                        /* Function is not in the current object. */
    251270                        printf("Error: Cannot access non-static member "
    … …  
    283302                assert(obj != NULL);
    284303
    285                 if (sym->outer_csi != csi) {
     304                if (symbol_search_csi(run->program, csi, nameref->name)
     305                    == NULL) {
    286306                        /* Variable is not in the current object. */
    287307                        printf("Error: Cannot access non-static member "
    … …  
    316336}
    317337
    318 /** Evaluate literal. */
     338/** Evaluate literal.
     339 *
     340 * @param run           Runner object
     341 * @param literal       Literal
     342 * @param res           Place to store result
     343 */
    319344static void run_literal(run_t *run, stree_literal_t *literal,
    320345    rdata_item_t **res)
    … …  
    342367}
    343368
    344 /** Evaluate Boolean literal. */
     369/** Evaluate Boolean literal.
     370 *
     371 * @param run           Runner object
     372 * @param lit_bool      Boolean literal
     373 * @param res           Place to store result
     374 */
    345375static void run_lit_bool(run_t *run, stree_lit_bool_t *lit_bool,
    346376    rdata_item_t **res)
    … …  
    396426}
    397427
    398 /** Evaluate integer literal. */
     428/** Evaluate integer literal.
     429 *
     430 * @param run           Runner object
     431 * @param lit_int       Integer literal
     432 * @param res           Place to store result
     433 */
    399434static void run_lit_int(run_t *run, stree_lit_int_t *lit_int,
    400435    rdata_item_t **res)
    … …  
    423458}
    424459
    425 /** Evaluate reference literal (@c nil). */
     460/** Evaluate reference literal (@c nil).
     461 *
     462 * @param run           Runner object
     463 * @param lit_ref       Reference literal
     464 * @param res           Place to store result
     465 */
    426466static void run_lit_ref(run_t *run, stree_lit_ref_t *lit_ref,
    427467    rdata_item_t **res)
    … …  
    451491}
    452492
    453 /** Evaluate string literal. */
     493/** Evaluate string literal.
     494 *
     495 * @param run           Runner object
     496 * @param lit_string    String literal
     497 * @param res           Place to store result
     498 */
    454499static void run_lit_string(run_t *run, stree_lit_string_t *lit_string,
    455500    rdata_item_t **res)
    … …  
    478523}
    479524
    480 /** Evaluate @c self reference. */
     525/** Evaluate @c self reference.
     526 *
     527 * @param run           Runner object
     528 * @param self_ref      Self reference
     529 * @param res           Place to store result
     530 */
    481531static void run_self_ref(run_t *run, stree_self_ref_t *self_ref,
    482532    rdata_item_t **res)
    … …  
    494544}
    495545
    496 /** Evaluate binary operation. */
     546/** Evaluate binary operation.
     547 *
     548 * @param run           Runner object
     549 * @param binop         Binary operation
     550 * @param res           Place to store result
     551 */
    497552static void run_binop(run_t *run, stree_binop_t *binop, rdata_item_t **res)
    498553{
    … …  
    574629}
    575630
    576 /** Evaluate binary operation on bool arguments. */
     631/** Evaluate binary operation on bool arguments.
     632 *
     633 * @param run           Runner object
     634 * @param binop         Binary operation
     635 * @param v1            Value of first argument
     636 * @param v2            Value of second argument
     637 * @param res           Place to store result
     638 */
    577639static void run_binop_bool(run_t *run, stree_binop_t *binop, rdata_value_t *v1,
    578640    rdata_value_t *v2, rdata_item_t **res)
    … …  
    628690}
    629691
    630 /** Evaluate binary operation on char arguments. */
     692/** Evaluate binary operation on char arguments.
     693 *
     694 * @param run           Runner object
     695 * @param binop         Binary operation
     696 * @param v1            Value of first argument
     697 * @param v2            Value of second argument
     698 * @param res           Place to store result
     699*/
    631700static void run_binop_char(run_t *run, stree_binop_t *binop, rdata_value_t *v1,
    632701    rdata_value_t *v2, rdata_item_t **res)
    … …  
    691760}
    692761
    693 /** Evaluate binary operation on int arguments. */
     762/** Evaluate binary operation on int arguments.
     763 *
     764 * @param run           Runner object
     765 * @param binop         Binary operation
     766 * @param v1            Value of first argument
     767 * @param v2            Value of second argument
     768 * @param res           Place to store result
     769*/
    694770static void run_binop_int(run_t *run, stree_binop_t *binop, rdata_value_t *v1,
    695771    rdata_value_t *v2, rdata_item_t **res)
    … …  
    781857}
    782858
    783 /** Evaluate binary operation on string arguments. */
     859/** Evaluate binary operation on string arguments.
     860 *
     861 * @param run           Runner object
     862 * @param binop         Binary operation
     863 * @param v1            Value of first argument
     864 * @param v2            Value of second argument
     865 * @param res           Place to store result
     866 */
    784867static void run_binop_string(run_t *run, stree_binop_t *binop, rdata_value_t *v1,
    785868    rdata_value_t *v2, rdata_item_t **res)
    … …  
    790873        rdata_string_t *string_v;
    791874
    792         char *s1, *s2;
     875        const char *s1, *s2;
    793876
    794877        (void) run;
    … …  
    820903}
    821904
    822 /** Evaluate binary operation on ref arguments. */
     905/** Evaluate binary operation on ref arguments.
     906 *
     907 * @param run           Runner object
     908 * @param binop         Binary operation
     909 * @param v1            Value of first argument
     910 * @param v2            Value of second argument
     911 * @param res           Place to store result
     912 */
    823913static void run_binop_ref(run_t *run, stree_binop_t *binop, rdata_value_t *v1,
    824914    rdata_value_t *v2, rdata_item_t **res)
    … …  
    862952
    863953
    864 /** Evaluate unary operation. */
     954/** Evaluate unary operation.
     955 *
     956 * @param run           Runner object
     957 * @param unop          Unary operation
     958 * @param res           Place to store result
     959 */
    865960static void run_unop(run_t *run, stree_unop_t *unop, rdata_item_t **res)
    866961{
    … …  
    898993}
    899994
    900 /** Evaluate unary operation on int argument. */
     995/** Evaluate unary operation on int argument.
     996 *
     997 * @param run           Runner object
     998 * @param unop          Unary operation
     999 * @param val           Value of argument
     1000 * @param res           Place to store result
     1001 */
    9011002static void run_unop_int(run_t *run, stree_unop_t *unop, rdata_value_t *val,
    9021003    rdata_item_t **res)
    … …  
    9321033
    9331034
    934 /** Evaluate @c new operation. */
     1035/** Evaluate @c new operation.
     1036 *
     1037 * Evaluates operation per the @c new operator that creates a new
     1038 * instance of some type.
     1039 *
     1040 * @param run           Runner object
     1041 * @param unop          Unary operation
     1042 * @param res           Place to store result
     1043 */
    9351044static void run_new(run_t *run, stree_new_t *new_op, rdata_item_t **res)
    9361045{
    … …  
    9581067}
    9591068
    960 /** Create new array. */
     1069/** Create new array.
     1070 *
     1071 * @param run           Runner object
     1072 * @param new_op        New operation
     1073 * @param titem         Type of new var node (tic_tarray)
     1074 * @param res           Place to store result
     1075 */
    9611076static void run_new_array(run_t *run, stree_new_t *new_op,
    9621077    tdata_item_t *titem, rdata_item_t **res)
    … …  
    10461161        /* Create member variables */
    10471162        for (i = 0; i < length; ++i) {
    1048                 /* XXX Depends on member variable type. */
    1049                 elem_var = rdata_var_new(vc_int);
    1050                 elem_var->u.int_v = rdata_int_new();
    1051                 bigint_init(&elem_var->u.int_v->value, 0);
     1163                /* Create and initialize element. */
     1164                run_var_new(run, tarray->base_ti, &elem_var);
    10521165
    10531166                array->element[i] = elem_var;
    … …  
    10621175}
    10631176
    1064 /** Create new object. */
     1177/** Create new object.
     1178 *
     1179 * @param run           Runner object
     1180 * @param new_op        New operation
     1181 * @param titem         Type of new var node (tic_tobject)
     1182 * @param res           Place to store result
     1183 */
    10651184static void run_new_object(run_t *run, stree_new_t *new_op,
    10661185    tdata_item_t *titem, rdata_item_t **res)
    … …  
    10811200}
    10821201
    1083 /** Evaluate member acccess. */
     1202/** Evaluate member acccess.
     1203 *
     1204 * Evaluate operation per the member access ('.') operator.
     1205 *
     1206 * @param run           Runner object
     1207 * @param access        Access operation
     1208 * @param res           Place to store result
     1209 */
    10841210static void run_access(run_t *run, stree_access_t *access, rdata_item_t **res)
    10851211{
    … …  
    11031229}
    11041230
    1105 /** Evaluate member acccess (with base already evaluated). */
     1231/** Evaluate member acccess (with base already evaluated).
     1232 *
     1233 * @param run           Runner object
     1234 * @param access        Access operation
     1235 * @param arg           Evaluated base expression
     1236 * @param res           Place to store result
     1237 */
    11061238static void run_access_item(run_t *run, stree_access_t *access,
    11071239    rdata_item_t *arg, rdata_item_t **res)
    … …  
    11311263}
    11321264
    1133 /** Evaluate reference acccess. */
     1265/** Evaluate reference acccess.
     1266 *
     1267 * @param run           Runner object
     1268 * @param access        Access operation
     1269 * @param arg           Evaluated base expression
     1270 * @param res           Place to store result
     1271 */
    11341272static void run_access_ref(run_t *run, stree_access_t *access,
    11351273    rdata_item_t *arg, rdata_item_t **res)
    … …  
    11491287}
    11501288
    1151 /** Evaluate delegate-member acccess. */
     1289/** Evaluate delegate-member acccess.
     1290 *
     1291 * @param run           Runner object
     1292 * @param access        Access operation
     1293 * @param arg           Evaluated base expression
     1294 * @param res           Place to store result
     1295 */
    11521296static void run_access_deleg(run_t *run, stree_access_t *access,
    11531297    rdata_item_t *arg, rdata_item_t **res)
    … …  
    11921336}
    11931337
    1194 /** Evaluate object member acccess. */
     1338/** Evaluate object member acccess.
     1339 *
     1340 * @param run           Runner object
     1341 * @param access        Access operation
     1342 * @param arg           Evaluated base expression
     1343 * @param res           Place to store result
     1344 */
    11951345static void run_access_object(run_t *run, stree_access_t *access,
    11961346    rdata_item_t *arg, rdata_item_t **res)
    … …  
    12401390                printf("Error: Accessing object member which is nested CSI.\n");
    12411391                exit(1);
     1392        case sc_deleg:
     1393                printf("Error: Accessing object member which is a delegate.\n");
     1394                exit(1);
    12421395        case sc_fun:
    1243                 /* Construct delegate. */
     1396                /* Construct anonymous delegate. */
    12441397                ritem = rdata_item_new(ic_value);
    12451398                value = rdata_value_new();
    … …  
    12811434                addr_prop->u.named->prop_d = deleg_p;
    12821435                break;
    1283         default:
    1284                 ritem = NULL;
    12851436        }
    12861437
    … …  
    12881439}
    12891440
    1290 /** Call a function. */
     1441/** Call a function.
     1442 *
     1443 * Call a function and return the result in @a res.
     1444 *
     1445 * @param run           Runner object
     1446 * @param call          Call operation
     1447 * @param res           Place to store result
     1448 */
    12911449static void run_call(run_t *run, stree_call_t *call, rdata_item_t **res)
    12921450{
    1293         rdata_item_t *rfun;
     1451        rdata_item_t *rdeleg, *rdeleg_vi;
    12941452        rdata_deleg_t *deleg_v;
    12951453        list_t arg_vals;
    … …  
    13041462        printf("Run call operation.\n");
    13051463#endif
    1306         run_expr(run, call->fun, &rfun);
     1464        run_expr(run, call->fun, &rdeleg);
    13071465        if (run_is_bo(run)) {
    13081466                *res = NULL;
    … …  
    13151473        }
    13161474
    1317         if (rfun->ic != ic_value || rfun->u.value->var->vc != vc_deleg) {
    1318                 printf("Unimplemented: Call expression of this type.\n");
     1475        run_cvt_value_item(run, rdeleg, &rdeleg_vi);
     1476        assert(rdeleg_vi->ic == ic_value);
     1477
     1478        if (rdeleg_vi->u.value->var->vc != vc_deleg) {
     1479                printf("Unimplemented: Call expression of this type (");
     1480                rdata_item_print(rdeleg_vi);
     1481                printf(").\n");
    13191482                exit(1);
    13201483        }
    13211484
    1322         deleg_v = rfun->u.value->var->u.deleg_v;
     1485        deleg_v = rdeleg_vi->u.value->var->u.deleg_v;
    13231486
    13241487        if (deleg_v->sym->sc != sc_fun) {
    … …  
    13671530}
    13681531
    1369 /** Run index operation. */
     1532/** Run index operation.
     1533 *
     1534 * Evaluate operation per the indexing ('[', ']') operator.
     1535 *
     1536 * @param run           Runner object
     1537 * @param index         Index operation
     1538 * @param res           Place to store result
     1539 */
    13701540static void run_index(run_t *run, stree_index_t *index, rdata_item_t **res)
    13711541{
    … …  
    14331603}
    14341604
    1435 /** Run index operation on array. */
     1605/** Run index operation on array.
     1606 *
     1607 * @param run           Runner object
     1608 * @param index         Index operation
     1609 * @param base          Evaluated base expression
     1610 * @param args          Evaluated indices (list of rdata_item_t)
     1611 * @param res           Place to store result
     1612 */
    14361613static void run_index_array(run_t *run, stree_index_t *index,
    14371614    rdata_item_t *base, list_t *args, rdata_item_t **res)
    … …  
    15251702}
    15261703
    1527 /** Index an object (via its indexer). */
     1704/** Index an object (via its indexer).
     1705 *
     1706 * @param run           Runner object
     1707 * @param index         Index operation
     1708 * @param base          Evaluated base expression
     1709 * @param args          Evaluated indices (list of rdata_item_t)
     1710 * @param res           Place to store result
     1711 */
    15281712static void run_index_object(run_t *run, stree_index_t *index,
    15291713    rdata_item_t *base, list_t *args, rdata_item_t **res)
    … …  
    15971781}
    15981782
    1599 /** Run index operation on string. */
     1783/** Run index operation on string.
     1784 *
     1785 * @param run           Runner object
     1786 * @param index         Index operation
     1787 * @param base          Evaluated base expression
     1788 * @param args          Evaluated indices (list of rdata_item_t)
     1789 * @param res           Place to store result
     1790 */
    16001791static void run_index_string(run_t *run, stree_index_t *index,
    16011792    rdata_item_t *base, list_t *args, rdata_item_t **res)
    … …  
    16901881}
    16911882
    1692 /** Execute assignment. */
     1883/** Run assignment.
     1884 *
     1885 * Executes an assignment. @c NULL is always stored to @a res because
     1886 * an assignment does not have a value.
     1887 *
     1888 * @param run           Runner object
     1889 * @param assign        Assignment expression
     1890 * @param res           Place to store result
     1891*/
    16931892static void run_assign(run_t *run, stree_assign_t *assign, rdata_item_t **res)
    16941893{
    … …  
    17271926}
    17281927
    1729 /** Execute @c as conversion. */
     1928/** Execute @c as conversion.
     1929 *
     1930 * @param run           Runner object
     1931 * @param as_op         @c as conversion expression
     1932 * @param res           Place to store result
     1933 */
    17301934static void run_as(run_t *run, stree_as_t *as_op, rdata_item_t **res)
    17311935{
    … …  
    17941998}
    17951999
    1796 /** Create new CSI instance. */
     2000/** Execute boxing operation.
     2001 *
     2002 * XXX We can scrap this special operation once we have constructors.
     2003 *
     2004 * @param run           Runner object
     2005 * @param box           Boxing operation
     2006 * @param res           Place to store result
     2007 */
     2008static void run_box(run_t *run, stree_box_t *box, rdata_item_t **res)
     2009{
     2010        rdata_item_t *rarg_i;
     2011        rdata_item_t *rarg_vi;
     2012
     2013        stree_symbol_t *csi_sym;
     2014        stree_csi_t *csi;
     2015        builtin_t *bi;
     2016        rdata_var_t *var;
     2017        rdata_object_t *object;
     2018
     2019        sid_t mbr_name_sid;
     2020        rdata_var_t *mbr_var;
     2021
     2022#ifdef DEBUG_RUN_TRACE
     2023        printf("Run boxing operation.\n");
     2024#endif
     2025        run_expr(run, box->arg, &rarg_i);
     2026        if (run_is_bo(run)) {
     2027                *res = NULL;
     2028                return;
     2029        }
     2030
     2031        run_cvt_value_item(run, rarg_i, &rarg_vi);
     2032        assert(rarg_vi->ic == ic_value);
     2033
     2034        bi = run->program->builtin;
     2035
     2036        /* Just to keep the compiler happy. */
     2037        csi_sym = NULL;
     2038
     2039        switch (rarg_vi->u.value->var->vc) {
     2040        case vc_bool: csi_sym = bi->boxed_bool; break;
     2041        case vc_char: csi_sym = bi->boxed_char; break;
     2042        case vc_int: csi_sym = bi->boxed_int; break;
     2043        case vc_string: csi_sym = bi->boxed_string; break;
     2044
     2045        case vc_ref:
     2046        case vc_deleg:
     2047        case vc_array:
     2048        case vc_object:
     2049        case vc_resource:
     2050                assert(b_false);
     2051        }
     2052
     2053        csi = symbol_to_csi(csi_sym);
     2054        assert(csi != NULL);
     2055
     2056        /* Construct object of the relevant boxed type. */
     2057        run_new_csi_inst(run, csi, res);
     2058
     2059        /* Set the 'Value' field */
     2060
     2061        assert((*res)->ic == ic_value);
     2062        assert((*res)->u.value->var->vc == vc_ref);
     2063        var = (*res)->u.value->var->u.ref_v->vref;
     2064        assert(var->vc == vc_object);
     2065        object = var->u.object_v;
     2066
     2067        mbr_name_sid = strtab_get_sid("Value");
     2068        mbr_var = intmap_get(&object->fields, mbr_name_sid);
     2069        assert(mbr_var != NULL);
     2070
     2071        rdata_var_write(mbr_var, rarg_vi->u.value);
     2072}
     2073
     2074/** Create new CSI instance.
     2075 *
     2076 * Create a new object, instance of @a csi.
     2077 * XXX This does not work with generics as @a csi cannot specify a generic
     2078 * type.
     2079 *
     2080 * Initialize the fields with default values of their types, but do not
     2081 * run any constructor.
     2082 *
     2083 * @param run           Runner object
     2084 * @param as_op         @c as conversion expression
     2085 * @param res           Place to store result
     2086 */
    17972087void run_new_csi_inst(run_t *run, stree_csi_t *csi, rdata_item_t **res)
    17982088{
    … …  
    18042094
    18052095        rdata_var_t *mbr_var;
    1806 
    18072096        list_node_t *node;
     2097        tdata_item_t *field_ti;
    18082098
    18092099        csi_sym = csi_to_symbol(csi);
    … …  
    18242114
    18252115        /* Create object fields. */
    1826         node = list_first(&csi->members);
    1827         while (node != NULL) {
    1828                 csimbr = list_node_data(node, stree_csimbr_t *);
    1829                 if (csimbr->cc == csimbr_var) {
    1830                         /* XXX Depends on member variable type. */
    1831                         mbr_var = rdata_var_new(vc_int);
    1832                         mbr_var->u.int_v = rdata_int_new();
    1833                         bigint_init(&mbr_var->u.int_v->value, 0);
    1834 
    1835                         intmap_set(&obj->fields, csimbr->u.var->name->sid,
    1836                             mbr_var);
     2116        while (csi != NULL) {
     2117                node = list_first(&csi->members);
     2118                while (node != NULL) {
     2119                        csimbr = list_node_data(node, stree_csimbr_t *);
     2120                        if (csimbr->cc == csimbr_var) {
     2121                                /* Compute field type. XXX Memoize. */
     2122                                run_texpr(run->program, csi,
     2123                                    csimbr->u.var->type,
     2124                                    &field_ti);
     2125
     2126                                /* Create and initialize field. */
     2127                                run_var_new(run, field_ti, &mbr_var);
     2128
     2129                                /* Add to field map. */
     2130                                intmap_set(&obj->fields,
     2131                                    csimbr->u.var->name->sid,
     2132                                    mbr_var);
     2133                        }
     2134
     2135                        node = list_next(&csi->members, node);
    18372136                }
    18382137
    1839                 node = list_next(&csi->members, node);
     2138                /* Continue with base CSI */
     2139                csi = csi->base_csi;
    18402140        }
    18412141
    … …  
    18462146/** Return boolean value of an item.
    18472147 *
    1848  * Tries to interpret @a item as a boolean value. If it is not a boolean
    1849  * value, this generates an error.
     2148 * Try to interpret @a item as a boolean value. If it is not a boolean
     2149 * value, generate an error.
     2150 *
     2151 * @param run           Runner object
     2152 * @param item          Input item
     2153 * @return              Resulting boolean value
    18502154 */
    18512155bool_t run_item_boolean_value(run_t *run, rdata_item_t *item)
Note: See TracChangeset for help on using the changeset viewer.