X-Git-Url: http://nitlanguage.org

diff --git a/lib/json/json_lexer.nit b/lib/json/json_lexer.nit
index 78dee16..8ec28ff 100644
--- a/lib/json/json_lexer.nit
+++ b/lib/json/json_lexer.nit
@@ -1,49 +1,53 @@
-# Lexer generated by nitcc for the grammar jsonimport nitcc_runtime
+# Lexer generated by nitcc for the grammar json
+module json_lexer is no_warning "missing-doc"
+import nitcc_runtime
 import json_parser
 class Lexer_json
 	super Lexer
 	redef fun start_state do return dfastate_0
 end
-redef class Object
-	private fun dfastate_0: DFAState0 do return once new DFAState0
-	private fun dfastate_1: DFAState1 do return once new DFAState1
-	private fun dfastate_2: DFAState2 do return once new DFAState2
-	private fun dfastate_3: DFAState3 do return once new DFAState3
-	private fun dfastate_4: DFAState4 do return once new DFAState4
-	private fun dfastate_5: DFAState5 do return once new DFAState5
-	private fun dfastate_6: DFAState6 do return once new DFAState6
-	private fun dfastate_7: DFAState7 do return once new DFAState7
-	private fun dfastate_8: DFAState8 do return once new DFAState8
-	private fun dfastate_9: DFAState9 do return once new DFAState9
-	private fun dfastate_10: DFAState10 do return once new DFAState10
-	private fun dfastate_11: DFAState11 do return once new DFAState11
-	private fun dfastate_12: DFAState12 do return once new DFAState12
-	private fun dfastate_13: DFAState13 do return once new DFAState13
-	private fun dfastate_14: DFAState14 do return once new DFAState14
-	private fun dfastate_15: DFAState15 do return once new DFAState15
-	private fun dfastate_16: DFAState16 do return once new DFAState16
-	private fun dfastate_17: DFAState17 do return once new DFAState17
-	private fun dfastate_18: DFAState18 do return once new DFAState18
-	private fun dfastate_19: DFAState19 do return once new DFAState19
-	private fun dfastate_20: DFAState20 do return once new DFAState20
-	private fun dfastate_21: DFAState21 do return once new DFAState21
-	private fun dfastate_22: DFAState22 do return once new DFAState22
-	private fun dfastate_23: DFAState23 do return once new DFAState23
-	private fun dfastate_24: DFAState24 do return once new DFAState24
-	private fun dfastate_25: DFAState25 do return once new DFAState25
-	private fun dfastate_26: DFAState26 do return once new DFAState26
-	private fun dfastate_27: DFAState27 do return once new DFAState27
-	private fun dfastate_28: DFAState28 do return once new DFAState28
-	private fun dfastate_29: DFAState29 do return once new DFAState29
-	private fun dfastate_30: DFAState30 do return once new DFAState30
-end
+private fun dfastate_0: DFAState0 do return once new DFAState0
+private fun dfastate_1: DFAState1 do return once new DFAState1
+private fun dfastate_2: DFAState2 do return once new DFAState2
+private fun dfastate_3: DFAState3 do return once new DFAState3
+private fun dfastate_4: DFAState4 do return once new DFAState4
+private fun dfastate_5: DFAState5 do return once new DFAState5
+private fun dfastate_6: DFAState6 do return once new DFAState6
+private fun dfastate_7: DFAState7 do return once new DFAState7
+private fun dfastate_8: DFAState8 do return once new DFAState8
+private fun dfastate_9: DFAState9 do return once new DFAState9
+private fun dfastate_10: DFAState10 do return once new DFAState10
+private fun dfastate_11: DFAState11 do return once new DFAState11
+private fun dfastate_12: DFAState12 do return once new DFAState12
+private fun dfastate_13: DFAState13 do return once new DFAState13
+private fun dfastate_14: DFAState14 do return once new DFAState14
+private fun dfastate_15: DFAState15 do return once new DFAState15
+private fun dfastate_16: DFAState16 do return once new DFAState16
+private fun dfastate_17: DFAState17 do return once new DFAState17
+private fun dfastate_18: DFAState18 do return once new DFAState18
+private fun dfastate_19: DFAState19 do return once new DFAState19
+private fun dfastate_20: DFAState20 do return once new DFAState20
+private fun dfastate_21: DFAState21 do return once new DFAState21
+private fun dfastate_22: DFAState22 do return once new DFAState22
+private fun dfastate_23: DFAState23 do return once new DFAState23
+private fun dfastate_24: DFAState24 do return once new DFAState24
+private fun dfastate_25: DFAState25 do return once new DFAState25
+private fun dfastate_26: DFAState26 do return once new DFAState26
+private fun dfastate_27: DFAState27 do return once new DFAState27
+private fun dfastate_28: DFAState28 do return once new DFAState28
+private fun dfastate_29: DFAState29 do return once new DFAState29
+private fun dfastate_30: DFAState30 do return once new DFAState30
+private fun dfastate_31: DFAState31 do return once new DFAState31
+private fun dfastate_32: DFAState32 do return once new DFAState32
+private fun dfastate_33: DFAState33 do return once new DFAState33
+private fun dfastate_34: DFAState34 do return once new DFAState34
 class MyNToken
 	super NToken
 end
