Variables | |
| bool | showParse = false |
| bool | showTypes = false |
| bool | xmlTypes = false |
| bool | showLex = false |
| bool | useStdInc = true |
| bool | useStdLib = true |
| bool | advisory = false |
| bool | rawTvars = false |
| bool | showMaybes = false |
| bool | FQtypes = true |
| bool | showAllTccs = false |
| bool | showPasses = false |
| bool | noPrelude = false |
| Suppress load of the prelude. | |
| bool | dumpAfterMidEnd = false |
| bool | dumpTypesAfterMidEnd = false |
| set< string > | showTypesUocs |
| set< string > | xmlTypesUocs |
| bool | ppFQNS = false |
| bool | ppDecorate = false |
| bool | show_usage = false |
| unsigned | verbose = 0 |
| unsigned | mixfixDebug = 0 |
| FQNameSet | entryPts |
| BackEnd * | backEnd = 0 |
| string | outputFileName |
| vector< filesystem::path > | libDirs |
| vector< filesystem::path > | inputs |
| bool | Wall = false |
| bool | noGC = false |
| bool | noAlloc = false |
| shared_ptr< TvPrinter > | debugTvP = TvPrinter::make() |
| TvPrinter to support debugging output. | |
| bool | heuristicInference = false |
| vector< string > | LinkPreOptionsGCC |
| Options and files that should be passed to GCC before we insert the C file produced by bitcc. | |
| vector< string > | CompilePreOptionsGCC |
| vector< string > | LinkPostOptionsGCC |
| Options and files that should be passed to GCC after we insert the C file produced by bitcc. | |
| vector< filesystem::path > | SystemDirs |
| bool | showParse |
| bool | showLex |
| bool | showTypes |
| bool | xmlTypes |
| bool | showPP |
| bool | useStdInc |
| bool | useStdLib |
| bool | advisory |
| bool | rawTvars |
| bool | showMaybes |
| bool | FQtypes |
| bool | showAllTccs |
| bool | showPasses |
| bool | ppFQNS |
| bool | ppDecorate |
| bool | show_usage |
| unsigned | verbose |
| unsigned | mixfixDebug |
| bool | noPrelude |
| Suppress load of the prelude. | |
| bool | dumpAfterMidEnd |
| bool | dumpTypesAfterMidEnd |
| std::set< std::string > | showTypesUocs |
| std::set< std::string > | xmlTypesUocs |
| FQNameSet | entryPts |
| BackEnd * | backEnd |
| std::string | outputFileName |
| std::vector< boost::filesystem::path > | libDirs |
| std::vector< boost::filesystem::path > | inputs |
| std::vector< std::string > | LinkPreOptionsGCC |
| Options and files that should be passed to GCC before we insert the C file produced by bitcc. | |
| std::vector< std::string > | CompilePreOptionsGCC |
| std::vector< std::string > | LinkPostOptionsGCC |
| Options and files that should be passed to GCC after we insert the C file produced by bitcc. | |
| std::vector< boost::filesystem::path > | SystemDirs |
| bool | Wall |
| bool | noGC |
| bool | noAlloc |
| bool | heuristicInference |
| boost::shared_ptr< TvPrinter > | debugTvP |
| TvPrinter to support debugging output. | |
| bool Options::showParse = false |
| bool Options::showTypes = false |
Definition at line 48 of file Options.cxx.
| bool Options::xmlTypes = false |
Definition at line 49 of file Options.cxx.
| bool Options::showLex = false |
| bool Options::useStdInc = true |
| bool Options::useStdLib = true |
| bool Options::advisory = false |
Definition at line 53 of file Options.cxx.
| bool Options::rawTvars = false |
| bool Options::showMaybes = false |
Definition at line 55 of file Options.cxx.
| bool Options::FQtypes = true |
| bool Options::showAllTccs = false |
| bool Options::showPasses = false |
| bool Options::noPrelude = false |
Suppress load of the prelude.
This is an internal testing option to suppress loading the prelude while working on incomplete parts of the compiler. This option should not be exposed to users.
Definition at line 59 of file Options.cxx.
Referenced by UocInfo::DoResolve(), UocInfo::DoTypeCheck(), main(), and typeInfer().
| bool Options::dumpAfterMidEnd = false |
| bool Options::dumpTypesAfterMidEnd = false |
| set<string> Options::showTypesUocs |
| set<string> Options::xmlTypesUocs |
| bool Options::ppFQNS = false |
| bool Options::ppDecorate = false |
| bool Options::show_usage = false |
| unsigned Options::verbose = 0 |
| unsigned Options::mixfixDebug = 0 |
Definition at line 69 of file Options.cxx.
Referenced by addCandidates(), GenerateCoutput(), and main().
| BackEnd* Options::backEnd = 0 |
| string Options::outputFileName |
Definition at line 71 of file Options.cxx.
Referenced by EmitBitO(), EmitC(), EmitHeader(), GenerateC(), and main().
| vector<filesystem::path> Options::libDirs |
| vector<filesystem::path> Options::inputs |
| bool Options::Wall = false |
| bool Options::noGC = false |
| bool Options::noAlloc = false |
| shared_ptr<TvPrinter> Options::debugTvP = TvPrinter::make() |
TvPrinter to support debugging output.
This is not actually an option, but it used by some options. The purpose of this TvPrinter is to provide a globally consistent mapping from type variables to names. Through this mapping, it becomes possible for several passes to print their type variable names consistently, which makes understanding the transformation that was performed easier.
Definition at line 77 of file Options.cxx.
Referenced by TypeScheme::checkAmbiguity(), coerce(), UocInfo::DoTypeCheck(), handleEquPreds(), handlePcst(), handleSpecialPred(), handleTCPred(), TypeScheme::normalize(), Trail::rollBack(), typeInfer(), Unify(), UnifyDecl(), and UnifyStructUnion().
| bool Options::heuristicInference = false |
| vector<string> Options::LinkPreOptionsGCC |
Options and files that should be passed to GCC before we insert the C file produced by bitcc.
Definition at line 80 of file Options.cxx.
Referenced by AddLinkArgumentForGCC(), and EmitExe().
| vector<string> Options::CompilePreOptionsGCC |
Definition at line 81 of file Options.cxx.
Referenced by AddCompileArgumentForGCC(), EmitExe(), and main().
| vector<string> Options::LinkPostOptionsGCC |
Options and files that should be passed to GCC after we insert the C file produced by bitcc.
Definition at line 82 of file Options.cxx.
Referenced by AddLinkArgumentForGCC(), EmitExe(), and main().
| vector<filesystem::path> Options::SystemDirs |
| bool Options::showParse |
| bool Options::showLex |
| bool Options::showTypes |
Definition at line 48 of file Options.cxx.
| bool Options::xmlTypes |
Definition at line 49 of file Options.cxx.
| bool Options::showPP |
| bool Options::useStdInc |
| bool Options::useStdLib |
| bool Options::advisory |
Definition at line 53 of file Options.cxx.
| bool Options::rawTvars |
| bool Options::showMaybes |
Definition at line 55 of file Options.cxx.
| bool Options::FQtypes |
| bool Options::showAllTccs |
| bool Options::showPasses |
| bool Options::ppFQNS |
| bool Options::ppDecorate |
| bool Options::show_usage |
| unsigned Options::verbose |
| unsigned Options::mixfixDebug |
| bool Options::noPrelude |
Suppress load of the prelude.
This is an internal testing option to suppress loading the prelude while working on incomplete parts of the compiler. This option should not be exposed to users.
Definition at line 59 of file Options.cxx.
Referenced by UocInfo::DoResolve(), UocInfo::DoTypeCheck(), main(), and typeInfer().
| std::set<std::string> Options::showTypesUocs |
| std::set<std::string> Options::xmlTypesUocs |
Definition at line 69 of file Options.cxx.
Referenced by addCandidates(), GenerateCoutput(), and main().
| std::string Options::outputFileName |
Definition at line 71 of file Options.cxx.
Referenced by EmitBitO(), EmitC(), EmitHeader(), GenerateC(), and main().
| std::vector<boost::filesystem::path> Options::libDirs |
| std::vector<boost::filesystem::path> Options::inputs |
| std::vector<std::string> Options::LinkPreOptionsGCC |
Options and files that should be passed to GCC before we insert the C file produced by bitcc.
Definition at line 80 of file Options.cxx.
Referenced by AddLinkArgumentForGCC(), and EmitExe().
| std::vector<std::string> Options::CompilePreOptionsGCC |
Definition at line 81 of file Options.cxx.
Referenced by AddCompileArgumentForGCC(), EmitExe(), and main().
| std::vector<std::string> Options::LinkPostOptionsGCC |
Options and files that should be passed to GCC after we insert the C file produced by bitcc.
Definition at line 82 of file Options.cxx.
Referenced by AddLinkArgumentForGCC(), EmitExe(), and main().
| std::vector<boost::filesystem::path> Options::SystemDirs |
| bool Options::Wall |
| bool Options::noGC |
| bool Options::noAlloc |
| boost::shared_ptr<TvPrinter> Options::debugTvP |
TvPrinter to support debugging output.
This is not actually an option, but it used by some options. The purpose of this TvPrinter is to provide a globally consistent mapping from type variables to names. Through this mapping, it becomes possible for several passes to print their type variable names consistently, which makes understanding the transformation that was performed easier.
Definition at line 77 of file Options.cxx.
Referenced by TypeScheme::checkAmbiguity(), coerce(), UocInfo::DoTypeCheck(), handleEquPreds(), handlePcst(), handleSpecialPred(), handleTCPred(), TypeScheme::normalize(), Trail::rollBack(), typeInfer(), Unify(), UnifyDecl(), and UnifyStructUnion().
1.4.7