jiffy 1.0.1

data/lib/jiffy/parsers/json_float.rl

@@ -0,0 +1,37 @@
+%%{
+    machine json_float;
+    include json_common "json_common.rl";
+
+    action exit { fhold; fbreak; }
+
+    action char { o.t :char, [data[p]].pack("c*") }
+    action number { o.t :number, [data[p]].pack("c*").to_i }
+
+    significand = '-'? @char ('0' >number | [1-9] >char [0-9]* $number) ('.' >char [0-9]+ $number)?;
+
+    exponent = [Ee] >char [+\-]? @char [0-9]+ $number;
+
+    main := (significand exponent?) (^[0-9Ee.\-]? @exit );
+}%%
+
+class Jiffy
+  module Parsers
+    module JsonFloat
+      def initialize(*args)
+        %% write data;
+        super
+      end
+
+      def parse_json_float(p, pe)
+        t_p = p
+
+        %% write init;
+        %% write exec;
+
+        if cs >= json_float_first_final
+          p
+        end
+      end
+    end
+  end
+end

data/lib/jiffy/parsers/json_object.rb

@@ -0,0 +1,348 @@
+
+# line 1 "json_object.rl"
+
+# line 36 "json_object.rl"
+
+
+class Jiffy
+  module Parsers
+    module JsonObject
+      def initialize(*args)
+        
+# line 13 "json_object.rb"
+class << self
+	attr_accessor :_json_object_actions
+	private :_json_object_actions, :_json_object_actions=
+end
+self._json_object_actions = [
+	0, 1, 0, 1, 5, 1, 6, 1, 
+	7, 2, 8, 2, 3, 3, 1, 4
+]
+
+class << self
+	attr_accessor :_json_object_key_offsets
+	private :_json_object_key_offsets, :_json_object_key_offsets=
+end
+self._json_object_key_offsets = [
+	0, 0, 1, 8, 14, 16, 17, 19, 
+	20, 36, 43, 49, 51, 52, 54, 55, 
+	57, 58, 60, 61, 63, 64, 66, 67, 
+	69, 70, 72, 73
+]
+
+class << self
+	attr_accessor :_json_object_trans_keys
+	private :_json_object_trans_keys, :_json_object_trans_keys=
+end
+self._json_object_trans_keys = [
+	123, 13, 32, 34, 47, 125, 9, 10, 
+	13, 32, 47, 58, 9, 10, 42, 47, 
+	42, 42, 47, 10, 13, 32, 34, 45, 
+	47, 73, 78, 91, 102, 110, 116, 123, 
+	9, 10, 48, 57, 13, 32, 44, 47, 
+	125, 9, 10, 13, 32, 34, 47, 9, 
+	10, 42, 47, 42, 42, 47, 10, 42, 
+	47, 42, 42, 47, 10, 42, 47, 42, 
+	42, 47, 10, 42, 47, 42, 42, 47, 
+	10, 0
+]
+
+class << self
+	attr_accessor :_json_object_single_lengths
+	private :_json_object_single_lengths, :_json_object_single_lengths=
+end
+self._json_object_single_lengths = [
+	0, 1, 5, 4, 2, 1, 2, 1, 
+	12, 5, 4, 2, 1, 2, 1, 2, 
+	1, 2, 1, 2, 1, 2, 1, 2, 
+	1, 2, 1, 0
+]
+
+class << self
+	attr_accessor :_json_object_range_lengths
+	private :_json_object_range_lengths, :_json_object_range_lengths=
+end
+self._json_object_range_lengths = [
+	0, 0, 1, 1, 0, 0, 0, 0, 
+	2, 1, 1, 0, 0, 0, 0, 0, 
+	0, 0, 0, 0, 0, 0, 0, 0, 
+	0, 0, 0, 0
+]
+
+class << self
+	attr_accessor :_json_object_index_offsets
+	private :_json_object_index_offsets, :_json_object_index_offsets=
+end
+self._json_object_index_offsets = [
+	0, 0, 2, 9, 15, 18, 20, 23, 
+	25, 40, 47, 53, 56, 58, 61, 63, 
+	66, 68, 71, 73, 76, 78, 81, 83, 
+	86, 88, 91, 93
+]
+
+class << self
+	attr_accessor :_json_object_indicies
+	private :_json_object_indicies, :_json_object_indicies=
+end
+self._json_object_indicies = [
+	0, 1, 2, 2, 3, 4, 5, 2, 
+	1, 6, 6, 7, 8, 6, 1, 9, 
+	10, 1, 11, 9, 11, 6, 9, 6, 
+	10, 12, 12, 13, 13, 14, 13, 13, 
+	13, 13, 13, 13, 13, 12, 13, 1, 
+	15, 15, 16, 17, 5, 15, 1, 18, 
+	18, 3, 19, 18, 1, 20, 21, 1, 
+	22, 20, 22, 18, 20, 18, 21, 23, 
+	24, 1, 25, 23, 25, 15, 23, 15, 
+	24, 26, 27, 1, 28, 26, 28, 12, 
+	26, 12, 27, 29, 30, 1, 31, 29, 
+	31, 2, 29, 2, 30, 1, 0
+]
+
+class << self
+	attr_accessor :_json_object_trans_targs
+	private :_json_object_trans_targs, :_json_object_trans_targs=
+end
+self._json_object_trans_targs = [
+	2, 0, 2, 3, 23, 27, 3, 4, 
+	8, 5, 7, 6, 8, 9, 19, 9, 
+	10, 15, 10, 11, 12, 14, 13, 16, 
+	18, 17, 20, 22, 21, 24, 26, 25
+]
+
+class << self
+	attr_accessor :_json_object_trans_actions
+	private :_json_object_trans_actions, :_json_object_trans_actions=
+end
+self._json_object_trans_actions = [
+	7, 0, 0, 12, 0, 9, 0, 0, 
+	3, 0, 0, 0, 0, 1, 0, 0, 
+	5, 0, 0, 0, 0, 0, 0, 0, 
+	0, 0, 0, 0, 0, 0, 0, 0
+]
+
+class << self
+	attr_accessor :json_object_start
+end
+self.json_object_start = 1;
+class << self
+	attr_accessor :json_object_first_final
+end
+self.json_object_first_final = 27;
+class << self
+	attr_accessor :json_object_error
+end
+self.json_object_error = 0;
+
+class << self
+	attr_accessor :json_object_en_main
+end
+self.json_object_en_main = 1;
+
+
+# line 43 "json_object.rl"
+        super
+      end
+
+      def parse_json_object(p, pe)
+        
+# line 150 "json_object.rb"
+begin
+	p ||= 0
+	pe ||= data.length
+	cs = json_object_start
+end
+
+# line 48 "json_object.rl"
+        
+# line 159 "json_object.rb"
+begin
+	_klen, _trans, _keys, _acts, _nacts = nil
+	_goto_level = 0
+	_resume = 10
+	_eof_trans = 15
+	_again = 20
+	_test_eof = 30
+	_out = 40
+	while true
+	_trigger_goto = false
+	if _goto_level <= 0
+	if p == pe
+		_goto_level = _test_eof
+		next
+	end
+	if cs == 0
+		_goto_level = _out
+		next
+	end
+	end
+	if _goto_level <= _resume
+	_keys = _json_object_key_offsets[cs]
+	_trans = _json_object_index_offsets[cs]
+	_klen = _json_object_single_lengths[cs]
+	_break_match = false
+	
+	begin
+	  if _klen > 0
+	     _lower = _keys
+	     _upper = _keys + _klen - 1
+
+	     loop do
+	        break if _upper < _lower
+	        _mid = _lower + ( (_upper - _lower) >> 1 )
+
+	        if data[p].ord < _json_object_trans_keys[_mid]
+	           _upper = _mid - 1
+	        elsif data[p].ord > _json_object_trans_keys[_mid]
+	           _lower = _mid + 1
+	        else
+	           _trans += (_mid - _keys)
+	           _break_match = true
+	           break
+	        end
+	     end # loop
+	     break if _break_match
+	     _keys += _klen
+	     _trans += _klen
+	  end
+	  _klen = _json_object_range_lengths[cs]
+	  if _klen > 0
+	     _lower = _keys
+	     _upper = _keys + (_klen << 1) - 2
+	     loop do
+	        break if _upper < _lower
+	        _mid = _lower + (((_upper-_lower) >> 1) & ~1)
+	        if data[p].ord < _json_object_trans_keys[_mid]
+	          _upper = _mid - 2
+	        elsif data[p].ord > _json_object_trans_keys[_mid+1]
+	          _lower = _mid + 2
+	        else
+	          _trans += ((_mid - _keys) >> 1)
+	          _break_match = true
+	          break
+	        end
+	     end # loop
+	     break if _break_match
+	     _trans += _klen
+	  end
+	end while false
+	_trans = _json_object_indicies[_trans]
+	cs = _json_object_trans_targs[_trans]
+	if _json_object_trans_actions[_trans] != 0
+		_acts = _json_object_trans_actions[_trans]
+		_nacts = _json_object_actions[_acts]
+		_acts += 1
+		while _nacts > 0
+			_nacts -= 1
+			_acts += 1
+			case _json_object_actions[_acts - 1]
+when 0 then
+# line 5 "json_object.rl"
+		begin
+
+        np = parse_json_value(p, pe)
+
+        if np
+             begin p = (( np))-1; end
+
+        else
+            p = p - 1; 	begin
+		p += 1
+		_trigger_goto = true
+		_goto_level = _out
+		break
+	end
+
+        end
+    		end
+when 1 then
+# line 15 "json_object.rl"
+		begin
+
+        np = parse_json_string(p, pe)
+
+        if np
+             begin p = (( np))-1; end
+
+        else
+            p = p - 1; 	begin
+		p += 1
+		_trigger_goto = true
+		_goto_level = _out
+		break
+	end
+
+        end
+    		end
+when 2 then
+# line 25 "json_object.rl"
+		begin
+ p = p - 1; 	begin
+		p += 1
+		_trigger_goto = true
+		_goto_level = _out
+		break
+	end
+ 		end
+when 3 then
+# line 27 "json_object.rl"
+		begin
+ o.t :begin_string 		end
+when 4 then
+# line 27 "json_object.rl"
+		begin
+ o.t :end_string 		end
+when 5 then
+# line 27 "json_object.rl"
+		begin
+ o.t :name_separator 		end
+when 6 then
+# line 29 "json_object.rl"
+		begin
+ o.t :value_separator 		end
+when 7 then
+# line 32 "json_object.rl"
+		begin
+ o.t :begin_object 		end
+when 8 then
+# line 34 "json_object.rl"
+		begin
+ o.t :end_object 		end
+# line 312 "json_object.rb"
+			end # action switch
+		end
+	end
+	if _trigger_goto
+		next
+	end
+	end
+	if _goto_level <= _again
+	if cs == 0
+		_goto_level = _out
+		next
+	end
+	p += 1
+	if p != pe
+		_goto_level = _resume
+		next
+	end
+	end
+	if _goto_level <= _test_eof
+	end
+	if _goto_level <= _out
+		break
+	end
+	end
+	end
+
+# line 49 "json_object.rl"
+
+        if cs >= json_object_first_final
+          p + 1
+        else
+          raise_unparseable p
+        end
+      end
+    end
+  end
+end

