static PT_Tree pList(PT_Tree tree, int *i, SDF_Symbol ssym) { PT_Tree layout; PT_Args elems; PT_Args newElems; ATbool isLayout; int indent = *i; assert(PT_isTreeApplList(tree) && "This tool only supports AsFix2ME"); assert(SDF_isSymbolIterStar(ssym) || SDF_isSymbolIter(ssym)); layout = (PT_Tree) SDF_getSymbolWsAfterSymbol(ssym); elems = PT_getTreeArgs(tree); newElems = PT_makeArgsEmpty(); isLayout = ATfalse; for (; !PT_isArgsEmpty(elems); elems = PT_getArgsTail(elems)) { PT_Tree head = PT_getArgsHead(elems); if (isLayout) { newElems = PT_makeArgsList(createLayoutTree(*i, layout), newElems); *i = calcIndentationLevel(*i, layout); } else { newElems = PT_makeArgsList(pTree(head, i), newElems); } isLayout = !isLayout; *i = indent; } return PT_setTreeArgs(tree, PT_reverseArgs(newElems)); }
static PT_Tree pAppl(PT_Tree tree, int *i) { int indent = *i; PT_Args args = PT_getTreeArgs(tree); PT_Production prod = PT_getTreeProd(tree); SDF_Production sprod = (SDF_Production) ATtableGet(mapping, (ATerm) prod); if (sprod != NULL) { PT_Args newArgs = PT_makeArgsEmpty(); SDF_SymbolList slhs = SDF_getSymbolsList(SDF_getProductionSymbols(sprod)); PT_Symbols lhs = PT_getProductionLhs(prod); PT_Tree nextLayout = NULL; for (; !PT_isArgsEmpty(args); args = PT_getArgsTail(args), lhs = PT_getSymbolsTail(lhs)) { PT_Tree head = PT_getArgsHead(args); PT_Symbol sym = PT_getSymbolsHead(lhs); // here we put in the layout that's in between the symbols on the lhs if (PT_isOptLayoutSymbol(sym)) { assert(nextLayout != NULL); newArgs = PT_makeArgsList(createLayoutTree(indent, nextLayout), newArgs); *i = calcIndentationLevel(indent, nextLayout); nextLayout = NULL; } else { SDF_Symbol ssym = SDF_getSymbolListHead(slhs); PT_Symbol real = PT_getSymbolSymbol(sym); newArgs = PT_makeArgsList(pTreeWithSymbol(head, i, real, ssym), newArgs); if (SDF_hasSymbolListTail(slhs)) { nextLayout = (PT_Tree) SDF_getSymbolListWsAfterFirst(slhs); slhs = SDF_getSymbolListTail(slhs); } } } tree = PT_setTreeArgs(tree, PT_reverseArgs(newArgs)); } else { tree = PT_setTreeArgs(tree, pArgs(args, i)); } return tree; }
PT_Tree PT_makeTreeFlatLexicalFromString(const char *str) { PT_Args args = PT_makeArgsEmpty(); int i; for (i = strlen(str) - 1; i >= 0; i--) { args = PT_makeArgsList(PT_makeTreeChar((int) str[i]), args); } return PT_makeTreeFlatLexical(args); }
static PT_Args pArgs(PT_Args args, int *i) { int indent = *i; PT_Args newArgs = PT_makeArgsEmpty(); for(; !PT_isArgsEmpty(args); args = PT_getArgsTail(args)) { PT_Tree head = PT_getArgsHead(args); newArgs = PT_makeArgsList(pTree(head, i), newArgs); *i = indent; } return PT_reverseArgs(newArgs); }
PT_Tree PT_renameInTree(PT_Tree tree, PT_Symbol formalParam, PT_Symbol actualParam) { if (PT_isTreeAppl(tree)) { PT_Production prod = PT_getTreeProd(tree); PT_Symbol rhs = PT_getProductionRhs(prod); PT_Args args = PT_getTreeArgs(tree); PT_Production newProd = renameInProduction(prod, formalParam, actualParam); PT_Symbol newRhs = PT_getProductionRhs(newProd); PT_Args newArgs = renameInArgs(args, formalParam, actualParam); PT_Tree newTree; newTree = PT_setTreeArgs(PT_setTreeProd(tree, newProd), newArgs); /* Wrap new variable lists in a proper list production */ if (PT_isTreeVar(newTree) && (PT_isIterSymbol(newRhs) || PT_isIterSepSymbol(newRhs)) && !(PT_isIterSymbol(rhs) || PT_isIterSepSymbol(rhs))) { PT_Production listProd = PT_makeProductionList(newRhs); PT_Tree listTree = PT_makeTreeAppl(listProd, PT_makeArgsList(newTree, PT_makeArgsEmpty())); newTree = listTree; } return newTree; } else if (PT_isTreeLit(tree)) { if (PT_isSymbolLit(formalParam)) { char *localStr = PT_getTreeString(tree); char *formalStr = PT_getSymbolString(formalParam); if (strcmp(localStr, formalStr) == 0) { return PT_setTreeString(tree, PT_getSymbolString(actualParam)); } } return tree; } else { return tree; } }
int asc_support_main(ATerm *bottomOfStack, int argc, char *argv[], void (*register_all)(), void (*resolve_all)(), void (*init_all)() #ifdef TOOLBUS , ATBhandler handler #endif ) { PT_ParseTree pt; PT_ParseTree asfix; PT_Tree trm; ATerm t; ATerm reduct; #ifdef TOOLBUS ATbool toolbus_mode = ATfalse; #endif ATbool produce_output = ATtrue; ATbool run_verbose = ATfalse; ATbool printstats = ATfalse; ATbool bafmode = ATtrue; char *inputs[MAX_ARGS] = { "-" }; int nInputs = 0; char *output = "-"; char *function = ""; char *result = ""; int i; ATinit(argc, argv, bottomOfStack); PT_initMEPTApi(); ASF_initASFMEApi(); ASC_initRunTime(INITIAL_TABLE_SIZE); register_all(); resolve_all(); init_all(); #ifdef TOOLBUS /* Check whether we're a ToolBus process */ for(i=1; !toolbus_mode && i<argc; i++) { if(!strcmp(argv[i], "-TB_TOOL_NAME")) { toolbus_mode = ATtrue; } } if (toolbus_mode) { ATBinit(argc, argv, bottomOfStack); ATBconnect(NULL, NULL, -1, handler); ATBeventloop(); } else { #endif for(i=1; i<argc; i++) { if(streq(argv[i], "-v")) { run_verbose = ATtrue; } else if(streq(argv[i], "-h")) { usage(argv[0]); } else if(streq(argv[i], "-f")) { function = argv[++i]; } else if(streq(argv[i], "-i")) { if (nInputs <= MAX_ARGS) { inputs[nInputs++] = strdup(argv[++i]); } else { ATerror("%s: Maximum number of %d \'-i\' arguments exceeded.\n", argv[0], MAX_ARGS); } } else if(streq(argv[i], "-o")) { output = argv[++i]; } else if(streq(argv[i], "-r")) { result = argv[++i]; } else if(streq(argv[i], "-s")) { printstats = ATtrue; } else if(streq(argv[i], "-t")) { bafmode = ATfalse; } else if(streq(argv[i], "-m")) { produce_output = ATfalse; } } if (!streq(function,"")) { PT_Args args = PT_makeArgsEmpty(); if (streq(inputs[0],"-")) { nInputs++; } for (--nInputs; nInputs >= 0; nInputs--) { PT_ParseTree parseTree = PT_makeParseTreeFromTerm( ATreadFromNamedFile(inputs[nInputs])); if (parseTree == NULL) { ATerror("Unable to read in %s\n", inputs[nInputs]); exit(1); } args = PT_makeArgsList(PT_getParseTreeTree(parseTree), args); } pt = PT_applyFunctionToArgsParseTree(function, result, args); } else { if (nInputs != 1 && (!streq(inputs[0], "-"))) { ATerror("Can only process one argument if no -f and -r option " "are supplied.\n"); return 1; } t = ATreadFromNamedFile(inputs[0]); pt = PT_makeParseTreeFromTerm(t); } if (PT_isValidParseTree(pt)) { trm = PT_getParseTreeTree(pt); if(run_verbose) { ATfprintf(stderr,"Reducing ...\n"); } reduct = innermost(trm); if(run_verbose) { ATfprintf(stderr,"Reducing finished.\n"); } if (printstats) { struct rusage usage; FILE *file; char buf[BUFSIZ]; int size, resident, shared, trs, lrs, drs, dt; sprintf(buf, "/proc/%d/statm", getpid()); file = fopen(buf, "r"); if (file) { fscanf(file, "%d %d %d %d %d %d %d", &size, &resident, &shared, &trs, &lrs, &drs, &dt); /* fprintf(stderr, "size = %d kb\n", size*4); fprintf(stderr, "resident = %d kb\n", resident*4); fprintf(stderr, "shared = %d kb\n", shared*4); fprintf(stderr, "trs = %d kb\n", trs*4); fprintf(stderr, "lrs = %d kb\n", lrs*4); */ fprintf(stderr, "memory used : %d kb\n", drs*4); /*fprintf(stderr, "dt = %d kb\n", dt*4);*/ } else { fprintf(stderr, "could not open %s\n", buf); perror(""); } if (getrusage(RUSAGE_SELF, &usage) == -1) { perror("rusage"); } else { /*fprintf(stderr, "rusage statistics (see 'man getrusage')\n");*/ fprintf(stderr, "utime : %ld.%06d sec.\n", (long)usage.ru_utime.tv_sec, (int)usage.ru_utime.tv_usec); fprintf(stderr, "stime : %ld.%06d sec.\n", (long)usage.ru_stime.tv_sec, (int)usage.ru_stime.tv_usec); #if 0 /* The following rusage stats do not work yet */ fprintf(stderr, "maxrss : %ld\n", usage.ru_maxrss); fprintf(stderr, "ixrss : %ld\n", usage.ru_ixrss); fprintf(stderr, "idrss : %ld\n", usage.ru_idrss); fprintf(stderr, "isrss : %ld\n", usage.ru_isrss); fprintf(stderr, "minflt : %ld\n", usage.ru_minflt); fprintf(stderr, "majflt : %ld\n", usage.ru_majflt); fprintf(stderr, "nswap : %ld\n", usage.ru_nswap); fprintf(stderr, "\n"); fprintf(stderr, "inblock : %ld\n", usage.ru_nswap); fprintf(stderr, "oublock : %ld\n", usage.ru_nswap); fprintf(stderr, "msgsnd : %ld\n", usage.ru_nswap); fprintf(stderr, "msgrcv : %ld\n", usage.ru_nswap); fprintf(stderr, "nsignals : %ld\n", usage.ru_nswap); fprintf(stderr, "nvcsw : %ld\n", usage.ru_nswap); fprintf(stderr, "nivcsw : %ld\n", usage.ru_nswap); #endif } } if (produce_output) { asfix = toasfix(reduct); if (bafmode) { ATwriteToNamedBinaryFile(PT_makeTermFromParseTree(asfix),output); } else { ATwriteToNamedTextFile(PT_makeTermFromParseTree(asfix),output); } } } #ifdef TOOLBUS } #endif return 0; }