Java Model.generateProlog Exemples

Exemple #1

Fichier : PrologBackend.java Projet : bungaca/abstools

  private void generateProlog() {
    if (entries != null) { // mode with entries
      entriesMode = true;
      collectReachableCode(entries);
    }

    // print discontiguous predicate to avoid warnings when loading the file
    outStream.print(
        ":-discontiguous mainBlock/3,def/6, data/3,methodImpl/5,"
            + "module/1, starImport/1,type/2,interface/3,class/3.\n");

    model.generateProlog(outStream, reachInfo);
  }