Delete Temp Files

src/main/java/edu/kit/formal/commands/CommandHandler.java

-package edu.kit.formal.commands;
-
-import edu.kit.formal.interpreter.State;
-
-import java.util.ArrayList;
-import java.util.List;
-
-/**
- * AbstractHandler for Chain of Respionsibility
- */
-public abstract class CommandHandler {
-    protected List<CommandHandler> nextList = new ArrayList<>();
-
-    public void addNextCommandHandler(CommandHandler cmdHandler) {
-        this.nextList.add(cmdHandler);
-    }
-
-    public void handle(String commandName) {
-        for (int i = 0; i < nextList.size(); i++) {
-            CommandHandler cmdHandler = nextList.get(i);
-            cmdHandler.handle(commandName);
-        }
-    }
-
-    protected abstract State processCommand();
-
-}

src/main/java/edu/kit/formal/commands/LocalScriptCommandHandler.java

-package edu.kit.formal.commands;
-
-import edu.kit.formal.interpreter.State;
-import edu.kit.formal.proofscriptparser.ast.ProofScript;
-
-import java.util.HashMap;
-
-/**
- * Created by sarah on 5/17/17.
- */
-public class LocalScriptCommandHandler extends CommandHandler {
-    HashMap<String, ProofScript> localScripts;
-    String requestedCommand;
-
-    public LocalScriptCommandHandler() {
-        localScripts = new HashMap<>();
-    }
-
-    @Override
-    public void handle(String commandName) {
-        if (localScripts.containsKey(commandName)) {
-            requestedCommand = commandName;
-            processCommand();
-        } else {
-            super.handle(commandName);
-        }
-    }
-
-    @Override
-    protected State processCommand() {
-        ProofScript command = localScripts.get(requestedCommand);
-        return null;
-        //execute
-
-    }
-}