-class DFAState0
+private class DFAState0
 	super DFAState
 	redef fun trans(char) do
-		var c = char.ascii
+		var c = char.code_point
 		if c <= 8 then return null
 		if c <= 10 then return dfastate_1
 		if c <= 31 then return null
@@ -73,14 +77,15 @@ class DFAState0
 		return null
 	end
 end
-class DFAState1
+private class DFAState1
 	super DFAState
 	redef fun is_accept do return true
-	redef fun make_token(position, text) do
+	redef fun is_ignored do return true
+	redef fun make_token(position, source) do
 		return null
 	end
 	redef fun trans(char) do
-		var c = char.ascii
+		var c = char.code_point
 		if c <= 8 then return null
 		if c <= 10 then return dfastate_1
 		if c <= 31 then return null
@@ -88,47 +93,47 @@ class DFAState1
 		return null
 	end
 end
-class DFAState2
+private class DFAState2
 	super DFAState
 	redef fun trans(char) do
-		var c = char.ascii
+		var c = char.code_point
+		if c > 92 then return dfastate_2
 		if c <= 33 then return dfastate_2
 		if c <= 34 then return dfastate_29
 		if c <= 91 then return dfastate_2
-		if c <= 92 then return dfastate_30
-		return dfastate_2
+		return dfastate_30
 	end
 end
-class DFAState3
+private class DFAState3
 	super DFAState
 	redef fun is_accept do return true
-	redef fun make_token(position, text) do
+	redef fun make_token(position, source) do
 		var t = new N_39d_44d_39d
+		t.text = ","
 		t.position = position
-		t.text = text
 		return t
 	end
 end
-class DFAState4
+private class DFAState4
 	super DFAState
 	redef fun trans(char) do
-		var c = char.ascii
+		var c = char.code_point
 		if c <= 47 then return null
 		if c <= 57 then return dfastate_5
 		return null
 	end
 end
-class DFAState5
+private class DFAState5
 	super DFAState
 	redef fun is_accept do return true
-	redef fun make_token(position, text) do
+	redef fun make_token(position, source) do
 		var t = new Nnumber
+		t.text = position.extract(source)
 		t.position = position
-		t.text = text
 		return t
 	end
 	redef fun trans(char) do
-		var c = char.ascii
+		var c = char.code_point
 		if c <= 45 then return null
 		if c <= 46 then return dfastate_24
 		if c <= 47 then return null
@@ -140,189 +145,189 @@ class DFAState5
 		return null
 	end
 end
-class DFAState6
+private class DFAState6
 	super DFAState
 	redef fun is_accept do return true
-	redef fun make_token(position, text) do
+	redef fun make_token(position, source) do
 		var t = new N_39d_58d_39d
+		t.text = ":"
 		t.position = position
-		t.text = text
 		return t
 	end
 end
-class DFAState7
+private class DFAState7
 	super DFAState
 	redef fun is_accept do return true
-	redef fun make_token(position, text) do
+	redef fun make_token(position, source) do
 		var t = new N_39d_91d_39d
+		t.text = "["
 		t.position = position
-		t.text = text
 		return t
 	end
 end
-class DFAState8
+private class DFAState8
 	super DFAState
 	redef fun is_accept do return true
-	redef fun make_token(position, text) do
+	redef fun make_token(position, source) do
 		var t = new N_39d_93d_39d
+		t.text = "]"
 		t.position = position
-		t.text = text
 		return t
 	end
 end
-class DFAState9
+private class DFAState9
 	super DFAState
 	redef fun trans(char) do
