Class: Udb::Constraint

Inherits:
Object
  • Object
show all
Extended by:
T::Sig
Defined in:
lib/udb/condition.rb

Overview

wrapper around an IDL function containing constraints

Instance Attribute Summary collapse

Instance Method Summary collapse

Constructor Details

#initialize(idl, input_file:, input_line:, cfg_arch:, reason: nil)

Parameters:

  • idl (String)
  • input_file (Pathname, nil)
  • input_line (Integer, nil)
  • cfg_arch (ConfiguredArchitecture)
  • reason (String, nil) (defaults to: nil) 


53
54
55
56
57
58
59
60
61
62
63
64
 
# File 'lib/udb/condition.rb', line 53

def initialize(idl, input_file:, input_line:, cfg_arch:, reason: nil)
  @cfg_arch = cfg_arch
  symtab = cfg_arch.symtab.global_clone
  begin
    @ast = @cfg_arch.idl_compiler.compile_constraint(idl, symtab)
  rescue SyntaxError
    Udb.logger.error "Could not compile IDL constraint: \n#{idl}"
    raise
  end
  symtab.release
  @reason = reason
end

Instance Attribute Details

#reason ⇒ String? (readonly)

Returns:

  • (String, nil) 


42
43
44
 
# File 'lib/udb/condition.rb', line 42

def reason
  @reason
end

Instance Method Details

#eval(symtab) ⇒ Boolean

Parameters:

  • symtab (Idl::SymbolTable)

Returns:

  • (Boolean) 


67
68
69
 
# File 'lib/udb/condition.rb', line 67

def eval(symtab)
  @ast.satisfied?(symtab)
end

#to_h ⇒ Hash{String => T.untyped}, Boolean

convert into a pure UDB condition

Returns:

  • (Hash{String => T.untyped}, Boolean) 


73
74
75
76
77
78
79
 
# File 'lib/udb/condition.rb', line 73

def to_h
  symtab = @cfg_arch.symtab.global_clone
  h = @ast.to_udb_h(symtab)
  symtab.release

  h
end

#to_logic_tree_internal ⇒ LogicNode

This method is part of a private API. You should avoid using this method if possible, as it may be removed or be changed in the future.

Returns:



91
92
93
 
# File 'lib/udb/condition.rb', line 91

def to_logic_tree_internal
  Condition.new(to_h, @cfg_arch).to_logic_tree_internal
end

#to_yaml ⇒ String

convert into a pure UDB condition

Returns:

  • (String) 


83
84
85
 
# File 'lib/udb/condition.rb', line 83

def to_yaml
  YAML.dump(to_h)
end