本文整理汇总了C++中Program::displayConstDecs方法的典型用法代码示例。如果您正苦于以下问题：C++ Program::displayConstDecs方法的具体用法？C++ Program::displayConstDecs怎么用？C++ Program::displayConstDecs使用的例子？那么, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类Program的用法示例。
在下文中一共展示了Program::displayConstDecs方法的1个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的C++代码示例。
示例1: main
int main(int argc, char **argv) {
++argv, --argc; /* skip over program name */
if (argc > 0) {
strcpy(buf, argv[0]);
strcat(buf, ".i");
yyin = fopen(buf, "r");
if (yyin == NULL) {
printf("Failed to open file '%s'\n", buf);
}
else {
yylineno = 1;
yyparse();
if (argc > 1) {
strcpy(buf, argv[0]);
if (!strcmp(argv[1], "-ctos")) {
strcat(buf, ".ctos.cpp");
fout.open(buf);
strcpy(buf, argv[0]);
strcat(buf, "_sysc_t::");
prog.CtoSDisplayConstDefs(fout, buf);
prog.displayFunDefs(fout, ctos, buf);
fout.close();
strcpy(buf, argv[0]);
strcat(buf, ".types.h");
fout.open(buf);
prog.displayTypeDefs(fout, ctos);
fout.close();
strcpy(buf, argv[0]);
strcat(buf, ".decs.h");
fout.open(buf);
prog.displayConstDecs(fout, ctos);
prog.displayFunDecs(fout);
fout.close();
}
else if (!strcmp(argv[1], "-acl2")) {
strcat(buf, ".ast.lisp");
fout.open(buf);
prog.display(fout, acl2);
fout.close();
}
else if (!strcmp(argv[1], "-masc")) {
strcat(buf, ".m");
fout.open(buf);
prog.display(fout, masc);
fout.close();
}
}
}
}
else {
printf("Usage:\n");
printf(" parse file check that file.cpp is well formed\n");
printf(" parse file -masc convert to pure MASC syntax and write to file.m\n\n");
printf(" parse file -ctos generate CtoS-able code in file.ctos.cpp, file.types.h, and file.consts.h\n\n");
printf(" parse file -acl2 write ACL2 translation to output.lisp\n\n");
yyin = stdin;
}
}