class AdLint::Cc1::NilValueDomain

Public Instance Methods

!() click to toggle source
# File lib/adlint/cc1/domain.rb, line 1614
def !
  # NOTE: NilValueDomain contains no values.
  #       So, logical negation of NilValueDomain makes no sense.
  ValueDomain.of_nil(logical_shr?)
end
!=(rhs_dom) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1688
def !=(rhs_dom)
  rhs_dom._not_equal_nil(self)
end
&(rhs_dom) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1419
def &(rhs_dom)
  rhs_dom.coerce_to_integer._add_nil(coerce_to_integer)
end
*(rhs_dom) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1338
def *(rhs_dom)
  rhs_dom._mul_nil(self)
end
+(rhs_dom) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1296
def +(rhs_dom)
  rhs_dom._add_nil(self)
end
+@() click to toggle source
# File lib/adlint/cc1/domain.rb, line 1282
def +@
  # NOTE: NilValueDomain contains no values.
  #       So, any arithmetic operation with NilValueDomain makes
  #       NilValueDomain.
  self
end
-@() click to toggle source
# File lib/adlint/cc1/domain.rb, line 1289
def -@
  # NOTE: NilValueDomain contains no values.
  #       So, any arithmetic operation with NilValueDomain makes
  #       NilValueDomain.
  self
end
/(rhs_dom) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1380
def /(rhs_dom)
  rhs_dom._div_nil(self)
end
<(rhs_dom) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1620
def <(rhs_dom)
  rhs_dom._less_nil(self)
end
<<(rhs_dom) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1536
def <<(rhs_dom)
  rhs_dom.coerce_to_integer._shl_nil(coerce_to_integer)
end
==(rhs_dom) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1654
def ==(rhs_dom)
  rhs_dom._equal_nil(self)
end
>>(rhs_dom) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1575
def >>(rhs_dom)
  rhs_dom.coerce_to_integer._shr_nil(coerce_to_integer)
end
^(rhs_dom) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1497
def ^(rhs_dom)
  rhs_dom.coerce_to_integer._xor_nil(coerce_to_integer)
