()
| 48 | } |
| 49 | |
| 50 | public static void report_selected_flags() { |
| 51 | System.out.println("REPORTING SELECTED FLAGS: \n"); |
| 52 | |
| 53 | String prop = "[os_argv, home, executable, version, version_data, traditional, resource_database, toplevel_goal]"; |
| 54 | Query q = new Query(String.format("member(X, %s), current_prolog_flag(X, Y)", prop)); |
| 55 | while (q.hasMoreSolutions()) { |
| 56 | Map<String,Term> sol = q.nextSolution(); |
| 57 | System.out.println(String.format("\t Value of %s: %s", sol.get("X").toString(), sol.get(("Y")))); |
| 58 | } |
| 59 | } |
| 60 | |
| 61 | |
| 62 | public static void report_all_flags() { |
no test coverage detected