/*
* Usage: showexports libName type-expression
* Example: showexports libaldor.al 'List(Integer)'
*/
int
main(int argc, char *argv[])
{
osInit();
sxiInit();
keyInit();
ssymInit();
dbInit();
stabInitGlobal();
tfInit();
foamInit();
optInit();
tinferInit();
pathInit();
sposInit();
ablogInit();
comsgInit();
macexInitFile();
comsgInit();
scobindInitFile();
stabInitFile();
fileAddLibraryDirectory(".");
String archive = argv[1];
String expression = argv[2];
scmdHandleLibrary("LIB", archive);
AbSyn ab = shexpParse(expression);
Stab stab = stabFile();
Syme syme = stabGetArchive(symInternConst("LIB"));
AbSyn arAbSyn = abNewId(sposNone, symInternConst("LIB"));
stabImportTForm(stab, tiGetTForm(stab, arAbSyn));
abPutUse(ab, AB_Use_Value);
scopeBind(stab, ab);
typeInfer(stab, ab);
TForm tf = tiGetTForm(stab, ab);
SymeList list = tfStabGetDomImports(stab, tf);
for (; list != listNil(Syme); list = cdr(list)) {
Syme syme = car(list);
aprintf("%s %d %d %s\n", symeString(syme),
symeDefnNum(syme), symeConstNum(syme), tfPretty(symeType(syme)));
}
scobindFiniFile();
stabFiniFile();
comsgFini();
macexFiniFile();
}
int
cmdArguments(int argi0, int argc, String *argv)
{
int opt, i, j;
String arg;
StringList sl;
/*
* Initialize default values.
*/
cmdFileCount = argc - 1;
cmdIncDirs = cmdLibDirs = cmdLibKeys = 0;
_dont_assert = true; /* Disable assertions by default. */
/*
* Handle the options.
*/
for (i = argi0, j = 0; ; ) {
opt = cmdGetOption(argc, argv, &i, &j, &arg);
if (!opt) break;
if (cmdIsArgOption(opt) && !arg)
cmdUseError(ALDOR_F_CmdBadOption, argv[i-1]);
cmdHandleOption(opt, arg);
}
/*
* After some sequence of -O and -Q do we still want cc -O ?
*/
ccSetOptimize(optIsCcFNonStdWanted(),optIsCcOptimizeWanted());
/*
* Push directories etc in correct order.
*/
for (sl = cmdIncDirs; sl; sl = cdr(sl))
fileAddIncludeDirectory(car(sl));
for (sl = cmdLibDirs; sl; sl = cdr(sl))
fileAddLibraryDirectory(car(sl));
for (sl = cmdLibKeys; sl; sl = cdr(sl)) {
String id, key, s;
int rc;
s = scmdScanLibraryOption(car(sl), &id, &key);
rc = s ? scmdHandleLibrary(id, key) : -1;
if (rc < 0) cmdUseError(ALDOR_F_CmdBadOption, "-l");
}
listFree(String)(cmdIncDirs);
listFree(String)(cmdLibDirs);
listFree(String)(cmdLibKeys);
/*
* Determine number of arguments consumed.
*/
if (i + cmdFileCount > argc) cmdFileCount = argc - i;
return i;
}
/*
* Usage: showexports libName type-expression
* Example: showexports libaldor.al 'List(Integer)'
*/
int
main(int argc, char *argv[])
{
osInit();
sxiInit();
keyInit();
ssymInit();
dbInit();
stabInitGlobal();
tfInit();
foamInit();
optInit();
tinferInit();
pathInit();
sposInit();
ablogInit();
comsgInit();
macexInitFile();
comsgInit();
scobindInitFile();
stabInitFile();
fileAddLibraryDirectory(".");
String archive = argv[1];
String expression = argv[2];
scmdHandleLibrary("LIB", archive);
AbSyn ab = shexpParse(expression);
Stab stab = stabFile();
Syme syme = stabGetArchive(symInternConst("LIB"));
AbSyn arAbSyn = abNewId(sposNone, symInternConst("LIB"));
AbSyn boolean = abNewId(sposNone, symInternConst("Boolean"));
stabImportTForm(stab, tiGetTForm(stab, arAbSyn));
stabImportTForm(stab, tiGetTForm(stab, boolean));
abPutUse(ab, AB_Use_Value);
scopeBind(stab, ab);
typeInfer(stab, ab);
TForm tf = tiGetTForm(stab, ab);
aprintf("Type: %s Cat: %d\n", tfPretty(tf), tfSatCat(tf));
if (tfSatDom(tf)) {
SymeList list = tfGetCatExports(tf);
aprintf("Category\n");
for (; list != listNil(Syme); list = cdr(list)) {
Syme syme = car(list);
aprintf("%5s %3d %s %pAbSynList\n", symeString(syme), symeHasDefault(syme),
tfPretty(symeType(syme)), symeCondition(syme));
}
}
else {
aprintf(">>> Exports\n");
SymeList list = tfStabGetDomImports(stab, tf);
for (; list != listNil(Syme); list = cdr(list)) {
Syme syme = car(list);
aprintf("%s %d %d %s\n", symeString(syme),
symeDefnNum(syme), symeConstNum(syme), tfPretty(symeType(syme)));
}
TQualList tqList;
aprintf(">>> Cascades\n");
tqList = tfGetDomCascades(tf);
for (; tqList != listNil(TQual); tqList = cdr(tqList)) {
TQual tq = car(tqList);
aprintf("--> %s\n", tfPretty(tqBase(tq)));
}
}
scobindFiniFile();
stabFiniFile();
comsgFini();
macexFiniFile();
}
