From: Alexandre Terrasa <alexandre@moz-code.org>
Date: Mon, 6 Jul 2015 15:33:04 +0000 (-0400)
Subject: nitj: compile native instances of Int, Byte, Float, Char and Bool
X-Git-Tag: v0.7.7~17^2~27
X-Git-Url: http://nitlanguage.org

nitj: compile native instances of Int, Byte, Float, Char and Bool

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

diff --git a/src/compiler/java_compiler.nit b/src/compiler/java_compiler.nit
index 2380705..7a7bf1e 100644
--- a/src/compiler/java_compiler.nit
+++ b/src/compiler/java_compiler.nit
@@ -390,6 +390,48 @@ class JavaCompilerVisitor
 		add("System.exit(1);")
 	end
 
+	# Native instances
+
+	# Generate an integer value
+	fun int_instance(value: Int): RuntimeVariable do
+		var t = compiler.mainmodule.int_type
+		return new RuntimeVariable(value.to_s, t, t)
+	end
+
+	# Generate a byte value
+	fun byte_instance(value: Byte): RuntimeVariable do
+		var t = compiler.mainmodule.byte_type
+		return new RuntimeVariable(value.to_s, t, t)
+	end
+
+	# Generate a char value
+	fun char_instance(value: Char): RuntimeVariable do
+		var t = compiler.mainmodule.char_type
+		return new RuntimeVariable("'{value.to_s.escape_to_c}'", t, t)
+	end
+
+	# Generate a float value
+	#
+	# FIXME pass a Float, not a string
+	fun float_instance(value: String): RuntimeVariable do
+		var t = compiler.mainmodule.float_type
+		return new RuntimeVariable(value.to_s, t, t)
+	end
+
+	# Generate an integer value
+	fun bool_instance(value: Bool): RuntimeVariable do
+		var t = compiler.mainmodule.bool_type
+		return new RuntimeVariable(value.to_s, t, t)
+	end
+
+	# Generate the `null` value
+	fun null_instance: RuntimeVariable do
+		var t = compiler.mainmodule.model.null_type
+		return new RuntimeVariable("null", t, t)
+	end
+
+	# Utils
+
 	# Display a info message
 	fun info(str: String) do compiler.modelbuilder.toolcontext.info(str, 0)
 end
@@ -763,6 +805,34 @@ redef class AImplicitSelfExpr
 	redef fun expr(v) do return v.frame.as(not null).arguments.first
 end
 
+redef class AIntExpr
+	redef fun expr(v) do return v.int_instance(self.value.as(not null))
+end
+
+redef class AByteExpr
+	redef fun expr(v) do return v.byte_instance(self.value.as(not null))
+end
+
+redef class AFloatExpr
+	redef fun expr(v) do return v.float_instance("{self.n_float.text}") # FIXME use value, not n_float
+end
+
+redef class ACharExpr
+	redef fun expr(v) do return v.char_instance(self.value.as(not null))
+end
+
+redef class ATrueExpr
+	redef fun expr(v) do return v.bool_instance(true)
+end
+
+redef class AFalseExpr
+	redef fun expr(v) do return v.bool_instance(false)
+end
+
+redef class ANullExpr
+	redef fun expr(v) do return v.null_instance
+end
+
 redef class AAbortExpr
 	redef fun stmt(v) do v.add_abort("Aborted")
 end