class AdLint::Cc1::UndefinedValueDomain
Attributes
domain[R]
Public Class Methods
new(dom)
click to toggle source
Calls superclass method
AdLint::Cc1::ValueDomain::new
# File lib/adlint/cc1/domain.rb, line 6961 def initialize(dom) super(dom.logical_shr?) @domain = dom end
Public Instance Methods
&(rhs_dom)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7153 def &(rhs_dom) ValueDomain.of_undefined(@domain & rhs_dom) end
*(rhs_dom)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7095 def *(rhs_dom) ValueDomain.of_undefined(@domain * rhs_dom) end
+(rhs_dom)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7061 def +(rhs_dom) ValueDomain.of_undefined(@domain + rhs_dom) end
+@()
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7053 def +@ ValueDomain.of_undefined(+@domain) end
-@()
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7057 def -@ ValueDomain.of_undefined(-@domain) end
/(rhs_dom)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7129 def /(rhs_dom) ValueDomain.of_undefined(@domain / rhs_dom) end
<<(rhs_dom)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7255 def <<(rhs_dom) ValueDomain.of_undefined(@domain << rhs_dom) end
>>(rhs_dom)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7279 def >>(rhs_dom) ValueDomain.of_undefined(@domain >> rhs_dom) end
^(rhs_dom)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7221 def ^(rhs_dom) ValueDomain.of_undefined(@domain ^ rhs_dom) end
_add_equal_to(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7077 def _add_equal_to(lhs_dom, rhs_dom = self) # NOTE: `LHS + RHS' equals to `RHS + LHS'. # This method invokes UndefinedValueDomain#+. rhs_dom + lhs_dom end
_add_greater_than(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7089 def _add_greater_than(lhs_dom, rhs_dom = self) # NOTE: `LHS + RHS' equals to `RHS + LHS'. # This method invokes UndefinedValueDomain#+. rhs_dom + lhs_dom end
_add_less_than(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7083 def _add_less_than(lhs_dom, rhs_dom = self) # NOTE: `LHS + RHS' equals to `RHS + LHS'. # This method invokes UndefinedValueDomain#+. rhs_dom + lhs_dom end
_add_nil(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7065 def _add_nil(lhs_dom, rhs_dom = self) # NOTE: `LHS + RHS' equals to `RHS + LHS'. # This method invokes UndefinedValueDomain#+. rhs_dom + lhs_dom end
_add_unlimited(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7071 def _add_unlimited(lhs_dom, rhs_dom = self) # NOTE: `LHS + RHS' equals to `RHS + LHS'. # This method invokes UndefinedValueDomain#+. rhs_dom + lhs_dom end
_and_equal_to(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7169 def _and_equal_to(lhs_dom, rhs_dom = self) # NOTE: `LHS & RHS' equals to `RHS & LHS'. # This method invokes UndefinedValueDomain#&. rhs_dom & lhs_dom end
_and_greater_than(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7181 def _and_greater_than(lhs_dom, rhs_dom = self) # NOTE: `LHS & RHS' equals to `RHS & LHS'. # This method invokes UndefinedValueDomain#&. rhs_dom & lhs_dom end
_and_less_than(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7175 def _and_less_than(lhs_dom, rhs_dom = self) # NOTE: `LHS & RHS' equals to `RHS & LHS'. # This method invokes UndefinedValueDomain#&. rhs_dom & lhs_dom end
_and_nil(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7157 def _and_nil(lhs_dom, rhs_dom = self) # NOTE: `LHS & RHS' equals to `RHS & LHS'. # This method invokes UndefinedValueDomain#&. rhs_dom & lhs_dom end
_and_unlimited(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7163 def _and_unlimited(lhs_dom, rhs_dom = self) # NOTE: `LHS & RHS' equals to `RHS & LHS'. # This method invokes UndefinedValueDomain#&. rhs_dom & lhs_dom end
_div_equal_to(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7141 def _div_equal_to(lhs_dom, rhs_dom = self) ValueDomain.of_undefined(rhs_dom.domain._div_equal_to(lhs_dom)) end
_div_greater_than(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7149 def _div_greater_than(lhs_dom, rhs_dom = self) ValueDomain.of_undefined(rhs_dom.domain._div_greater_than(lhs_dom)) end
_div_less_than(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7145 def _div_less_than(lhs_dom, rhs_dom = self) ValueDomain.of_undefined(rhs_dom.domain._div_less_than(lhs_dom)) end
_div_nil(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7133 def _div_nil(lhs_dom, rhs_dom = self) ValueDomain.of_undefined(rhs_dom.domain._div_nil(lhs_dom)) end
_div_unlimited(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7137 def _div_unlimited(lhs_dom, rhs_dom = self) ValueDomain.of_undefined(rhs_dom.domain._div_unlimited(lhs_dom)) end
_intersection_equal_to(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7351 def _intersection_equal_to(lhs_dom, rhs_dom = self) # NOTE: `LHS intersection RHS' equals to `RHS intersection LHS'. # This method invokes UndefinedValueDomain#intersection. rhs_dom.intersection(lhs_dom) end
_intersection_greater_than(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7363 def _intersection_greater_than(lhs_dom, rhs_dom = self) # NOTE: `LHS intersection RHS' equals to `RHS intersection LHS'. # This method invokes UndefinedValueDomain#intersection. rhs_dom.intersection(lhs_dom) end
_intersection_less_than(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7357 def _intersection_less_than(lhs_dom, rhs_dom = self) # NOTE: `LHS intersection RHS' equals to `RHS intersection LHS'. # This method invokes UndefinedValueDomain#intersection. rhs_dom.intersection(lhs_dom) end
_intersection_nil(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7339 def _intersection_nil(lhs_dom, rhs_dom = self) # NOTE: `LHS intersection RHS' equals to `RHS intersection LHS'. # This method invokes UndefinedValueDomain#intersection. rhs_dom.intersection(lhs_dom) end
_intersection_unlimited(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7345 def _intersection_unlimited(lhs_dom, rhs_dom = self) # NOTE: `LHS intersection RHS' equals to `RHS intersection LHS'. # This method invokes UndefinedValueDomain#intersection. rhs_dom.intersection(lhs_dom) end
_mul_equal_to(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7111 def _mul_equal_to(lhs_dom, rhs_dom = self) # NOTE: `LHS * RHS' equals to `RHS * LHS'. # This method invokes UndefinedValueDomain#*. rhs_dom * lhs_dom end
_mul_greater_than(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7123 def _mul_greater_than(lhs_dom, rhs_dom = self) # NOTE: `LHS * RHS' equals to `RHS * LHS'. # This method invokes UndefinedValueDomain#*. rhs_dom * lhs_dom end
_mul_less_than(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7117 def _mul_less_than(lhs_dom, rhs_dom = self) # NOTE: `LHS * RHS' equals to `RHS * LHS'. # This method invokes UndefinedValueDomain#*. rhs_dom * lhs_dom end
_mul_nil(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7099 def _mul_nil(lhs_dom, rhs_dom = self) # NOTE: `LHS * RHS' equals to `RHS * LHS'. # This method invokes UndefinedValueDomain#*. rhs_dom * lhs_dom end
_mul_unlimited(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7105 def _mul_unlimited(lhs_dom, rhs_dom = self) # NOTE: `LHS * RHS' equals to `RHS * LHS'. # This method invokes UndefinedValueDomain#*. rhs_dom * lhs_dom end
_narrow_by_eq(rhs_dom, lhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 6998 def _narrow_by_eq(rhs_dom, lhs_dom = self) ValueDomain.of_undefined(lhs_dom.domain._narrow_by_eq(rhs_dom)) end
_narrow_by_gt(rhs_dom, lhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7028 def _narrow_by_gt(rhs_dom, lhs_dom = self) ValueDomain.of_undefined(lhs_dom.domain._narrow_by_gt(rhs_dom)) end
_narrow_by_lt(rhs_dom, lhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7018 def _narrow_by_lt(rhs_dom, lhs_dom = self) ValueDomain.of_undefined(lhs_dom.domain._narrow_by_lt(rhs_dom)) end
_narrow_by_ne(rhs_dom, lhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7008 def _narrow_by_ne(rhs_dom, lhs_dom = self) ValueDomain.of_undefined(lhs_dom.domain._narrow_by_ne(rhs_dom)) end
_or_equal_to(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7203 def _or_equal_to(lhs_dom, rhs_dom = self) # NOTE: `LHS | RHS' equals to `RHS | LHS'. # This method invokes UndefinedValueDomain#|. rhs_dom | lhs_dom end
_or_greater_than(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7215 def _or_greater_than(lhs_dom, rhs_dom = self) # NOTE: `LHS | RHS' equals to `RHS | LHS'. # This method invokes UndefinedValueDomain#|. rhs_dom | lhs_dom end
_or_less_than(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7209 def _or_less_than(lhs_dom, rhs_dom = self) # NOTE: `LHS | RHS' equals to `RHS | LHS'. # This method invokes UndefinedValueDomain#|. rhs_dom | lhs_dom end
_or_nil(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7191 def _or_nil(lhs_dom, rhs_dom = self) # NOTE: `LHS | RHS' equals to `RHS | LHS'. # This method invokes UndefinedValueDomain#|. rhs_dom | lhs_dom end
_or_unlimited(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7197 def _or_unlimited(lhs_dom, rhs_dom = self) # NOTE: `LHS | RHS' equals to `RHS | LHS'. # This method invokes UndefinedValueDomain#|. rhs_dom | lhs_dom end
_shl_equal_to(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7267 def _shl_equal_to(lhs_dom, rhs_dom = self) ValueDomain.of_undefined(rhs_dom.domain._shl_equal_to(lhs_dom)) end
_shl_greater_than(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7275 def _shl_greater_than(lhs_dom, rhs_dom = self) ValueDomain.of_undefined(rhs_dom.domain._shl_greater_than(lhs_dom)) end
_shl_less_than(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7271 def _shl_less_than(lhs_dom, rhs_dom = self) ValueDomain.of_undefined(rhs_dom.domain._shl_less_than(lhs_dom)) end
_shl_nil(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7259 def _shl_nil(lhs_dom, rhs_dom = self) ValueDomain.of_undefined(rhs_dom.domain._shl_nil(lhs_dom)) end
_shl_unlimited(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7263 def _shl_unlimited(lhs_dom, rhs_dom = self) ValueDomain.of_undefined(rhs_dom.domain._shl_unlimited(lhs_dom)) end
_shr_equal_to(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7291 def _shr_equal_to(lhs_dom, rhs_dom = self) ValueDomain.of_undefined(rhs_dom.domain._shr_equal_to(lhs_dom)) end
_shr_greater_than(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7299 def _shr_greater_than(lhs_dom, rhs_dom = self) ValueDomain.of_undefined(rhs_dom.domain._shr_greater_than(lhs_dom)) end
_shr_less_than(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7295 def _shr_less_than(lhs_dom, rhs_dom = self) ValueDomain.of_undefined(rhs_dom.domain._shr_less_than(lhs_dom)) end
_shr_nil(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7283 def _shr_nil(lhs_dom, rhs_dom = self) ValueDomain.of_undefined(rhs_dom.domain._shr_nil(lhs_dom)) end
_shr_unlimited(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7287 def _shr_unlimited(lhs_dom, rhs_dom = self) ValueDomain.of_undefined(rhs_dom.domain._shr_unlimited(lhs_dom)) end
_union_equal_to(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7385 def _union_equal_to(lhs_dom, rhs_dom = self) # NOTE: `LHS union RHS' equals to `RHS union LHS'. # This method invokes UndefinedValueDomain#union. rhs_dom.union(lhs_dom) end
_union_greater_than(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7397 def _union_greater_than(lhs_dom, rhs_dom = self) # NOTE: `LHS union RHS' equals to `RHS union LHS'. # This method invokes UndefinedValueDomain#union. rhs_dom.union(lhs_dom) end
_union_less_than(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7391 def _union_less_than(lhs_dom, rhs_dom = self) # NOTE: `LHS union RHS' equals to `RHS union LHS'. # This method invokes UndefinedValueDomain#union. rhs_dom.union(lhs_dom) end
_union_nil(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7373 def _union_nil(lhs_dom, rhs_dom = self) # NOTE: `LHS union RHS' equals to `RHS union LHS'. # This method invokes UndefinedValueDomain#union. rhs_dom.union(lhs_dom) end
_union_unlimited(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7379 def _union_unlimited(lhs_dom, rhs_dom = self) # NOTE: `LHS union RHS' equals to `RHS union LHS'. # This method invokes UndefinedValueDomain#union. rhs_dom.union(lhs_dom) end
_xor_equal_to(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7237 def _xor_equal_to(lhs_dom, rhs_dom = self) # NOTE: `LHS ^ RHS' equals to `RHS ^ LHS'. # This method invokes UndefinedValueDomain#^. rhs_dom ^ lhs_dom end
_xor_greater_than(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7249 def _xor_greater_than(lhs_dom, rhs_dom = self) # NOTE: `LHS ^ RHS' equals to `RHS ^ LHS'. # This method invokes UndefinedValueDomain#^. rhs_dom ^ lhs_dom end
_xor_less_than(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7243 def _xor_less_than(lhs_dom, rhs_dom = self) # NOTE: `LHS ^ RHS' equals to `RHS ^ LHS'. # This method invokes UndefinedValueDomain#^. rhs_dom ^ lhs_dom end
_xor_nil(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7225 def _xor_nil(lhs_dom, rhs_dom = self) # NOTE: `LHS ^ RHS' equals to `RHS ^ LHS'. # This method invokes UndefinedValueDomain#^. rhs_dom ^ lhs_dom end
_xor_unlimited(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7231 def _xor_unlimited(lhs_dom, rhs_dom = self) # NOTE: `LHS ^ RHS' equals to `RHS ^ LHS'. # This method invokes UndefinedValueDomain#^. rhs_dom ^ lhs_dom end
ambiguous?()
click to toggle source
# File lib/adlint/cc1/domain.rb, line 6978 def ambiguous? false end
coerce_to_integer()
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7403 def coerce_to_integer ValueDomain.of_undefined(@domain.coerce_to_integer) end
coerce_to_real()
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7407 def coerce_to_real ValueDomain.of_undefined(@domain.coerce_to_real) end
intersection(rhs_dom)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7335 def intersection(rhs_dom) ValueDomain.of_undefined(@domain.intersection(rhs_dom)) end
inversion()
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7045 def inversion ValueDomain.of_undefined(@domain.inversion) end
nan?()
click to toggle source
# File lib/adlint/cc1/domain.rb, line 6970 def nan? false end
to_defined_domain()
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7415 def to_defined_domain @domain end
to_s()
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7419 def to_s "(== Undefined[#{@domain.to_s}])" end
undefined?()
click to toggle source
# File lib/adlint/cc1/domain.rb, line 6974 def undefined? true end
union(rhs_dom)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7369 def union(rhs_dom) ValueDomain.of_undefined(@domain.union(rhs_dom)) end
|(rhs_dom)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7187 def |(rhs_dom) ValueDomain.of_undefined(@domain | rhs_dom) end
~()
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7049 def ~ ValueDomain.of_undefined(~@domain) end