end
_add_equal_to(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1317
def _add_equal_to(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any arithmetic operation with NilValueDomain makes
  #       NilValueDomain.
  rhs_dom
end
_add_greater_than(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1331
def _add_greater_than(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any arithmetic operation with NilValueDomain makes
  #       NilValueDomain.
  rhs_dom
end
_add_less_than(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1324
def _add_less_than(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any arithmetic operation with NilValueDomain makes
  #       NilValueDomain.
  rhs_dom
end
_add_nil(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1300
def _add_nil(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any arithmetic operation with NilValueDomain makes
  #       NilValueDomain.
  lhs_dom
end
_add_unlimited(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1307
def _add_unlimited(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any arithmetic operation with NilValueDomain makes
  #       NilValueDomain.
  # NOTE: NaN is a subclass of UnlimitedValueDomain.
  #       Arithmetic operation with UnlimitedValueDomain should make
  #       UnlimitedValueDomain, and with NaN should make NaN.
  rhs_dom
end
_and_equal_to(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1437
def _and_equal_to(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any arithmetic operation with NilValueDomain makes
  #       NilValueDomain.
  rhs_dom
end
_and_greater_than(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1451
def _and_greater_than(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any arithmetic operation with NilValueDomain makes
  #       NilValueDomain.
  rhs_dom
end
_and_less_than(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1444
def _and_less_than(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any arithmetic operation with NilValueDomain makes
  #       NilValueDomain.
  rhs_dom
end
_and_nil(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1423
def _and_nil(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any arithmetic operation with NilValueDomain makes
  #       NilValueDomain.
  lhs_dom
end
_and_unlimited(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1430
def _and_unlimited(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any arithmetic operation with NilValueDomain makes
  #       NilValueDomain.
  rhs_dom
end
_contain_equal_to?(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1062
def _contain_equal_to?(lhs_dom, rhs_dom = self)
  true
end
_contain_greater_than?(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1070
def _contain_greater_than?(lhs_dom, rhs_dom = self)
  true
end
_contain_intersection?(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1074
def _contain_intersection?(lhs_dom, rhs_dom = self)
  true
end
_contain_less_than?(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1066
def _contain_less_than?(lhs_dom, rhs_dom = self)
  true
end
_contain_nil?(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1054
def _contain_nil?(lhs_dom, rhs_dom = self)
  false
end
_contain_union?(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1078
def _contain_union?(lhs_dom, rhs_dom = self)
  true
end
_contain_unlimited?(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1058
def _contain_unlimited?(lhs_dom, rhs_dom = self)
  true
end
_div_equal_to(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1398
def _div_equal_to(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any arithmetic operation with NilValueDomain makes
  #       NilValueDomain.
  rhs_dom
end
_div_greater_than(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1412
def _div_greater_than(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any arithmetic operation with NilValueDomain makes
  #       NilValueDomain.
  rhs_dom
end
_div_less_than(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1405
def _div_less_than(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any arithmetic operation with NilValueDomain makes
  #       NilValueDomain.
  rhs_dom
end
_div_nil(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1384
def _div_nil(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any arithmetic operation with NilValueDomain makes
  #       NilValueDomain.
  lhs_dom
end
_div_unlimited(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1391
def _div_unlimited(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any arithmetic operation with NilValueDomain makes
  #       NilValueDomain.
  rhs_dom
end
_equal_equal_to(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1670
def _equal_equal_to(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any comparison with NilValueDomain makes no sense.
  ValueDomain.of_nil(logical_shr?)
end
_equal_greater_than(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1682
def _equal_greater_than(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any comparison with NilValueDomain makes no sense.
  ValueDomain.of_nil(logical_shr?)
end
_equal_less_than(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1676
def _equal_less_than(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any comparison with NilValueDomain makes no sense.
  ValueDomain.of_nil(logical_shr?)
end
_equal_nil(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1658
def _equal_nil(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any comparison with NilValueDomain makes no sense.
  ValueDomain.of_nil(logical_shr?)
end
_equal_unlimited(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1664
def _equal_unlimited(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any comparison with NilValueDomain makes no sense.
  ValueDomain.of_nil(logical_shr?)
end
_intersect_equal_to?(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1094
def _intersect_equal_to?(lhs_dom, rhs_dom = self)
  false
end
_intersect_greater_than?(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1102
def _intersect_greater_than?(lhs_dom, rhs_dom = self)
  false
end
_intersect_less_than?(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1098
def _intersect_less_than?(lhs_dom, rhs_dom = self)
  false
end
_intersect_nil?(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1086
def _intersect_nil?(lhs_dom, rhs_dom = self)
  false
end
_intersect_unlimited?(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1090
def _intersect_unlimited?(lhs_dom, rhs_dom = self)
  false
end
_intersection_equal_to(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1828
def _intersection_equal_to(lhs_dom, rhs_dom = self)
  rhs_dom
end
_intersection_greater_than(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1836
def _intersection_greater_than(lhs_dom, rhs_dom = self)
  rhs_dom
end
_intersection_less_than(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1832
def _intersection_less_than(lhs_dom, rhs_dom = self)
  rhs_dom
end
_intersection_nil(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1820
def _intersection_nil(lhs_dom, rhs_dom = self)
  rhs_dom
end
_intersection_unlimited(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1824
def _intersection_unlimited(lhs_dom, rhs_dom = self)
  rhs_dom
end
_less_equal_to(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1636
def _less_equal_to(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any comparison with NilValueDomain makes no sense.
  ValueDomain.of_nil(logical_shr?)
end
_less_greater_than(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1648
def _less_greater_than(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any comparison with NilValueDomain makes no sense.
  ValueDomain.of_nil(logical_shr?)
end
_less_less_than(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1642
def _less_less_than(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any comparison with NilValueDomain makes no sense.
  ValueDomain.of_nil(logical_shr?)
end
_less_nil(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1624
def _less_nil(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any comparison with NilValueDomain makes no sense.
  ValueDomain.of_nil(logical_shr?)
end
_less_unlimited(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1630
def _less_unlimited(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any comparison with NilValueDomain makes no sense.
  ValueDomain.of_nil(logical_shr?)
end
_logical_and_equal_to(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1740
def _logical_and_equal_to(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       If the value-domain of the other side of NilValueDomain contains
  #       only zero value, the logical AND makes false.
  if lhs_dom.value == 0
    ValueDomain.of_false(logical_shr?)
  else
    ValueDomain.of_unlimited(logical_shr?)
  end
end
_logical_and_greater_than(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1758
def _logical_and_greater_than(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       If the value-domain of the other side of NilValueDomain contains
  #       only zero value, the logical AND makes false.
  ValueDomain.of_unlimited(logical_shr?)
end
_logical_and_less_than(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1751
def _logical_and_less_than(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       If the value-domain of the other side of NilValueDomain contains
  #       only zero value, the logical AND makes false.
  ValueDomain.of_unlimited(logical_shr?)
end
_logical_and_nil(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1726
def _logical_and_nil(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       If the value-domain of the other side of NilValueDomain contains
  #       only zero value, the logical AND makes false.
  ValueDomain.of_unlimited(logical_shr?)
end
_logical_and_unlimited(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1733
def _logical_and_unlimited(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       If the value-domain of the other side of NilValueDomain contains
  #       only zero value, the logical AND makes false.
  ValueDomain.of_unlimited(logical_shr?)
end
_logical_or_equal_to(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1783
def _logical_or_equal_to(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       If the value-domain of the other side of NilValueDomain contains
  #       only non-zero values, the logical OR makes true.
  if lhs_dom.value == 0
    ValueDomain.of_unlimited(logical_shr?)
  else
    ValueDomain.of_true(logical_shr?)
  end
end
_logical_or_greater_than(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1805
def _logical_or_greater_than(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       If the value-domain of the other side of NilValueDomain contains
  #       only non-zero values, the logical OR makes true.
  if lhs_dom.min_value <= 0
    ValueDomain.of_unlimited(logical_shr?)
  else
    ValueDomain.of_true(logical_shr?)
  end
end
_logical_or_less_than(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1794
def _logical_or_less_than(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       If the value-domain of the other side of NilValueDomain contains
  #       only non-zero values, the logical OR makes true.
  if lhs_dom.max_value >= 0
    ValueDomain.of_unlimited(logical_shr?)
  else
    ValueDomain.of_true(logical_shr?)
  end
end
_logical_or_nil(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1769
def _logical_or_nil(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       If the value-domain of the other side of NilValueDomain contains
  #       only non-zero values, the logical OR makes true.
  ValueDomain.of_unlimited(logical_shr?)
end
_logical_or_unlimited(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1776
def _logical_or_unlimited(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       If the value-domain of the other side of NilValueDomain contains
  #       only non-zero values, the logical OR makes true.
  ValueDomain.of_unlimited(logical_shr?)
end
_mul_equal_to(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1359
def _mul_equal_to(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any arithmetic operation with NilValueDomain makes
  #       NilValueDomain.
  rhs_dom
end
_mul_greater_than(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1373
def _mul_greater_than(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any arithmetic operation with NilValueDomain makes
  #       NilValueDomain.
  rhs_dom
end
_mul_less_than(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1366
def _mul_less_than(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any arithmetic operation with NilValueDomain makes
  #       NilValueDomain.
  rhs_dom
end
_mul_nil(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1342
def _mul_nil(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any arithmetic operation with NilValueDomain makes
  #       NilValueDomain.
  lhs_dom
end
_mul_unlimited(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1349
def _mul_unlimited(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any arithmetic operation with NilValueDomain makes
  #       NilValueDomain.
  # NOTE: NaN is a subclass of UnlimitedValueDomain.
  #       Arithmetic operation with UnlimitedValueDomain should make
  #       UnlimitedValueDomain, and with NaN should make NaN.
  rhs_dom
end
_narrow_by_eq(rhs_dom, lhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1106
def _narrow_by_eq(rhs_dom, lhs_dom = self)
  rhs_dom._narrow_nil_by_eq(lhs_dom)
end
_narrow_by_gt(rhs_dom, lhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1229
def _narrow_by_gt(rhs_dom, lhs_dom = self)
  rhs_dom._narrow_nil_by_gt(lhs_dom)
end
_narrow_by_lt(rhs_dom, lhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1187
def _narrow_by_lt(rhs_dom, lhs_dom = self)
  rhs_dom._narrow_nil_by_lt(lhs_dom)
end
_narrow_by_ne(rhs_dom, lhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1145
def _narrow_by_ne(rhs_dom, lhs_dom = self)
  rhs_dom._narrow_nil_by_ne(lhs_dom)
end
_narrow_equal_to_by_eq(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1124
def _narrow_equal_to_by_eq(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, narrowing any value-domain by `== NilValueDomain' makes
  #       NilValueDomain.
  rhs_dom
end
_narrow_equal_to_by_gt(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1250
def _narrow_equal_to_by_gt(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, narrowing any value-domain by `> NilValueDomain' makes
  #       no effect to the target value-domain.
  lhs_dom
end
_narrow_equal_to_by_lt(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1208
def _narrow_equal_to_by_lt(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, narrowing any value-domain by `< NilValueDomain' makes
  #       no effect to the target value-domain.
  lhs_dom
end
_narrow_equal_to_by_ne(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1166
def _narrow_equal_to_by_ne(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, narrowing any value-domain by `!= NilValueDomain' makes
  #       no effect to the target value-domain.
  lhs_dom
end
_narrow_greater_than_by_eq(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1138
def _narrow_greater_than_by_eq(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, narrowing any value-domain by `== NilValueDomain' makes
  #       NilValueDomain.
  rhs_dom
end
_narrow_greater_than_by_gt(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1264
def _narrow_greater_than_by_gt(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, narrowing any value-domain by `> NilValueDomain' makes
  #       no effect to the target value-domain.
  lhs_dom
end
_narrow_greater_than_by_lt(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1222
def _narrow_greater_than_by_lt(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, narrowing any value-domain by `< NilValueDomain' makes
  #       no effect to the target value-domain.
  lhs_dom
end
_narrow_greater_than_by_ne(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1180
def _narrow_greater_than_by_ne(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, narrowing any value-domain by `!= NilValueDomain' makes
  #       no effect to the target value-domain.
  lhs_dom
end
_narrow_less_than_by_eq(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1131
def _narrow_less_than_by_eq(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, narrowing any value-domain by `== NilValueDomain' makes
  #       NilValueDomain.
  rhs_dom
end
_narrow_less_than_by_gt(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1257
def _narrow_less_than_by_gt(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, narrowing any value-domain by `> NilValueDomain' makes
  #       no effect to the target value-domain.
  lhs_dom
end
_narrow_less_than_by_lt(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1215
def _narrow_less_than_by_lt(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, narrowing any value-domain by `< NilValueDomain' makes
  #       no effect to the target value-domain.
  lhs_dom
end
_narrow_less_than_by_ne(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1173
def _narrow_less_than_by_ne(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, narrowing any value-domain by `!= NilValueDomain' makes
  #       no effect to the target value-domain.
  lhs_dom
end
_narrow_nil_by_eq(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1110
def _narrow_nil_by_eq(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, narrowing any value-domain by `== NilValueDomain' makes
  #       NilValueDomain.
  lhs_dom
end
_narrow_nil_by_gt(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1233
def _narrow_nil_by_gt(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, narrowing any value-domain by `> NilValueDomain' makes
  #       no effect to the target value-domain.
  lhs_dom
end
_narrow_nil_by_lt(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1191
def _narrow_nil_by_lt(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, narrowing any value-domain by `< NilValueDomain' makes
  #       no effect to the target value-domain.
  lhs_dom
end
_narrow_nil_by_ne(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1149
def _narrow_nil_by_ne(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, narrowing any value-domain by `!= NilValueDomain' makes
  #       no effect to the target value-domain.
  lhs_dom
end
_narrow_unlimited_by_eq(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1117
def _narrow_unlimited_by_eq(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, narrowing any value-domain by `== NilValueDomain' makes
  #       NilValueDomain.
  rhs_dom
end
_narrow_unlimited_by_gt(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1240
def _narrow_unlimited_by_gt(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, narrowing any value-domain by `> NilValueDomain' makes
  #       no effect to the target value-domain.
  # NOTE: NaN is a subclass of UnlimitedValueDomain.
  #       UnlimitedValueDomain should be narrowed to be
  #       UnlimitedValueDomain, and NaN should be narrowed to be NaN.
  lhs_dom
end
_narrow_unlimited_by_lt(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1198
def _narrow_unlimited_by_lt(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, narrowing any value-domain by `< NilValueDomain' makes
  #       no effect to the target value-domain.
  # NOTE: NaN is a subclass of UnlimitedValueDomain.
  #       UnlimitedValueDomain should be narrowed to be
  #       UnlimitedValueDomain, and NaN should be narrowed to be NaN.
  lhs_dom
end
_narrow_unlimited_by_ne(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1156
def _narrow_unlimited_by_ne(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, narrowing any value-domain by `!= NilValueDomain' makes
  #       no effect to the target value-domain.
  # NOTE: NaN is a subclass of UnlimitedValueDomain.
  #       UnlimitedValueDomain should be narrowed to be
  #       UnlimitedValueDomain, and NaN should be narrowed to be NaN.
  lhs_dom
end
_not_equal_equal_to(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1704
def _not_equal_equal_to(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any comparison with NilValueDomain makes no sense.
  ValueDomain.of_nil(logical_shr?)
end
_not_equal_greater_than(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1716
def _not_equal_greater_than(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any comparison with NilValueDomain makes no sense.
  ValueDomain.of_nil(logical_shr?)
end
_not_equal_less_than(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1710
def _not_equal_less_than(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any comparison with NilValueDomain makes no sense.
  ValueDomain.of_nil(logical_shr?)
end
_not_equal_nil(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1692
def _not_equal_nil(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any comparison with NilValueDomain makes no sense.
  ValueDomain.of_nil(logical_shr?)
end
_not_equal_unlimited(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1698
def _not_equal_unlimited(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any comparison with NilValueDomain makes no sense.
  ValueDomain.of_nil(logical_shr?)
end
_or_equal_to(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1476
def _or_equal_to(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any arithmetic operation with NilValueDomain makes
  #       NilValueDomain.
  rhs_dom
end
_or_greater_than(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1490
def _or_greater_than(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any arithmetic operation with NilValueDomain makes
  #       NilValueDomain.
  rhs_dom
end
_or_less_than(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1483
def _or_less_than(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any arithmetic operation with NilValueDomain makes
  #       NilValueDomain.
  rhs_dom
end
_or_nil(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1462
def _or_nil(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any arithmetic operation with NilValueDomain makes
  #       NilValueDomain.
  lhs_dom
end
_or_unlimited(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1469
def _or_unlimited(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any arithmetic operation with NilValueDomain makes
  #       NilValueDomain.
  rhs_dom
end
_shl_equal_to(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1554
def _shl_equal_to(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any arithmetic operation with NilValueDomain makes
  #       NilValueDomain.
  rhs_dom
end
_shl_greater_than(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1568
def _shl_greater_than(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any arithmetic operation with NilValueDomain makes
  #       NilValueDomain.
  rhs_dom
end
_shl_less_than(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1561
def _shl_less_than(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any arithmetic operation with NilValueDomain makes
  #       NilValueDomain.
  rhs_dom
end
_shl_nil(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1540
def _shl_nil(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any arithmetic operation with NilValueDomain makes
  #       NilValueDomain.
  lhs_dom
end
_shl_unlimited(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1547
def _shl_unlimited(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any arithmetic operation with NilValueDomain makes
  #       NilValueDomain.
  rhs_dom
end
_shr_equal_to(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1593
def _shr_equal_to(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any arithmetic operation with NilValueDomain makes
  #       NilValueDomain.
  lhs_dom
end
_shr_greater_than(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1607
def _shr_greater_than(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any arithmetic operation with NilValueDomain makes
  #       NilValueDomain.
  rhs_dom
end
_shr_less_than(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1600
def _shr_less_than(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any arithmetic operation with NilValueDomain makes
  #       NilValueDomain.
  rhs_dom
end
_shr_nil(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1579
def _shr_nil(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any arithmetic operation with NilValueDomain makes
  #       NilValueDomain.
  lhs_dom
end
_shr_unlimited(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1586
def _shr_unlimited(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any arithmetic operation with NilValueDomain makes
  #       NilValueDomain.
  rhs_dom
end
_union_equal_to(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1852
def _union_equal_to(lhs_dom, rhs_dom = self)
  lhs_dom
end
_union_greater_than(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1860
def _union_greater_than(lhs_dom, rhs_dom = self)
  lhs_dom
end
_union_less_than(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1856
def _union_less_than(lhs_dom, rhs_dom = self)
  lhs_dom
end
_union_nil(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1844
def _union_nil(lhs_dom, rhs_dom = self)
  lhs_dom
end
_union_unlimited(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1848
def _union_unlimited(lhs_dom, rhs_dom = self)
  lhs_dom
end
_xor_equal_to(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1515
def _xor_equal_to(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any arithmetic operation with NilValueDomain makes
  #       NilValueDomain.
  rhs_dom
end
_xor_greater_than(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1529
def _xor_greater_than(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any arithmetic operation with NilValueDomain makes
  #       NilValueDomain.
  rhs_dom
end
_xor_less_than(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1522
def _xor_less_than(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any arithmetic operation with NilValueDomain makes
  #       NilValueDomain.
  rhs_dom
end
_xor_nil(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1501
def _xor_nil(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any arithmetic operation with NilValueDomain makes
  #       NilValueDomain.
  lhs_dom
end
_xor_unlimited(lhs_dom, rhs_dom = self) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1508
def _xor_unlimited(lhs_dom, rhs_dom = self)
  # NOTE: NilValueDomain contains no values.
  #       So, any arithmetic operation with NilValueDomain makes
  #       NilValueDomain.
  rhs_dom
end
ambiguous?() click to toggle source
# File lib/adlint/cc1/domain.rb, line 1046
def ambiguous?
  false
end
coerce_to_integer() click to toggle source
# File lib/adlint/cc1/domain.rb, line 1864
def coerce_to_integer
  self
end
coerce_to_real() click to toggle source
# File lib/adlint/cc1/domain.rb, line 1868
def coerce_to_real
  self
end
complexity() click to toggle source
# File lib/adlint/cc1/domain.rb, line 1897
def complexity
  1
end
contain_value_domain?(rhs_dom) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1050
def contain_value_domain?(rhs_dom)
  rhs_dom._contain_nil?(self)
end
each_sample() click to toggle source
# File lib/adlint/cc1/domain.rb, line 1880
def each_sample
  if block_given?
    self
  else
    to_enum(:each_sample)
  end
end
empty?() click to toggle source
# File lib/adlint/cc1/domain.rb, line 1034
def empty?
  true
end
intersect?(rhs_dom) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1082
def intersect?(rhs_dom)
  rhs_dom._intersect_nil?(self)
end
intersection(rhs_dom) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1816
def intersection(rhs_dom)
  rhs_dom._intersection_nil(self)
end
inversion() click to toggle source
# File lib/adlint/cc1/domain.rb, line 1271
def inversion
  ValueDomain.of_unlimited(logical_shr?)
end
logical_and(rhs_dom) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1722
def logical_and(rhs_dom)
  rhs_dom._logical_and_nil(self)
end
logical_or(rhs_dom) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1765
def logical_or(rhs_dom)
  rhs_dom._logical_or_nil(self)
end
max_value() click to toggle source
# File lib/adlint/cc1/domain.rb, line 1876
def max_value
  nil
end
min_value() click to toggle source
# File lib/adlint/cc1/domain.rb, line 1872
def min_value
  nil
end
nan?() click to toggle source
# File lib/adlint/cc1/domain.rb, line 1038
def nan?
  false
end
to_defined_domain() click to toggle source
# File lib/adlint/cc1/domain.rb, line 1888
def to_defined_domain
  self
end
to_s() click to toggle source
# File lib/adlint/cc1/domain.rb, line 1892
def to_s
  "(== Nil)"
end
undefined?() click to toggle source
# File lib/adlint/cc1/domain.rb, line 1042
def undefined?
  false
end
union(rhs_dom) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1840
def union(rhs_dom)
  rhs_dom._union_nil(self)
end
|(rhs_dom) click to toggle source
# File lib/adlint/cc1/domain.rb, line 1458
def |(rhs_dom)
  rhs_dom.coerce_to_integer._or_nil(coerce_to_integer)
end
~() click to toggle source
# File lib/adlint/cc1/domain.rb, line 1275
def ~
  # NOTE: NilValueDomain contains no values.
  #       So, any arithmetic operation with NilValueDomain makes
  #       NilValueDomain.
  self
end