Casting float to integer in LitterBox translation

.gitignore

@@ -1,4 +1,5 @@
 .idea/
 target/
 *.iml
+src/main/resources/META-INF/
 dependency-reduced-pom.xml

src/main/java/de/uni_passau/fim/se2/litterbox/ast/visitor/LeilaVisitor.java

@@ -89,6 +89,7 @@
 import java.io.PrintStream;
 import java.util.*;
 import java.util.regex.Pattern;
+import java.util.logging.Logger;
 
 import static de.uni_passau.fim.se2.litterbox.ast.visitor.LeilaVisitor.TYPE.*;
 
@@ -105,6 +106,8 @@ public class LeilaVisitor extends PrintVisitor {
     private Program program = null;
     private Stack<TYPE> expectedTypes = new Stack<>();
 
+    private static final Logger log = Logger.getLogger(PrintVisitor.class.getName());
+
     enum TYPE {
         INTEGER, FLOAT, ORIGINAL
     }
@@ -1638,19 +1641,13 @@ public void visit(NumberLiteral number) {
         double value = number.getValue();
         switch (expectedType) {
             case ORIGINAL:
-                if (isInteger(value)) {
-                    emitAsLong(value);
-                } else {
-                    emitAsDouble(value);
-                }
-                break;
             case INTEGER:
-                if (isInteger(value)) {
-                    emitAsLong(value);
-                } else {
-                    throw new RuntimeException("Expected type integer but got " + value);
+                if (!isInteger(value)) {
+                    log.warning("Value " + value + " cast as integer");
                 }
+                emitAsLong(value);
                 break;
+            //throw new RuntimeException("Expected type integer but got " + value);
             case FLOAT:
                 emitAsDouble(value);
                 break;