-		var c = char.ascii
+		var c = char.code_point
 		if c <= 96 then return null
 		if c <= 97 then return dfastate_20
 		return null
 	end
 end
-class DFAState10
+private class DFAState10
 	super DFAState
 	redef fun trans(char) do
-		var c = char.ascii
+		var c = char.code_point
 		if c <= 116 then return null
 		if c <= 117 then return dfastate_17
 		return null
 	end
 end
-class DFAState11
+private class DFAState11
 	super DFAState
 	redef fun trans(char) do
-		var c = char.ascii
+		var c = char.code_point
 		if c <= 113 then return null
 		if c <= 114 then return dfastate_14
 		return null
 	end
 end
-class DFAState12
+private class DFAState12
 	super DFAState
 	redef fun is_accept do return true
-	redef fun make_token(position, text) do
+	redef fun make_token(position, source) do
 		var t = new N_39d_123d_39d
+		t.text = "\{"
 		t.position = position
-		t.text = text
 		return t
 	end
 end
-class DFAState13
+private class DFAState13
 	super DFAState
 	redef fun is_accept do return true
-	redef fun make_token(position, text) do
+	redef fun make_token(position, source) do
 		var t = new N_39d_125d_39d
+		t.text = "\}"
 		t.position = position
-		t.text = text
 		return t
 	end
 end
-class DFAState14
+private class DFAState14
 	super DFAState
 	redef fun trans(char) do
-		var c = char.ascii
+		var c = char.code_point
 		if c <= 116 then return null
 		if c <= 117 then return dfastate_15
 		return null
 	end
 end
-class DFAState15
+private class DFAState15
 	super DFAState
 	redef fun trans(char) do
-		var c = char.ascii
+		var c = char.code_point
 		if c <= 100 then return null
 		if c <= 101 then return dfastate_16
 		return null
 	end
 end
-class DFAState16
+private class DFAState16
 	super DFAState
 	redef fun is_accept do return true
-	redef fun make_token(position, text) do
+	redef fun make_token(position, source) do
 		var t = new N_39dtrue_39d
+		t.text = "true"
 		t.position = position
-		t.text = text
 		return t
 	end
 end
-class DFAState17
+private class DFAState17
 	super DFAState
 	redef fun trans(char) do
-		var c = char.ascii
+		var c = char.code_point
 		if c <= 107 then return null
 		if c <= 108 then return dfastate_18
 		return null
 	end
 end
-class DFAState18
+private class DFAState18
 	super DFAState
 	redef fun trans(char) do
-		var c = char.ascii
+		var c = char.code_point
 		if c <= 107 then return null
 		if c <= 108 then return dfastate_19
 		return null
 	end
 end
-class DFAState19
+private class DFAState19
 	super DFAState
 	redef fun is_accept do return true
-	redef fun make_token(position, text) do
+	redef fun make_token(position, source) do
 		var t = new N_39dnull_39d
+		t.text = "null"
 		t.position = position
-		t.text = text
 		return t
 	end
 end
-class DFAState20
+private class DFAState20
 	super DFAState
 	redef fun trans(char) do
-		var c = char.ascii
+		var c = char.code_point
 		if c <= 107 then return null
 		if c <= 108 then return dfastate_21
 		return null
 	end
 end
-class DFAState21
+private class DFAState21
 	super DFAState
 	redef fun trans(char) do
-		var c = char.ascii
+		var c = char.code_point
 		if c <= 114 then return null
 		if c <= 115 then return dfastate_22
 		return null
 	end
 end
-class DFAState22
+private class DFAState22
 	super DFAState
 	redef fun trans(char) do
-		var c = char.ascii
+		var c = char.code_point
 		if c <= 100 then return null
 		if c <= 101 then return dfastate_23
 		return null
 	end
 end
-class DFAState23
+private class DFAState23
 	super DFAState
 	redef fun is_accept do return true
-	redef fun make_token(position, text) do
+	redef fun make_token(position, source) do
 		var t = new N_39dfalse_39d
+		t.text = "false"
 		t.position = position
-		t.text = text
 		return t
 	end
 end
-class DFAState24
+private class DFAState24
 	super DFAState
 	redef fun trans(char) do
-		var c = char.ascii
+		var c = char.code_point
 		if c <= 47 then return null
 		if c <= 57 then return dfastate_28
 		return null
 	end
 end
