diff options
Diffstat (limited to 'main/exception/ExceptionManager.java')
| -rw-r--r-- | main/exception/ExceptionManager.java | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/main/exception/ExceptionManager.java b/main/exception/ExceptionManager.java deleted file mode 100644 index 7eabe14..0000000 --- a/main/exception/ExceptionManager.java +++ /dev/null @@ -1,21 +0,0 @@ -package com.jantuomi.interpreter.main.exception; - -/** - * Created by jan on 10.6.2016. - */ -public class ExceptionManager { - - private static final ExceptionManager instance = new ExceptionManager(); - - private ExceptionManager() { - } - - public static ExceptionManager getInstance() { - return instance; - } - - public static void raise(InterpreterException.ExceptionType ex, int line, String... args) throws InterpreterException { - InterpreterException e = new InterpreterException(ex, line, args); - throw e; - } -} |
