class AdLint::Cc1::NilValueDomainWidener
Public Class Methods
new(interp, branch_group)
click to toggle source
Calls superclass method
AdLint::Cc1::ValueDomainManipulator::new
# File lib/adlint/cc1/ctrlexpr.rb, line 544 def initialize(interp, branch_group) super(interp, nil) @branch_group = branch_group end
Public Instance Methods
prepare!()
click to toggle source
# File lib/adlint/cc1/ctrlexpr.rb, line 549 def prepare! raise TypeError, "no preparation without expression." end
Private Instance Methods
commit_changes(*)
click to toggle source
# File lib/adlint/cc1/ctrlexpr.rb, line 554 def commit_changes(*) @branch_group.all_controlling_variables.each do |var| var.widen_value_domain!(Operator::EQ, var.type.arbitrary_value) end true end