From: Alexandre Terrasa <alexandre@moz-code.org>
Date: Fri, 17 Jul 2015 18:06:57 +0000 (-0400)
Subject: nitj: implement aborts
X-Git-Tag: v0.7.7~17^2~29
X-Git-Url: http://nitlanguage.org

nitj: implement aborts

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
---

diff --git a/src/compiler/java_compiler.nit b/src/compiler/java_compiler.nit
index 2521c08..d166f63 100644
--- a/src/compiler/java_compiler.nit
+++ b/src/compiler/java_compiler.nit
@@ -333,17 +333,24 @@ class JavaCompilerVisitor
 	# Compile a statement (if any)
 	fun stmt(nexpr: nullable AExpr) do
 		if nexpr == null then return
+		var old = self.current_node
+		current_node = nexpr
 		nexpr.stmt(self)
+		current_node = old
 	end
 
 	# Compile an expression an return its result
 	# `mtype` is the expected return type, pass null if no specific type is expected.
 	fun expr(nexpr: AExpr, mtype: nullable MType): RuntimeVariable do
+		var old = current_node
+		current_node = nexpr
+
 		var res = null
 		if nexpr.mtype != null then
 			res = nexpr.expr(self)
 		end
 		assert res != null
+		current_node = old
 		return res
 	end
 
@@ -363,6 +370,19 @@ class JavaCompilerVisitor
 		return res
 	end
 
+	# Generate generic abort
+	#
+	# Used by aborts, asserts, casts, etc.
+	fun add_abort(message: String) do
+		add("System.err.print(\"Runtime error: {message}\");")
+		var node = current_node
+		if node != null then
+			add("System.err.print(\" ({node.location.short_location})\");")
+		end
+		add("System.err.println(\"\");")
+		add("System.exit(1);")
+	end
+
 	# Display a info message
 	fun info(str: String) do compiler.modelbuilder.toolcontext.info(str, 0)
 end
@@ -519,6 +539,15 @@ class JavaStaticFrame
 	var returnlabel: nullable String = null is writable
 end
 
+redef class Location
+	# Return a shortened version of the location with `"{file}:{line_start}"`
+	fun short_location: String do
+		var file = self.file
+		if file == null then return "<no file>:{line_start}"
+		return "{file.filename.escape_to_c}:{line_start}"
+	end
+end
+
 redef class MType
 	# Return the Java type associated to a given Nit static type
 	fun java_type: String do return "RTVal"
@@ -719,6 +748,10 @@ redef class ABlockExpr
 	end
 end
 
+redef class AAbortExpr
+	redef fun stmt(v) do v.add_abort("Aborted")
+end
+
 redef class ADebugTypeExpr
 	redef fun stmt(v) do end # do nothing
 end