Class: Packcr::Node::RuleNode

Inherits:
Packcr::Node show all
Defined in:
lib/packcr/node/rule_node.rb,
lib/packcr/generated/node/rule_node.rb

Instance Attribute Summary collapse

Instance Method Summary collapse

Methods inherited from Packcr::Node

#alt, #link_references, #reversible?, #seq, #sequence?, #setup_rule, #verify_captures, #verify_variables

Constructor Details

#initialize(expr = nil, name = nil, line = nil, col = nil) ⇒ RuleNode

Returns a new instance of RuleNode.



6
7
8
9
10
11
12
13
14
15
16
17
 
# File 'lib/packcr/node/rule_node.rb', line 6

def initialize(expr = nil, name = nil, line = nil, col = nil)
  super()
  self.ref = 0
  self.vars = []
  self.capts = []
  self.codes = []
  @expr = expr
  @name = name
  @line = line
  @col = col
  @has_ref = false
end

Instance Attribute Details

#capts ⇒ Object

Returns the value of attribute capts.



4
5
6
 
# File 'lib/packcr/node/rule_node.rb', line 4

def capts
  @capts
end

#codes ⇒ Object

Returns the value of attribute codes.



4
5
6
 
# File 'lib/packcr/node/rule_node.rb', line 4

def codes
  @codes
end

#col ⇒ Object

Returns the value of attribute col.



4
5
6
 
# File 'lib/packcr/node/rule_node.rb', line 4

def col
  @col
end

#expr ⇒ Object

Returns the value of attribute expr.



4
5
6
 
# File 'lib/packcr/node/rule_node.rb', line 4

def expr
  @expr
end

#has_ref ⇒ Object

Returns the value of attribute has_ref.



4
5
6
 
# File 'lib/packcr/node/rule_node.rb', line 4

def has_ref
  @has_ref
end

#line ⇒ Object

Returns the value of attribute line.



4
5
6
 
# File 'lib/packcr/node/rule_node.rb', line 4

def line
  @line
end

#name ⇒ Object

Returns the value of attribute name.



4
5
6
 
# File 'lib/packcr/node/rule_node.rb', line 4

def name
  @name
end

#ref ⇒ Object

Returns the value of attribute ref.



4
5
6
 
# File 'lib/packcr/node/rule_node.rb', line 4

def ref
  @ref
end

#top ⇒ Object

Returns the value of attribute top.



4
5
6
 
# File 'lib/packcr/node/rule_node.rb', line 4

def top
  @top
end

#vars ⇒ Object

Returns the value of attribute vars.



4
5
6
 
# File 'lib/packcr/node/rule_node.rb', line 4

def vars
  @vars
end

Instance Method Details

#add_ref ⇒ Object 



47
48
49
 
# File 'lib/packcr/node/rule_node.rb', line 47

def add_ref
  @ref += 1
end

#debug_dump(indent = 0) ⇒ Object 



19
20
21
22
23
 
# File 'lib/packcr/node/rule_node.rb', line 19

def debug_dump(indent = 0)
  $stdout.print "#{" " * indent}Rule(name:'#{name}', ref:#{ref}, vars.len:#{vars.length}, capts.len:#{capts.length}, codes.len:#{codes.length}) {\n"
  expr.debug_dump(indent + 2)
  $stdout.print "#{" " * indent}}\n"
end

#generate_code(gen, onfail, indent, bare, oncut: nil) ⇒ Object 



25
26
27
 
# File 'lib/packcr/node/rule_node.rb', line 25

def generate_code(gen, onfail, indent, bare, oncut: nil)
  gen.write Packcr.format_code(get_code(gen, onfail, indent, bare, oncut), indent: indent, unwrap: bare)
end

#get_code(gen, onfail, indent, bare, oncut) ⇒ Object 



4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
 
# File 'lib/packcr/generated/node/rule_node.rb', line 4

