/**
* This method sets up dependencies between compiler flags. If you are integrating your module
* into the compiler flag management system, this is where to do it.
*/
private static synchronized void setUpFlagDependencies() {
if (!FlagDependencies.isSealed()) {
setUpFlags();
Prover.setUpFlags();
JavaTranslator.setUpFlags();
CTranslator.setUpFlags();
Archiver.setUpFlags();
ResolveCompiler.setUpFlags();
VCGenerator.setUpFlags();
AlgebraicProver.setUpFlags();
// Your module here!
CongruenceClassProver.setUpFlags();
FlagDependencies.seal();
}
}
private static void printOptions(CompileEnvironment e) {
System.out.println(" +bodies Compile imported realization modules.");
System.out.println(" -showBuild Show the ModuleDec of the target file.");
System.out.println(" -showEnv Show the compilation environment.");
System.out.println(" -showTable Show the symbol table before binding.");
System.out.println(" -showBind Show the symbol table after binding.");
System.out.println(" -showIndirect Show the bindings associated with indirect types.");
System.out.println(" -assertions Print Only Final Assertions");
System.out.println(" -R Recurse through directories.");
System.out.println(" -D <dir> Use <dir> as the main directory.");
System.out.println(" -translate Translate to Java code.");
System.out.println(" -PVCs Generate verification " + "conditions for performance.");
System.out.println(" -VCs Generate verification " + "conditions.");
System.out.println(" -isabelle Used with -VCs to generate " + "VCs for Isabelle.");
System.out.println(FlagDependencies.getListingString(e.flags.isFlagSet(FLAG_EXTENDED_HELP)));
}
private static void setUpFlags() {
FlagDependencies.addImplies(FLAG_EXTENDED_HELP, FLAG_HELP);
}