data/lib/jiffy/parsers/json_object.rl

@@ -0,0 +1,58 @@
+%%{
+    machine json_object;
+    include json_common "json_common.rl";
+
+    action parse_value {
+        np = parse_json_value(fpc, pe)
+
+        if np
+            fexec np;
+        else
+            fhold; fbreak;
+        end
+    }
+
+    action parse_name {
+        np = parse_json_string(fpc, pe)
+
+        if np
+            fexec np;
+        else
+            fhold; fbreak;
+        end
+    }
+
+    action exit { fhold; fbreak; }
+
+    pair = ignore* begin_name >{ o.t :begin_string } >parse_name @{ o.t :end_string } ignore* name_separator >{ o.t :name_separator } ignore* begin_value >parse_value;
+
+    next_pair = ignore* value_separator >{ o.t :value_separator } pair;
+
+    main := (
+        begin_object >{ o.t :begin_object }
+        (pair (next_pair)*)? ignore*
+        end_object >{ o.t :end_object }
+    ) @exit;
+}%%
+
+class Jiffy
+  module Parsers
+    module JsonObject
+      def initialize(*args)
+        %% write data;
+        super
+      end
+
+      def parse_json_object(p, pe)
+        %% write init;
+        %% write exec;
+
+        if cs >= json_object_first_final
+          p + 1
+        else
+          raise_unparseable p
+        end
+      end
+    end
+  end
+end

data/lib/jiffy/parsers/json_string.rb

@@ -0,0 +1,267 @@
+
+# line 1 "json_string.rl"
+
+# line 17 "json_string.rl"
+
+
+class Jiffy
+  module Parsers
+    module JsonString
+      def initialize(*args)
+        
+# line 13 "json_string.rb"
+class << self
+	attr_accessor :_json_string_actions
+	private :_json_string_actions, :_json_string_actions=
+end
+self._json_string_actions = [
+	0, 1, 0, 1, 1
+]
+
+class << self
+	attr_accessor :_json_string_key_offsets
+	private :_json_string_key_offsets, :_json_string_key_offsets=
+end
+self._json_string_key_offsets = [
+	0, 0, 1, 5, 14, 20, 26, 32, 
+	38
+]
+
+class << self
+	attr_accessor :_json_string_trans_keys
+	private :_json_string_trans_keys, :_json_string_trans_keys=
+end
+self._json_string_trans_keys = [
+	34, 34, 92, 0, 31, 34, 47, 92, 
+	98, 102, 110, 114, 116, 117, 48, 57, 
+	65, 70, 97, 102, 48, 57, 65, 70, 
+	97, 102, 48, 57, 65, 70, 97, 102, 
+	48, 57, 65, 70, 97, 102, 0
+]
+
+class << self
+	attr_accessor :_json_string_single_lengths
+	private :_json_string_single_lengths, :_json_string_single_lengths=
+end
+self._json_string_single_lengths = [
+	0, 1, 2, 9, 0, 0, 0, 0, 
+	0
+]
+
+class << self
+	attr_accessor :_json_string_range_lengths
+	private :_json_string_range_lengths, :_json_string_range_lengths=
+end
+self._json_string_range_lengths = [
+	0, 0, 1, 0, 3, 3, 3, 3, 
+	0
+]
+
+class << self
+	attr_accessor :_json_string_index_offsets
+	private :_json_string_index_offsets, :_json_string_index_offsets=
+end
+self._json_string_index_offsets = [
+	0, 0, 2, 6, 16, 20, 24, 28, 
+	32
+]
+
+class << self
+	attr_accessor :_json_string_indicies
+	private :_json_string_indicies, :_json_string_indicies=
+end
+self._json_string_indicies = [
+	0, 1, 3, 4, 1, 2, 2, 2, 
+	2, 2, 2, 2, 2, 2, 5, 1, 
+	6, 6, 6, 1, 7, 7, 7, 1, 
+	8, 8, 8, 1, 2, 2, 2, 1, 
+	1, 0
+]
+
+class << self
+	attr_accessor :_json_string_trans_targs
+	private :_json_string_trans_targs, :_json_string_trans_targs=
+end
+self._json_string_trans_targs = [
+	2, 0, 2, 8, 3, 4, 5, 6, 
+	7
+]
+
+class << self
+	attr_accessor :_json_string_trans_actions
+	private :_json_string_trans_actions, :_json_string_trans_actions=
+end
+self._json_string_trans_actions = [
+	0, 0, 3, 1, 3, 3, 3, 3, 
+	3
+]
+
+class << self
+	attr_accessor :json_string_start
+end
+self.json_string_start = 1;
+class << self
+	attr_accessor :json_string_first_final
+end
+self.json_string_first_final = 8;
+class << self
+	attr_accessor :json_string_error
+end
+self.json_string_error = 0;
+
+class << self
+	attr_accessor :json_string_en_main
+end
+self.json_string_en_main = 1;
+
+
+# line 24 "json_string.rl"
+        super
+      end
+
+      def parse_json_string(p, pe)
+        t_p = p + 1
+
+        
+# line 127 "json_string.rb"
+begin
+	p ||= 0
+	pe ||= data.length
+	cs = json_string_start
+end
+
+# line 31 "json_string.rl"
+        
+# line 136 "json_string.rb"
+begin
+	_klen, _trans, _keys, _acts, _nacts = nil
+	_goto_level = 0
+	_resume = 10
+	_eof_trans = 15
+	_again = 20
+	_test_eof = 30
+	_out = 40
+	while true
+	_trigger_goto = false
+	if _goto_level <= 0
+	if p == pe
+		_goto_level = _test_eof
+		next
+	end
+	if cs == 0
+		_goto_level = _out
+		next
+	end
+	end
+	if _goto_level <= _resume
+	_keys = _json_string_key_offsets[cs]
+	_trans = _json_string_index_offsets[cs]
+	_klen = _json_string_single_lengths[cs]
+	_break_match = false
+	
+	begin
+	  if _klen > 0
+	     _lower = _keys
+	     _upper = _keys + _klen - 1
+
+	     loop do
+	        break if _upper < _lower
+	        _mid = _lower + ( (_upper - _lower) >> 1 )
+
+	        if data[p].ord < _json_string_trans_keys[_mid]
+	           _upper = _mid - 1
+	        elsif data[p].ord > _json_string_trans_keys[_mid]
+	           _lower = _mid + 1
+	        else
+	           _trans += (_mid - _keys)
+	           _break_match = true
+	           break
+	        end
+	     end # loop
+	     break if _break_match
+	     _keys += _klen
+	     _trans += _klen
+	  end
+	  _klen = _json_string_range_lengths[cs]
+	  if _klen > 0
+	     _lower = _keys
+	     _upper = _keys + (_klen << 1) - 2
+	     loop do
+	        break if _upper < _lower
+	        _mid = _lower + (((_upper-_lower) >> 1) & ~1)
+	        if data[p].ord < _json_string_trans_keys[_mid]
+	          _upper = _mid - 2
+	        elsif data[p].ord > _json_string_trans_keys[_mid+1]
+	          _lower = _mid + 2
+	        else
+	          _trans += ((_mid - _keys) >> 1)
+	          _break_match = true
+	          break
+	        end
+	     end # loop
+	     break if _break_match
+	     _trans += _klen
+	  end
+	end while false
+	_trans = _json_string_indicies[_trans]
+	cs = _json_string_trans_targs[_trans]
+	if _json_string_trans_actions[_trans] != 0
+		_acts = _json_string_trans_actions[_trans]
+		_nacts = _json_string_actions[_acts]
+		_acts += 1
+		while _nacts > 0
+			_nacts -= 1
+			_acts += 1
+			case _json_string_actions[_acts - 1]
+when 0 then
+# line 5 "json_string.rl"
+		begin
+ p = p - 1; 	begin
+		p += 1
+		_trigger_goto = true
+		_goto_level = _out
+		break
+	end
+ 		end
+when 1 then
+# line 7 "json_string.rl"
+		begin
+ o.t :char, [data[p]].pack("c*") 		end
+# line 231 "json_string.rb"
+			end # action switch
+		end
+	end
+	if _trigger_goto
+		next
+	end
+	end
+	if _goto_level <= _again
+	if cs == 0
+		_goto_level = _out
+		next
+	end
+	p += 1
+	if p != pe
+		_goto_level = _resume
+		next
+	end
+	end
+	if _goto_level <= _test_eof
+	end
+	if _goto_level <= _out
+		break
+	end
+	end
+	end
+
+# line 32 "json_string.rl"
+
+        if cs >= json_string_first_final
+          p + 1
+        else
+          raise_unparseable p
+        end
+      end
+    end
+  end
+end