Class: Ibex::IR::GrammarSymbol

Inherits:
Object
  • Object
show all
Defined in:
lib/ibex/ir/grammar_ir.rb,
sig/ibex/ir/grammar_ir.rbs

Overview

An interned terminal or nonterminal.

Instance Attribute Summary collapse

Instance Method Summary collapse

Constructor Details

#initialize(id:, name:, kind:, reserved: false, precedence: nil, location: nil, display_name: nil, semantic_type: nil, documentation: nil) ⇒ GrammarSymbol

Returns a new instance of GrammarSymbol.

RBS:

  • (id: Integer, name: String, kind: Symbol, ?reserved: bool, ?precedence: precedence?, ?location: location?, ?display_name: String?, ?semantic_type: String?, ?documentation: String?) -> void

Parameters:

  • id: (Integer)
  • name: (String)
  • kind: (Symbol)
  • reserved: (Boolean) (defaults to: false)
  • precedence: (precedence, nil) (defaults to: nil)
  • location: (location, nil) (defaults to: nil)
  • display_name: (String, nil) (defaults to: nil)
  • semantic_type: (String, nil) (defaults to: nil)
  • documentation: (String, nil) (defaults to: nil) 


41
42
43
44
45
46
47
48
49
50
51
52
53
 
# File 'lib/ibex/ir/grammar_ir.rb', line 41

def initialize(id:, name:, kind:, reserved: false, precedence: nil, location: nil, display_name: nil,
               semantic_type: nil, documentation: nil)
  @id = id
  @name = name.freeze
  @kind = kind.to_sym
  @reserved = reserved
  @precedence = IR.deep_freeze(precedence)
  @location = IR.deep_freeze(location)
  @display_name = display_name&.freeze
  @semantic_type = semantic_type&.freeze
  @documentation = documentation&.freeze
  freeze
end

Instance Attribute Details

#display_name ⇒ String? (readonly)

Signature:

  • String?

Returns:

  • (String, nil) 


35
36
37
 
# File 'lib/ibex/ir/grammar_ir.rb', line 35

def display_name
  @display_name
end

#documentation ⇒ String? (readonly)

Signature:

  • String?

Returns:

  • (String, nil) 


37
38
39
 
# File 'lib/ibex/ir/grammar_ir.rb', line 37

def documentation
  @documentation
end

#id ⇒ Integer (readonly)

Signature:

  • Integer

Returns:

  • (Integer) 


29
30
31
 
# File 'lib/ibex/ir/grammar_ir.rb', line 29

def id
  @id
end

#kind ⇒ Symbol (readonly)

Signature:

  • Symbol

Returns:

  • (Symbol) 


31
32
33
 
# File 'lib/ibex/ir/grammar_ir.rb', line 31

def kind
  @kind
end

#location ⇒ location? (readonly)

Signature:

  • location?

Returns:



34
35
36
 
# File 'lib/ibex/ir/grammar_ir.rb', line 34

def location
  @location
end

#name ⇒ String (readonly)

Signature:

  • String

Returns:

  • (String) 


30
31
32
 
# File 'lib/ibex/ir/grammar_ir.rb', line 30

def name
  @name
end

#precedence ⇒ precedence? (readonly)

Signature:

  • precedence?

Returns:



33
34
35
 
# File 'lib/ibex/ir/grammar_ir.rb', line 33

def precedence
  @precedence
end

#reserved ⇒ Boolean (readonly)

Signature:

  • bool

Returns:

  • (Boolean) 


32
33
34
 
# File 'lib/ibex/ir/grammar_ir.rb', line 32

def reserved
  @reserved
end

#semantic_type ⇒ String? (readonly)

Signature:

  • String?

Returns:

  • (String, nil) 


36
37
38
 
# File 'lib/ibex/ir/grammar_ir.rb', line 36

def semantic_type
  @semantic_type
end

Instance Method Details

#nonterminal? ⇒ Boolean

RBS:

  • () -> bool

Returns:

  • (Boolean) 


58
 
# File 'lib/ibex/ir/grammar_ir.rb', line 58

def nonterminal? = @kind == :nonterminal

#terminal? ⇒ Boolean

RBS:

  • () -> bool

Returns:

  • (Boolean) 


56
57
 
# File 'lib/ibex/ir/grammar_ir.rb', line 56

def terminal? = @kind == :terminal
# @rbs () -> bool

#to_h ⇒ Hash[Symbol, Object?]

RBS:

  • () -> Hash[Symbol, Object?]

Returns:

  • (Hash[Symbol, Object?]) 


61
62
63
64
65
66
67
68
 
# File 'lib/ibex/ir/grammar_ir.rb', line 61

def to_h
  value = { id: @id, name: @name, kind: @kind, reserved: @reserved,
            prec: @precedence, loc: @location } #: Hash[Symbol, Object?]
  value[:display_name] = @display_name if @display_name
  value[:semantic_type] = @semantic_type if @semantic_type
  value[:doc] = @documentation
  value
end