def get_code(gen, onfail, indent, bare, oncut)
  case gen.lang
  when :c
    erbout = +""
    erbout << "static packcr_thunk_chunk_t *packcr_evaluate_rule_#{name}(packcr_context_t *ctx, size_t offset".freeze
    if gen.location
      erbout << ", packcr_location_t offset_loc".freeze
    end
    erbout << ", packcr_rule_set_t *limits) {\n    packcr_thunk_chunk_t *const chunk = packcr_thunk_chunk__create(ctx);\n    chunk->pos = ctx->position_offset;\n".freeze

    if gen.location
      erbout << "    chunk->pos_loc = ctx->position_offset_loc;\n".freeze
    end
    erbout << "    PACKCR_DEBUG(ctx->auxil, PACKCR_DBG_EVALUATE, \"#{name}\", ctx->level, chunk->pos, (ctx->buffer.buf + chunk->pos), (ctx->buffer.len - chunk->pos));\n    ctx->level++;\n    packcr_value_table__resize(ctx->auxil, &chunk->values, #{vars.length});\n    packcr_capture_table__resize(ctx->auxil, &chunk->capts, #{capts.length});\n".freeze

    if !vars.empty?
      erbout << "    packcr_value_table__clear(ctx->auxil, &chunk->values);\n".freeze
    end
    r = expr.reachability

    erbout << "#{gen.generate_code(expr, 0, 4, false)}    ctx->level--;\n    PACKCR_DEBUG(ctx->auxil, PACKCR_DBG_MATCH, \"#{name}\", ctx->level, chunk->pos, (ctx->buffer.buf + chunk->pos), (ctx->position_offset - chunk->pos));\n    return chunk;\n".freeze

    if r != Packcr::CODE_REACH__ALWAYS_SUCCEED
      erbout << "L0000:;\n    ctx->level--;\n    PACKCR_DEBUG(ctx->auxil, PACKCR_DBG_NOMATCH, \"#{name}\", ctx->level, chunk->pos, (ctx->buffer.buf + chunk->pos), (ctx->position_offset - chunk->pos));\n    packcr_thunk_chunk__destroy(ctx, chunk);\n    return NULL;\n".freeze
    end
    erbout << "}\n".freeze

    erbout
  when :rb
    erbout = +""
    erbout << "def evaluate_rule_#{name}(offset".freeze
    if gen.location
      erbout << ", offset_loc".freeze
    end
    erbout << ", limits: nil)\n  answer = ThunkChunk.new\n  answer.pos = @position_offset\n".freeze

    if gen.location
      erbout << "  answer.pos_loc = @position_offset_loc\n".freeze
    end
    erbout << "  debug { warn \"\#{ \"  \" * @level}EVAL    #{name} \#{answer.pos} \#{@buffer[answer.pos..-1].inspect}\" }\n  @level += 1\n  answer.resize_captures(#{capts.length})\n".freeze

    if !vars.empty?
      erbout << "  answer.values = {}\n".freeze
    end
    r = expr.reachability
    if r == Packcr::CODE_REACH__ALWAYS_SUCCEED

      erbout << "#{gen.generate_code(expr, 0, 2, false)}  @level -= 1\n  debug { warn \"\#{ \"  \" * @level}MATCH   #{name} \#{answer.pos} \#{@buffer[answer.pos...@position_offset].inspect}\" }\n  return answer\n".freeze

    else
      erbout << "  catch(0) do\n#{gen.generate_code(expr, 0, 4, false)}    @level -= 1\n    debug { warn \"\#{ \"  \" * @level}MATCH   #{name} \#{answer.pos} \#{@buffer[answer.pos...@position_offset].inspect}\" }\n    return answer\n  end\n  @level -= 1\n  debug { warn \"\#{ \"  \" * @level}NOMATCH #{name} \#{answer.pos} \#{@buffer[answer.pos...@position_offset].inspect}\" }\n  return nil\n".freeze
    end
    erbout << "end\n".freeze

    erbout
  when :rs
    erbout = +""
    for_ref = has_ref ? "" : "_"
    erbout << "#[allow(non_snake_case)]\nfn evaluate_rule_#{name}(\n    &mut self,\n    #{for_ref}offset: usize,\n".freeze

    if gen.location
      erbout << "    TODO\n".freeze
    end
    erbout << "    #{for_ref}limits: Option<RuleSet>,\n) -> Option<ThunkChunk> {\n    let mut answer = ThunkChunk::new(self.input.position_offset);\n".freeze

    if gen.location
      erbout << "    TODO\n".freeze
    end
    erbout << "    self.level += 1;\n    answer.capts.resize(#{capts.length});\n".freeze

    if !vars.empty?
      erbout << "    answer.values.clear();\n".freeze
    end
    r = expr.reachability
    if r == Packcr::CODE_REACH__ALWAYS_SUCCEED

      erbout << "#{gen.generate_code(expr, 0, 4, false)}    self.level -= 1;\n    return Some(answer);\n".freeze

    else
      erbout << "    'L0000: {\n#{gen.generate_code(expr, 0, 8, false)}        self.level -= 1;\n        return Some(answer);\n    }\n    self.level -= 1;\n    return None;\n".freeze
    end
    erbout << "}\n".freeze

    erbout
  else
    raise "unknown lang #{gen.lang}"
  end
end

#nodes ⇒ Object 



55
56
57
 
# File 'lib/packcr/node/rule_node.rb', line 55

def nodes
  [expr]
end

#reachability ⇒ Object 



29
30
31
 
# File 'lib/packcr/node/rule_node.rb', line 29

def reachability
  expr.reachability
end

#setup(ctx) ⇒ Object 



51
52
53
 
# File 'lib/packcr/node/rule_node.rb', line 51

def setup(ctx)
  super(ctx, self)
end

#to_h ⇒ Object 



59
60
61
62
63
64
 
# File 'lib/packcr/node/rule_node.rb', line 59

def to_h
  {
    type: :rule,
    expr: expr&.to_h,
  }
end

#verify(ctx) ⇒ Object 



33
34
35
36
37
 
# File 'lib/packcr/node/rule_node.rb', line 33

def verify(ctx)
  expr.verify_variables([])
  expr.verify_captures(ctx, [])
  verify_rule_reference(ctx)
end

#verify_rule_reference(ctx) ⇒ Object 



39
40
41
42
43
44
45
 
# File 'lib/packcr/node/rule_node.rb', line 39

def verify_rule_reference(ctx)
  return if top

  return unless ref == 0

  ctx.error line + 1, col + 1, "Never used rule '#{name}'"
end