Commit 70b1cff1 authored by Sarah Grebing's avatar Sarah Grebing

Added logger to matcher for infos about reductions

parent f8c23cfd
Pipeline #21859 passed with stages
in 8 minutes and 46 seconds
package edu.kit.iti.formal.psdbg.interpreter.matcher;
import com.google.common.collect.Sets;
import com.sun.media.jfxmedia.logging.Logger;
import de.uka.ilkd.key.logic.SequentFormula;
import de.uka.ilkd.key.logic.Term;
import de.uka.ilkd.key.logic.op.LogicVariable;
import de.uka.ilkd.key.logic.op.QuantifiableVariable;
import org.apache.logging.log4j.LogManager;
import java.util.*;
public class MutableMatchings implements Matchings {
private static final org.apache.logging.log4j.Logger LOGGER = LogManager.getLogger(MutableMatchings.class);
public Set<Match> inner = new TreeSet<>(new VariableAssignmentComparator());
public static Matchings singleton(String name, MatchPath term) {
......@@ -163,7 +166,7 @@ public class MutableMatchings implements Matchings {
}
newMatch.putAll(h2);
System.out.format("reduce: %20s :: %20s = %s%n", h1, h2, newMatch);
Logger.logMsg(Logger.INFO, String.format("reduce: %20s :: %20s = %s%n", h1, h2, newMatch));
return newMatch;
}
......
......@@ -6,11 +6,8 @@ import edu.kit.iti.formal.psdbg.gui.controls.Utils;
import edu.kit.iti.formal.psdbg.interpreter.InterpreterBuilder;
import edu.kit.iti.formal.psdbg.interpreter.KeYProofFacade;
import edu.kit.iti.formal.psdbg.interpreter.KeyInterpreter;
import edu.kit.iti.formal.psdbg.interpreter.data.KeyData;
import edu.kit.iti.formal.psdbg.interpreter.data.SavePoint;
import edu.kit.iti.formal.psdbg.interpreter.dbg.Blocker;
import edu.kit.iti.formal.psdbg.interpreter.dbg.Breakpoint;
import edu.kit.iti.formal.psdbg.interpreter.dbg.DebuggerFramework;
import edu.kit.iti.formal.psdbg.parser.ast.ProofScript;
import edu.kit.iti.formal.psdbg.parser.ast.Statements;
import javafx.scene.control.Alert;
......@@ -113,7 +110,7 @@ public class ScriptExecutionController {
private void executeScriptFromSavePoint(InterpreterBuilder ib, SavePoint point) {
public void executeScriptFromSavePoint(InterpreterBuilder ib, SavePoint point) {
try {
Set<Breakpoint> breakpoints = mainCtrl.getScriptController().getBreakpoints();
// get possible scripts and the main script!
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment