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));
}
PT_Symbol SDFSymbolToPtSymbol(SDF_Symbol sdfSymbol)
{
PT_Symbol result = NULL;
if (SDF_isSymbolStart(sdfSymbol)) {
result = PT_makeSymbolSort("<START>");
}
else if (SDF_isSymbolFileStart(sdfSymbol)) {
result = PT_makeSymbolSort("<Start>");
}
else if (SDF_isSymbolSort(sdfSymbol)) {
char *str = PT_yieldTreeToString((PT_Tree) SDF_getSymbolSort(sdfSymbol),
ATfalse);
result = PT_makeSymbolSort(str);
}
else if (SDF_isSymbolLit(sdfSymbol)) {
SDF_StrCon sdfLit = SDF_getSymbolString(sdfSymbol);
const char *str = SDFStrConToString(sdfLit);
result = PT_makeSymbolLit(str);
}
else if (SDF_isSymbolCiLit(sdfSymbol)) {
SDF_SingleQuotedStrCon sdfLit = SDF_getSymbolCiString(sdfSymbol);
const char *str = SDFCiStrConToString(sdfLit);
result = PT_makeSymbolCilit(str);
}
else if (SDF_isSymbolIter(sdfSymbol)) {
SDF_Symbol sdfIterSymbol = SDF_getSymbolSymbol(sdfSymbol);
PT_Symbol ptIterSymbol = SDFSymbolToPtSymbol(sdfIterSymbol);
result = PT_makeSymbolIterPlus(ptIterSymbol);
}
else if (SDF_isSymbolIterStar(sdfSymbol)) {
SDF_Symbol sdfIterSymbol = SDF_getSymbolSymbol(sdfSymbol);
PT_Symbol ptIterSymbol = SDFSymbolToPtSymbol(sdfIterSymbol);
result = PT_makeSymbolIterStar(ptIterSymbol);
}
else if (SDF_isSymbolIterSep(sdfSymbol)) {
SDF_Symbol sdfIterSymbol = SDF_getSymbolSymbol(sdfSymbol);
SDF_Symbol sdfIterSep = SDF_getSymbolSep(sdfSymbol);
PT_Symbol ptIterSymbol = SDFSymbolToPtSymbol(sdfIterSymbol);
PT_Symbol ptSepSymbol = SDFSymbolToPtSymbol(sdfIterSep);
result = PT_makeSymbolIterPlusSep(ptIterSymbol, ptSepSymbol);
}
else if (SDF_isSymbolIterStarSep(sdfSymbol)) {
SDF_Symbol sdfIterSymbol = SDF_getSymbolSymbol(sdfSymbol);
SDF_Symbol sdfIterSep = SDF_getSymbolSep(sdfSymbol);
PT_Symbol ptIterSymbol = SDFSymbolToPtSymbol(sdfIterSymbol);
PT_Symbol ptSepSymbol = SDFSymbolToPtSymbol(sdfIterSep);
result = PT_makeSymbolIterStarSep(ptIterSymbol, ptSepSymbol);
}
else if (SDF_isSymbolCf(sdfSymbol)) {
SDF_Symbol sdfSym = SDF_getSymbolSymbol(sdfSymbol);
PT_Symbol ptSym = SDFSymbolToPtSymbol(sdfSym);
result = PT_makeSymbolCf(ptSym);
}
else if (SDF_isSymbolLex(sdfSymbol)) {
SDF_Symbol sdfSym = SDF_getSymbolSymbol(sdfSymbol);
PT_Symbol ptSym = SDFSymbolToPtSymbol(sdfSym);
result = PT_makeSymbolLex(ptSym);
}
else if (SDF_isSymbolVarsym(sdfSymbol)) {
SDF_Symbol sdfSym = SDF_getSymbolSymbol(sdfSymbol);
PT_Symbol ptSym = SDFSymbolToPtSymbol(sdfSym);
result = PT_makeSymbolVarSym(ptSym);
}
else if (SDF_isSymbolLayout(sdfSymbol)) {
result = PT_makeSymbolLayout();
}
else if (SDF_isSymbolEmpty(sdfSymbol)) {
result = PT_makeSymbolEmpty();
}
else if (SDF_isSymbolSeq(sdfSymbol)) {
SDF_Symbol sdfHead = SDF_getSymbolHead(sdfSymbol);
/* tricky casting of SymbolTail to SymbolList */
SDF_SymbolList sdfTail = (SDF_SymbolList) SDF_getSymbolTail(sdfSymbol);
SDF_Symbols sdfSymbols = SDF_makeSymbolsDefault(sdfTail);
PT_Symbol ptHead = SDFSymbolToPtSymbol(sdfHead);
PT_Symbols ptTail = SDFSymbolsToPtSymbols(sdfSymbols);
result = PT_makeSymbolSeq(PT_makeSymbolsMany(ptHead, ptTail));
}
else if (SDF_isSymbolOpt(sdfSymbol)) {
SDF_Symbol sdfSym = SDF_getSymbolSymbol(sdfSymbol);
PT_Symbol ptSym = SDFSymbolToPtSymbol(sdfSym);
result = PT_makeSymbolOpt(ptSym);
}
else if (SDF_isSymbolTuple(sdfSymbol)) {
SDF_Symbol sdfHead = SDF_getSymbolHead(sdfSymbol);
SDF_SymbolRest sdfRest = SDF_getSymbolRest(sdfSymbol);
PT_Symbol ptHead = SDFSymbolToPtSymbol(sdfHead);
PT_Symbols ptRest = SDFSymbolRestToPtSymbols(sdfRest);
result = PT_makeSymbolTuple(ptHead, ptRest);
}
else if (SDF_isSymbolFunc(sdfSymbol)) {
SDF_Symbols sdfArguments = SDF_getSymbolArguments(sdfSymbol);
SDF_Symbol sdfResult = SDF_getSymbolResults(sdfSymbol);
PT_Symbols ptArguments = SDFSymbolsToPtSymbols(sdfArguments);
PT_Symbol ptResult = SDFSymbolToPtSymbol(sdfResult);
result = PT_makeSymbolFunc(ptArguments,ptResult);
}
else if (SDF_isSymbolParameterizedSort(sdfSymbol)) {
SDF_Sort sdfSort = SDF_getSymbolSort(sdfSymbol);
SDF_SymbolParameters sdfParameters = SDF_getSymbolParameters(sdfSymbol);
PT_Symbols ptParameters = SDFSymbolParametersToPtSymbols(sdfParameters);
char *ptSort = PT_yieldTreeToString((PT_Tree) sdfSort, ATfalse);
result = PT_makeSymbolParameterizedSort(ptSort, ptParameters);
}
else if (SDF_isSymbolAlt(sdfSymbol)) {
SDF_Symbol sdfLeft = SDF_getSymbolLeft(sdfSymbol);
SDF_Symbol sdfRight = SDF_getSymbolRight(sdfSymbol);
PT_Symbol ptLeft = SDFSymbolToPtSymbol(sdfLeft);
PT_Symbol ptRight = SDFSymbolToPtSymbol(sdfRight);
result = PT_makeSymbolAlt(ptLeft, ptRight);
}
else if (SDF_isSymbolCharClass(sdfSymbol)) {
SDF_CharClass sdfCC = SDF_getSymbolCharClass(sdfSymbol);
PT_CharRanges ptCR = SDFCharClassToPtCharRanges(sdfCC);
result = PT_makeSymbolCharClass(ptCR);
}
else if (SDF_isSymbolLabel(sdfSymbol)) {
SDF_Symbol arg = SDF_getSymbolSymbol(sdfSymbol);
result = SDFSymbolToPtSymbol(arg);
}
else if (SDF_isSymbolStrategy(sdfSymbol)) {
SDF_Symbol sdfLeft = SDF_getSymbolLeft(sdfSymbol);
SDF_Symbol sdfRight = SDF_getSymbolRight(sdfSymbol);
PT_Symbol ptLeft = SDFSymbolToPtSymbol(sdfLeft);
PT_Symbol ptRight = SDFSymbolToPtSymbol(sdfRight);
result = PT_makeSymbolStrategy(ptLeft, ptRight);
}
else if (SDF_isSymbolBracket(sdfSymbol)) {
SDF_Symbol sym = SDF_getSymbolSymbol(sdfSymbol);
result = SDFSymbolToPtSymbol(sym);
}
else {
ATerror("SDFSymbolToPtSymbol: unable to convert symbol %t: %s\n",
sdfSymbol, PT_yieldTreeToString((PT_Tree) sdfSymbol, ATfalse));
result = NULL;
}
return result;
}