-class DFAState25
+private class DFAState25
 	super DFAState
 	redef fun trans(char) do
-		var c = char.ascii
+		var c = char.code_point
 		if c <= 42 then return null
 		if c <= 43 then return dfastate_26
 		if c <= 44 then return null
@@ -332,42 +337,42 @@ class DFAState25
 		return null
 	end
 end
-class DFAState26
+private class DFAState26
 	super DFAState
 	redef fun trans(char) do
-		var c = char.ascii
+		var c = char.code_point
 		if c <= 47 then return null
 		if c <= 57 then return dfastate_27
 		return null
 	end
 end
-class DFAState27
+private class DFAState27
 	super DFAState
 	redef fun is_accept do return true
-	redef fun make_token(position, text) do
+	redef fun make_token(position, source) do
 		var t = new Nnumber
+		t.text = position.extract(source)
 		t.position = position
-		t.text = text
 		return t
 	end
 	redef fun trans(char) do
-		var c = char.ascii
+		var c = char.code_point
 		if c <= 47 then return null
 		if c <= 57 then return dfastate_27
 		return null
 	end
 end
-class DFAState28
+private class DFAState28
 	super DFAState
 	redef fun is_accept do return true
-	redef fun make_token(position, text) do
+	redef fun make_token(position, source) do
 		var t = new Nnumber
+		t.text = position.extract(source)
 		t.position = position
-		t.text = text
 		return t
 	end
 	redef fun trans(char) do
-		var c = char.ascii
+		var c = char.code_point
 		if c <= 47 then return null
 		if c <= 57 then return dfastate_28
 		if c <= 68 then return null
@@ -377,20 +382,89 @@ class DFAState28
 		return null
 	end
 end
-class DFAState29
+private class DFAState29
 	super DFAState
 	redef fun is_accept do return true
-	redef fun make_token(position, text) do
+	redef fun make_token(position, source) do
 		var t = new Nstring
+		t.text = position.extract(source)
 		t.position = position
-		t.text = text
 		return t
 	end
 end
-class DFAState30
+private class DFAState30
+	super DFAState
+	redef fun trans(char) do
+		var c = char.code_point
+		if c <= 33 then return null
+		if c <= 34 then return dfastate_2
+		if c <= 46 then return null
+		if c <= 47 then return dfastate_2
+		if c <= 91 then return null
+		if c <= 92 then return dfastate_2
+		if c <= 97 then return null
+		if c <= 98 then return dfastate_2
+		if c <= 101 then return null
+		if c <= 102 then return dfastate_2
+		if c <= 109 then return null
+		if c <= 110 then return dfastate_2
+		if c <= 113 then return null
+		if c <= 114 then return dfastate_2
+		if c <= 115 then return null
+		if c <= 116 then return dfastate_2
+		if c <= 117 then return dfastate_31
+		return null
+	end
+end
+private class DFAState31
+	super DFAState
+	redef fun trans(char) do
+		var c = char.code_point
+		if c <= 47 then return null
+		if c <= 57 then return dfastate_32
+		if c <= 64 then return null
+		if c <= 90 then return dfastate_32
+		if c <= 96 then return null
+		if c <= 122 then return dfastate_32
+		return null
+	end
+end
+private class DFAState32
+	super DFAState
+	redef fun trans(char) do
+		var c = char.code_point
+		if c <= 47 then return null
+		if c <= 57 then return dfastate_33
+		if c <= 64 then return null
+		if c <= 90 then return dfastate_33
+		if c <= 96 then return null
+		if c <= 122 then return dfastate_33
+		return null
+	end
+end
+private class DFAState33
+	super DFAState
+	redef fun trans(char) do
+		var c = char.code_point
+		if c <= 47 then return null
+		if c <= 57 then return dfastate_34
+		if c <= 64 then return null
+		if c <= 90 then return dfastate_34
+		if c <= 96 then return null
+		if c <= 122 then return dfastate_34
+		return null
+	end
+end
+private class DFAState34
 	super DFAState
 	redef fun trans(char) do
-		var c = char.ascii
-		return dfastate_2
+		var c = char.code_point
+		if c <= 47 then return null
+		if c <= 57 then return dfastate_2
+		if c <= 64 then return null
+		if c <= 90 then return dfastate_2
+		if c <= 96 then return null
+		if c <= 122 then return dfastate_2
+		return null
 	end
 end