Example #1
0
  /**
   * 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();
    }
  }
Example #2
0
  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)));
  }
Example #3
0
 private static void setUpFlags() {
   FlagDependencies.addImplies(FLAG_EXTENDED_HELP, FLAG_HELP);
 }