int fill_initial_environment(environ_t *env) { if (NULL == env) { return ERROR_OTHER_ERROR; } /* Add lots of stuff */ add_to_environment(env, nil_cell, nil_cell); add_to_environment(env, false_cell, false_cell); add_to_environment(env, t_cell, t_cell); return ENV_CREATED_OK; }
void allocAndAdd(struct environment_s **env, char *name, char *cmd) { struct closure_s *closure; closure = new_closure(ccnl_strdup(cmd), NULL); add_to_environment(env, ccnl_strdup(name), closure); }
mtf::HeadlessNestedServerRunner::HeadlessNestedServerRunner(std::string const& connect_string) { add_to_environment("MIR_SERVER_PLATFORM_GRAPHICS_LIB", mtf::server_platform("graphics-dummy.so").c_str()); add_to_environment("MIR_SERVER_HOST_SOCKET", connect_string.c_str()); }
// executes a ZAM instruction, returns the term to continue working on char* ZAM_term(struct ccnl_relay_s *ccnl, struct configuration_s *config, int *halt, char *dummybuf, int *restart) { // struct ccnl_lambdaTerm_s *t; // char *pending, *p, *cp, *prog = config->prog; // int len; char *prog = config->prog; struct builtin_s *bp; char *arg, *contd; int tok; //pop closure if (!prog || strlen(prog) == 0) { if (config->result_stack) { prog = ccnl_malloc(strlen((char*)config->result_stack->content)+1); strcpy(prog, config->result_stack->content); return prog; } DEBUGMSG(DEBUG, "no result returned\n"); return NULL; } tok = ZAM_nextToken(prog, &arg, &contd); // TODO: count opening/closing parentheses when hunting for ';' ? /* pending = strchr(prog, ';'); p = strchr(prog, '('); */ switch (tok) { case ZAM_ACCESS: { struct closure_s *closure = search_in_environment(config->env, arg); DEBUGMSG(DEBUG, "---to do: access <%s>\n", arg); if (!closure) { // TODO: is the following needed? Above search should have // visited global_dict, already! closure = search_in_environment(config->global_dict, arg); if (!closure) { DEBUGMSG(WARNING, "?? could not lookup var %s\n", arg); ccnl_free(arg); return NULL; } } ccnl_free(arg); closure = new_closure(ccnl_strdup(closure->term), closure->env); push_to_stack(&config->argument_stack, closure, STACK_TYPE_CLOSURE); return ccnl_strdup(contd); } case ZAM_APPLY: { struct stack_s *fct = pop_from_stack(&config->argument_stack); struct stack_s *par = pop_from_stack(&config->argument_stack); struct closure_s *fclosure, *aclosure; char *code; DEBUGMSG(DEBUG, "---to do: apply\n"); if (!fct || !par) return NULL; fclosure = (struct closure_s *) fct->content; aclosure = (struct closure_s *) par->content; if (!fclosure || !aclosure) return NULL; ccnl_free(fct); ccnl_free(par); code = aclosure->term; if (config->env) ccnl_nfn_releaseEnvironment(&config->env); config->env = aclosure->env; ccnl_free(aclosure); push_to_stack(&config->argument_stack, fclosure, STACK_TYPE_CLOSURE); if (contd) sprintf(dummybuf, "%s;%s", code, contd); else strcat(dummybuf, code); ccnl_free(code); return ccnl_strdup(dummybuf); } case ZAM_CALL: { struct stack_s *h = pop_or_resolve_from_result_stack(ccnl, config); int i, offset, num_params = *(int *)h->content; char name[5]; DEBUGMSG(DEBUG, "---to do: CALL <%s>\n", arg); ccnl_free(h->content); ccnl_free(h); sprintf(dummybuf, "CLOSURE(FOX);RESOLVENAME(@op("); // ... @x(@y y x 2 op)));TAILAPPLY"; offset = strlen(dummybuf); for (i = 0; i < num_params; ++i) { sprintf(name, "x%d", i); offset += sprintf(dummybuf+offset, "@%s(", name); } for (i = num_params - 1; i >= 0; --i) { sprintf(name, "x%d", i); offset += sprintf(dummybuf+offset, " %s", name); } offset += sprintf(dummybuf + offset, " %d", num_params); offset += sprintf(dummybuf+offset, " op"); for (i = 0; i < num_params+2; ++i) offset += sprintf(dummybuf + offset, ")"); if (contd) sprintf(dummybuf + offset, ";%s", contd); return ccnl_strdup(dummybuf); } case ZAM_CLOSURE: { struct closure_s *closure; DEBUGMSG(DEBUG, "---to do: closure <%s> (contd=%s)\n", arg, contd); if (!config->argument_stack && !strncmp(arg, "RESOLVENAME(", 12)) { char v[500], *c; int len; c = strchr(arg+12, ')'); if (!c) goto normal; len = c - (arg+12); memcpy(v, arg+12, len); v[len] = '\0'; closure = search_in_environment(config->env, v); if (!closure) goto normal; if (!strcmp(closure->term, arg)) { DEBUGMSG(WARNING, "** detected tail recursion case %s/%s\n", closure->term, arg); } else goto normal; } else { normal: closure = new_closure(arg, config->env); //configuration->env = NULL;//FIXME new environment? push_to_stack(&config->argument_stack, closure, STACK_TYPE_CLOSURE); arg = NULL; } if (contd) { ccnl_free(arg); return ccnl_strdup(contd); } DEBUGMSG(ERROR, "** not implemented, see line %d\n", __LINE__); return arg; } case ZAM_FOX: return ZAM_fox(ccnl, config, restart, halt, prog, arg, contd); case ZAM_GRAB: { struct stack_s *stack = pop_from_stack(&config->argument_stack); DEBUGMSG(DEBUG, "---to do: grab <%s>\n", arg); add_to_environment(&config->env, arg, stack->content); ccnl_free(stack); return ccnl_strdup(contd); } case ZAM_HALT: ccnl_nfn_freeStack(config->argument_stack); //ccnl_nfn_freeStack(config->result_stack); config->argument_stack = /*config->result_stack =*/ NULL; *halt = 1; return ccnl_strdup(contd); case ZAM_RESOLVENAME: return ZAM_resolvename(config, dummybuf, arg, contd); case ZAM_TAILAPPLY: { struct stack_s *stack = pop_from_stack(&config->argument_stack); struct closure_s *closure = (struct closure_s *) stack->content; char *code = closure->term; DEBUGMSG(DEBUG, "---to do: tailapply\n"); ccnl_free(stack); if (contd) //build new term sprintf(dummybuf, "%s;%s", code, contd); else strcpy(dummybuf, code); if (config->env) ccnl_nfn_releaseEnvironment(&config->env); config->env = closure->env; //set environment from closure ccnl_free(code); ccnl_free(closure); return ccnl_strdup(dummybuf); } case ZAM_UNKNOWN: break; default: DEBUGMSG(DEBUG, "builtin: %s (%s/%s)\n", bifs[-tok - 1].name, prog, contd); return bifs[-tok - 1].fct(ccnl, config, restart, halt, prog, contd, &config->result_stack); } ccnl_free(arg); // iterate through all extension operations for (bp = op_extensions; bp; bp = bp->next) if (!strncmp(prog, bp->name, strlen(bp->name))) return (bp->fct)(ccnl, config, restart, halt, prog, contd, &config->result_stack); DEBUGMSG(INFO, "unknown (built-in) command <%s>\n", prog); return NULL; }
char* ZAM_resolvename(struct configuration_s *config, char *dummybuf, char *arg, char *contd) { struct ccnl_lambdaTerm_s *t; char res[1000], *cp = arg; int len; DEBUGMSG(DEBUG, "---to do: resolveNAME <%s>\n", arg); //function definition if (!strncmp(cp, "let", 3)) { int i, end = 0, cp2len, namelength, lambdalen; char *h, *cp2, *name, *lambda_expr, *resolveterm; DEBUGMSG(DEBUG, " fct definition: %s\n", cp); strcpy(res, cp+3); for (i = 0; i < strlen(res); ++i) { if (!strncmp(res+i, "endlet", 6)) { end = i; break; } } cp2len = strlen(res+end) + strlen("RESOLVENAME()"); h = strchr(cp, '='); namelength = h - cp; lambda_expr = ccnl_malloc(strlen(h)); name = ccnl_malloc(namelength); cp2 = ccnl_malloc(cp2len); memset(cp2, 0, cp2len); memset(name, 0, namelength); memset(lambda_expr, 0, strlen(h)); sprintf(cp2, "RESOLVENAME(%s)", res+end+7); //add 7 to overcome endlet memcpy(name, cp+3, namelength-3); //copy name without let and endlet trim(name); lambdalen = strlen(h)-strlen(cp2)+11-6; memcpy(lambda_expr, h+1, lambdalen); //copy lambda expression without = trim(lambda_expr); resolveterm = ccnl_malloc(strlen("RESOLVENAME()")+strlen(lambda_expr)); sprintf(resolveterm, "RESOLVENAME(%s)", lambda_expr); add_to_environment(&config->env, name, new_closure(resolveterm, NULL)); ccnl_free(cp); return strdup(contd); } //check if term can be made available, if yes enter it as a var //try with searching in global env for an added term! t = ccnl_lambdaStrToTerm(0, &cp, NULL); ccnl_free(arg); if (term_is_var(t)) { char *end = 0; cp = t->v; if (isdigit(*cp)) { // is disgit... int *integer = ccnl_malloc(sizeof(int)); *integer = strtol(cp, &end, 0); if (end && *end) end = 0; if (end) push_to_stack(&config->result_stack, integer, STACK_TYPE_INT); else ccnl_free(integer); } else if (*cp == '\'') { // quoted name (constant) //determine size struct const_s *con = ccnl_nfn_krivine_str2const(cp); push_to_stack(&config->result_stack, con, STACK_TYPE_CONST); end = (char*)1; } else if (iscontentname(cp)) { // is content... struct ccnl_prefix_s *prefix; prefix = ccnl_URItoPrefix(cp, config->suite, NULL, NULL); push_to_stack(&config->result_stack, prefix, STACK_TYPE_PREFIX); end = (char*)1; } if (end) { if (contd) sprintf(res, "TAILAPPLY;%s", contd); else sprintf(res, "TAILAPPLY"); } else { if (contd) sprintf(res, "ACCESS(%s);TAILAPPLY;%s", t->v, contd); else sprintf(res, "ACCESS(%s);TAILAPPLY", t->v); } ccnl_lambdaFreeTerm(t); return ccnl_strdup(res); } if (term_is_lambda(t)) { char *var; var = t->v; ccnl_lambdaTermToStr(dummybuf, t->m, 0); if (contd) sprintf(res, "GRAB(%s);RESOLVENAME(%s);%s", var, dummybuf, contd); else sprintf(res, "GRAB(%s);RESOLVENAME(%s)", var, dummybuf); ccnl_lambdaFreeTerm(t); return ccnl_strdup(res); } if (term_is_app(t)) { ccnl_lambdaTermToStr(dummybuf, t->n, 0); len = sprintf(res, "CLOSURE(RESOLVENAME(%s));", dummybuf); ccnl_lambdaTermToStr(dummybuf, t->m, 0); len += sprintf(res+len, "RESOLVENAME(%s)", dummybuf); if (contd) len += sprintf(res+len, ";%s", contd); ccnl_lambdaFreeTerm(t); return ccnl_strdup(res); } return NULL; }