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