class AdLint::Cc1::PhantomVariable

Constants

Summary

Public Class Methods

new(named_var, phantom_val = nil) click to toggle source
Calls superclass method
# File lib/adlint/cc1/ctrlexpr.rb, line 916
def initialize(named_var, phantom_val = nil)
  super(named_var)
  @base_var    = named_var
  @phantom_val = phantom_val ? phantom_val : named_var.memory.read.dup
end

Public Instance Methods

assign!(val, *) click to toggle source
# File lib/adlint/cc1/ctrlexpr.rb, line 926
def assign!(val, *)
  @phantom_val = val
end
pretty_print(pp) click to toggle source
# File lib/adlint/cc1/ctrlexpr.rb, line 934
def pretty_print(pp)
  Summary.new(object_id, name, type, @phantom_val).pretty_print(pp)
end
to_named_variable() click to toggle source
# File lib/adlint/cc1/ctrlexpr.rb, line 930
def to_named_variable
  @base_var.to_named_variable
end
value() click to toggle source
# File lib/adlint/cc1/ctrlexpr.rb, line 922
def value
  @phantom_val
end