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