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;
}
