uspace/app/sbi/src/run.h

   1 /*
   2  * Copyright (c) 2011 Jiri Svoboda
   3  * All rights reserved.
   4  *
   5  * Redistribution and use in source and binary forms, with or without
   6  * modification, are permitted provided that the following conditions
   7  * are met:
   8  *
   9  * - Redistributions of source code must retain the above copyright
  10  *   notice, this list of conditions and the following disclaimer.
  11  * - Redistributions in binary form must reproduce the above copyright
  12  *   notice, this list of conditions and the following disclaimer in the
  13  *   documentation and/or other materials provided with the distribution.
  14  * - The name of the author may not be used to endorse or promote products
  15  *   derived from this software without specific prior written permission.
  16  *
  17  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
  18  * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
  19  * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
  20  * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
  21  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
  22  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
  23  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
  24  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
  25  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
  26  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  27  */
  28
  29 #ifndef RUN_H_
  30 #define RUN_H_
  31
  32 #include "mytypes.h"
  33
  34 void run_init(run_t *run);
  35 void run_gdata_init(run_t *run);
  36 void run_program(run_t *run, stree_program_t *prog);
  37 void run_proc(run_t *run, run_proc_ar_t *proc_ar, rdata_item_t **res);
  38 void run_stat(run_t *run, stree_stat_t *stat, rdata_item_t **res);
  39
  40 void run_print_fun_bt(run_t *run);
  41
  42 void run_exc_check_unhandled(run_t *run);
  43 void run_raise_error(run_t *run);
  44 rdata_item_t *run_recovery_item(run_t *run);
  45
  46 rdata_var_t *run_local_vars_lookup(run_t *run, sid_t name);
  47 run_proc_ar_t *run_get_current_proc_ar(run_t *run);
  48 run_block_ar_t *run_get_current_block_ar(run_t *run);
  49 stree_csi_t *run_get_current_csi(run_t *run);
  50
  51 rdata_var_t *run_sobject_get(run_t *run, stree_csi_t *pcsi,
  52     rdata_var_t *pobj_var, sid_t name);
  53 rdata_var_t *run_sobject_find(run_t *run, stree_csi_t *csi);
  54 rdata_var_t *run_fun_sobject_find(run_t *run, stree_fun_t *fun);
  55
  56 void run_value_item_to_var(rdata_item_t *item, rdata_var_t **var);
  57 void run_proc_ar_set_args(run_t *run, run_proc_ar_t *proc_ar,
  58     list_t *arg_vals);
  59 void run_proc_ar_set_setter_arg(run_t *run, run_proc_ar_t *proc_ar,
  60     rdata_item_t *arg_val);
  61 void run_proc_ar_create(run_t *run, rdata_var_t *obj, stree_proc_t *proc,
  62     run_proc_ar_t **rproc_ar);
  63 void run_proc_ar_destroy(run_t *run, run_proc_ar_t *proc_ar);
  64
  65 var_class_t run_item_get_vc(run_t *run, rdata_item_t *item);
  66 void run_cvt_value_item(run_t *run, rdata_item_t *item, rdata_item_t **ritem);
  67 void run_address_read(run_t *run, rdata_address_t *address,
  68     rdata_item_t **ritem);
  69 void run_address_write(run_t *run, rdata_address_t *address,
  70     rdata_value_t *value);
  71 void run_reference(run_t *run, rdata_var_t *var, rdata_item_t **res);
  72 void run_dereference(run_t *run, rdata_item_t *ref, cspan_t *cspan,
  73     rdata_item_t **ritem);
  74
  75 void run_raise_exc(run_t *run, stree_csi_t *csi, cspan_t *cspan);
  76 bool_t run_is_bo(run_t *run);
  77
  78 void run_var_new(run_t *run, tdata_item_t *ti, rdata_var_t **rvar);
  79
  80 run_thread_ar_t *run_thread_ar_new(void);
  81 run_proc_ar_t *run_proc_ar_new(void);
  82 void run_proc_ar_delete(run_proc_ar_t *proc_ar);
  83 run_block_ar_t *run_block_ar_new(void);
  84 void run_block_ar_delete(run_block_ar_t *block_ar);
  85 void run_proc_ar_delete(run_proc_ar_t *proc_ar);
  86 void run_block_ar_destroy(run_t *run, run_block_ar_t *block_ar);
  87
  88 #endif