class AdLint::Cc1::AmbiguousValueDomain
Public Class Methods
new(undefined, logical_shr)
click to toggle source
Calls superclass method
AdLint::Cc1::ValueDomain::new
# File lib/adlint/cc1/domain.rb, line 7428 def initialize(undefined, logical_shr) super(logical_shr) @undefined = undefined end
Public Instance Methods
!()
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7899 def ! ValueDomain.of_unlimited(logical_shr?) end
!=(rhs_dom)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7961 def !=(rhs_dom) ValueDomain.of_unlimited(logical_shr?) end
&(rhs_dom)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7749 def &(rhs_dom) self end
*(rhs_dom)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7691 def *(rhs_dom) self end
+(rhs_dom)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7657 def +(rhs_dom) self end
+@()
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7649 def +@ self end
-@()
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7653 def -@ self end
/(rhs_dom)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7725 def /(rhs_dom) self end
<(rhs_dom)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7903 def <(rhs_dom) ValueDomain.of_unlimited(logical_shr?) end
<<(rhs_dom)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7851 def <<(rhs_dom) self end
==(rhs_dom)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7927 def ==(rhs_dom) ValueDomain.of_unlimited(logical_shr?) end
>>(rhs_dom)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7875 def >>(rhs_dom) self end
^(rhs_dom)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7817 def ^(rhs_dom) self end
_add_equal_to(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7673 def _add_equal_to(lhs_dom, rhs_dom = self) # NOTE: `LHS + RHS' equals to `RHS + LHS'. # This method invokes AmbiguousValueDomain#+. rhs_dom + lhs_dom end
_add_greater_than(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7685 def _add_greater_than(lhs_dom, rhs_dom = self) # NOTE: `LHS + RHS' equals to `RHS + LHS'. # This method invokes AmbiguousValueDomain#+. rhs_dom + lhs_dom end
_add_less_than(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7679 def _add_less_than(lhs_dom, rhs_dom = self) # NOTE: `LHS + RHS' equals to `RHS + LHS'. # This method invokes AmbiguousValueDomain#+. rhs_dom + lhs_dom end
_add_nil(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7661 def _add_nil(lhs_dom, rhs_dom = self) # NOTE: `LHS + RHS' equals to `RHS + LHS'. # This method invokes AmbiguousValueDomain#+. rhs_dom + lhs_dom end
_add_unlimited(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7667 def _add_unlimited(lhs_dom, rhs_dom = self) # NOTE: `LHS + RHS' equals to `RHS + LHS'. # This method invokes AmbiguousValueDomain#+. rhs_dom + lhs_dom end
_and_equal_to(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7765 def _and_equal_to(lhs_dom, rhs_dom = self) # NOTE: `LHS & RHS' equals to `RHS & LHS'. # This method invokes AmbiguousValueDomain#&. rhs_dom & lhs_dom end
_and_greater_than(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7777 def _and_greater_than(lhs_dom, rhs_dom = self) # NOTE: `LHS & RHS' equals to `RHS & LHS'. # This method invokes AmbiguousValueDomain#&. rhs_dom & lhs_dom end
_and_less_than(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7771 def _and_less_than(lhs_dom, rhs_dom = self) # NOTE: `LHS & RHS' equals to `RHS & LHS'. # This method invokes AmbiguousValueDomain#&. rhs_dom & lhs_dom end
_and_nil(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7753 def _and_nil(lhs_dom, rhs_dom = self) # NOTE: `LHS & RHS' equals to `RHS & LHS'. # This method invokes AmbiguousValueDomain#&. rhs_dom & lhs_dom end
_and_unlimited(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7759 def _and_unlimited(lhs_dom, rhs_dom = self) # NOTE: `LHS & RHS' equals to `RHS & LHS'. # This method invokes AmbiguousValueDomain#&. rhs_dom & lhs_dom end
_contain_equal_to?(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7461 def _contain_equal_to?(lhs_dom, rhs_dom = self) false end
_contain_greater_than?(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7469 def _contain_greater_than?(lhs_dom, rhs_dom = self) false end
_contain_intersection?(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7473 def _contain_intersection?(lhs_dom, rhs_dom = self) false end
_contain_less_than?(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7465 def _contain_less_than?(lhs_dom, rhs_dom = self) false end
_contain_nil?(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7453 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 7477 def _contain_union?(lhs_dom, rhs_dom = self) false end
_contain_unlimited?(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7457 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 7737 def _div_equal_to(lhs_dom, rhs_dom = self) rhs_dom end
_div_greater_than(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7745 def _div_greater_than(lhs_dom, rhs_dom = self) rhs_dom end
_div_less_than(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7741 def _div_less_than(lhs_dom, rhs_dom = self) rhs_dom end
_div_nil(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7729 def _div_nil(lhs_dom, rhs_dom = self) rhs_dom end
_div_unlimited(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7733 def _div_unlimited(lhs_dom, rhs_dom = self) rhs_dom end
_equal_equal_to(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7943 def _equal_equal_to(lhs_dom, rhs_dom = self) # NOTE: `LHS == RHS' equals to `RHS == LHS'. # This method invokes AmbiguousValueDomain#==. rhs_dom == lhs_dom end
_equal_greater_than(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7955 def _equal_greater_than(lhs_dom, rhs_dom = self) # NOTE: `LHS == RHS' equals to `RHS == LHS'. # This method invokes AmbiguousValueDomain#==. rhs_dom == lhs_dom end
_equal_less_than(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7949 def _equal_less_than(lhs_dom, rhs_dom = self) # NOTE: `LHS == RHS' equals to `RHS == LHS'. # This method invokes AmbiguousValueDomain#==. rhs_dom == lhs_dom end
_equal_nil(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7931 def _equal_nil(lhs_dom, rhs_dom = self) # NOTE: `LHS == RHS' equals to `RHS == LHS'. # This method invokes AmbiguousValueDomain#==. rhs_dom == lhs_dom end
_equal_unlimited(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7937 def _equal_unlimited(lhs_dom, rhs_dom = self) # NOTE: `LHS == RHS' equals to `RHS == LHS'. # This method invokes AmbiguousValueDomain#==. rhs_dom == lhs_dom end
_intersect_equal_to?(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7495 def _intersect_equal_to?(lhs_dom, rhs_dom = self) # NOTE: `LHS intersect? RHS' equals to `RHS intersect? LHS'. # This method invokes AmbiguousValueDomain#intersect?. rhs_dom.intersect?(lhs_dom) end
_intersect_greater_than?(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7507 def _intersect_greater_than?(lhs_dom, rhs_dom = self) # NOTE: `LHS intersect? RHS' equals to `RHS intersect? LHS'. # This method invokes AmbiguousValueDomain#intersect?. rhs_dom.intersect?(lhs_dom) end
_intersect_less_than?(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7501 def _intersect_less_than?(lhs_dom, rhs_dom = self) # NOTE: `LHS intersect? RHS' equals to `RHS intersect? LHS'. # This method invokes AmbiguousValueDomain#intersect?. rhs_dom.intersect?(lhs_dom) end
_intersect_nil?(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7485 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 7489 def _intersect_unlimited?(lhs_dom, rhs_dom = self) # NOTE: `LHS intersect? RHS' equals to `RHS intersect? LHS'. # This method invokes AmbiguousValueDomain#intersect?. rhs_dom.intersect?(lhs_dom) end
_intersection_equal_to(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 8079 def _intersection_equal_to(lhs_dom, rhs_dom = self) # NOTE: `LHS intersection RHS' equals to `RHS intersection LHS'. # This method invokes AmbiguousValueDomain#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 8091 def _intersection_greater_than(lhs_dom, rhs_dom = self) # NOTE: `LHS intersection RHS' equals to `RHS intersection LHS'. # This method invokes AmbiguousValueDomain#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 8085 def _intersection_less_than(lhs_dom, rhs_dom = self) # NOTE: `LHS intersection RHS' equals to `RHS intersection LHS'. # This method invokes AmbiguousValueDomain#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 8067 def _intersection_nil(lhs_dom, rhs_dom = self) # NOTE: `LHS intersection RHS' equals to `RHS intersection LHS'. # This method invokes AmbiguousValueDomain#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 8073 def _intersection_unlimited(lhs_dom, rhs_dom = self) # NOTE: `LHS intersection RHS' equals to `RHS intersection LHS'. # This method invokes AmbiguousValueDomain#intersection. rhs_dom.intersection(lhs_dom) end
_less_equal_to(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7915 def _less_equal_to(lhs_dom, rhs_dom = self) ValueDomain.of_unlimited(logical_shr?) end
_less_greater_than(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7923 def _less_greater_than(lhs_dom, rhs_dom = self) ValueDomain.of_unlimited(logical_shr?) end
_less_less_than(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7919 def _less_less_than(lhs_dom, rhs_dom = self) ValueDomain.of_unlimited(logical_shr?) end
_less_nil(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7907 def _less_nil(lhs_dom, rhs_dom = self) ValueDomain.of_nil(logical_shr?) end
_less_unlimited(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7911 def _less_unlimited(lhs_dom, rhs_dom = self) ValueDomain.of_unlimited(logical_shr?) end
_logical_and_equal_to(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 8011 def _logical_and_equal_to(lhs_dom, rhs_dom = self) # NOTE: `LHS && RHS' equals to `RHS && LHS'. # This method invokes AmbiguousValueDomain#logical_and. rhs_dom.logical_and(lhs_dom) end
_logical_and_greater_than(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 8023 def _logical_and_greater_than(lhs_dom, rhs_dom = self) # NOTE: `LHS && RHS' equals to `RHS && LHS'. # This method invokes AmbiguousValueDomain#logical_and. rhs_dom.logical_and(lhs_dom) end
_logical_and_less_than(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 8017 def _logical_and_less_than(lhs_dom, rhs_dom = self) # NOTE: `LHS && RHS' equals to `RHS && LHS'. # This method invokes AmbiguousValueDomain#logical_and. rhs_dom.logical_and(lhs_dom) end
_logical_and_nil(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7999 def _logical_and_nil(lhs_dom, rhs_dom = self) # NOTE: `LHS && RHS' equals to `RHS && LHS'. # This method invokes AmbiguousValueDomain#logical_and. rhs_dom.logical_and(lhs_dom) end
_logical_and_unlimited(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 8005 def _logical_and_unlimited(lhs_dom, rhs_dom = self) # NOTE: `LHS && RHS' equals to `RHS && LHS'. # This method invokes AmbiguousValueDomain#logical_and. rhs_dom.logical_and(lhs_dom) end
_logical_or_equal_to(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 8045 def _logical_or_equal_to(lhs_dom, rhs_dom = self) # NOTE: `LHS || RHS' equals to `RHS || LHS'. # This method invokes AmbiguousValueDomain#logical_or. rhs_dom.logical_or(lhs_dom) end
_logical_or_greater_than(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 8057 def _logical_or_greater_than(lhs_dom, rhs_dom = self) # NOTE: `LHS || RHS' equals to `RHS || LHS'. # This method invokes AmbiguousValueDomain#logical_or. rhs_dom.logical_or(lhs_dom) end
_logical_or_less_than(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 8051 def _logical_or_less_than(lhs_dom, rhs_dom = self) # NOTE: `LHS || RHS' equals to `RHS || LHS'. # This method invokes AmbiguousValueDomain#logical_or. rhs_dom.logical_or(lhs_dom) end
_logical_or_nil(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 8033 def _logical_or_nil(lhs_dom, rhs_dom = self) # NOTE: `LHS || RHS' equals to `RHS || LHS'. # This method invokes AmbiguousValueDomain#logical_or. rhs_dom.logical_or(lhs_dom) end
_logical_or_unlimited(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 8039 def _logical_or_unlimited(lhs_dom, rhs_dom = self) # NOTE: `LHS || RHS' equals to `RHS || LHS'. # This method invokes AmbiguousValueDomain#logical_or. rhs_dom.logical_or(lhs_dom) end
_mul_equal_to(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7707 def _mul_equal_to(lhs_dom, rhs_dom = self) # NOTE: `LHS * RHS' equals to `RHS * LHS'. # This method invokes AmbiguousValueDomain#*. rhs_dom * lhs_dom end
_mul_greater_than(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7719 def _mul_greater_than(lhs_dom, rhs_dom = self) # NOTE: `LHS * RHS' equals to `RHS * LHS'. # This method invokes AmbiguousValueDomain#*. rhs_dom * lhs_dom end
_mul_less_than(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7713 def _mul_less_than(lhs_dom, rhs_dom = self) # NOTE: `LHS * RHS' equals to `RHS * LHS'. # This method invokes AmbiguousValueDomain#*. rhs_dom * lhs_dom end
_mul_nil(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7695 def _mul_nil(lhs_dom, rhs_dom = self) # NOTE: `LHS * RHS' equals to `RHS * LHS'. # This method invokes AmbiguousValueDomain#*. rhs_dom * lhs_dom end
_mul_unlimited(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7701 def _mul_unlimited(lhs_dom, rhs_dom = self) # NOTE: `LHS * RHS' equals to `RHS * LHS'. # This method invokes AmbiguousValueDomain#*. rhs_dom * lhs_dom end
_narrow_by_eq(rhs_dom, lhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7517 def _narrow_by_eq(rhs_dom, lhs_dom = self) ValueDomain.of_ambiguous(@undefined, logical_shr?) end
_narrow_by_gt(rhs_dom, lhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7589 def _narrow_by_gt(rhs_dom, lhs_dom = self) ValueDomain.of_ambiguous(@undefined, logical_shr?) end
_narrow_by_lt(rhs_dom, lhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7565 def _narrow_by_lt(rhs_dom, lhs_dom = self) ValueDomain.of_ambiguous(@undefined, logical_shr?) end
_narrow_by_ne(rhs_dom, lhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7541 def _narrow_by_ne(rhs_dom, lhs_dom = self) ValueDomain.of_ambiguous(@undefined, logical_shr?) end
_narrow_equal_to_by_eq(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7529 def _narrow_equal_to_by_eq(lhs_dom, rhs_dom = self) ValueDomain.of_ambiguous(@undefined, logical_shr?) end
_narrow_equal_to_by_gt(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7601 def _narrow_equal_to_by_gt(lhs_dom, rhs_dom = self) ValueDomain.of_ambiguous(@undefined, logical_shr?) end
_narrow_equal_to_by_lt(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7577 def _narrow_equal_to_by_lt(lhs_dom, rhs_dom = self) ValueDomain.of_ambiguous(@undefined, logical_shr?) end
_narrow_equal_to_by_ne(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7553 def _narrow_equal_to_by_ne(lhs_dom, rhs_dom = self) ValueDomain.of_ambiguous(@undefined, logical_shr?) end
_narrow_greater_than_by_eq(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7537 def _narrow_greater_than_by_eq(lhs_dom, rhs_dom = self) ValueDomain.of_ambiguous(@undefined, logical_shr?) end
_narrow_greater_than_by_gt(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7609 def _narrow_greater_than_by_gt(lhs_dom, rhs_dom = self) ValueDomain.of_ambiguous(@undefined, logical_shr?) end
_narrow_greater_than_by_lt(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7585 def _narrow_greater_than_by_lt(lhs_dom, rhs_dom = self) ValueDomain.of_ambiguous(@undefined, logical_shr?) end
_narrow_greater_than_by_ne(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7561 def _narrow_greater_than_by_ne(lhs_dom, rhs_dom = self) ValueDomain.of_ambiguous(@undefined, logical_shr?) end
_narrow_less_than_by_eq(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7533 def _narrow_less_than_by_eq(lhs_dom, rhs_dom = self) ValueDomain.of_ambiguous(@undefined, logical_shr?) end
_narrow_less_than_by_gt(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7605 def _narrow_less_than_by_gt(lhs_dom, rhs_dom = self) ValueDomain.of_ambiguous(@undefined, logical_shr?) end
_narrow_less_than_by_lt(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7581 def _narrow_less_than_by_lt(lhs_dom, rhs_dom = self) ValueDomain.of_ambiguous(@undefined, logical_shr?) end
_narrow_less_than_by_ne(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7557 def _narrow_less_than_by_ne(lhs_dom, rhs_dom = self) ValueDomain.of_ambiguous(@undefined, logical_shr?) end
_narrow_nil_by_eq(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7521 def _narrow_nil_by_eq(lhs_dom, rhs_dom = self) ValueDomain.of_ambiguous(@undefined, logical_shr?) end
_narrow_nil_by_gt(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7593 def _narrow_nil_by_gt(lhs_dom, rhs_dom = self) ValueDomain.of_ambiguous(@undefined, logical_shr?) end
_narrow_nil_by_lt(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7569 def _narrow_nil_by_lt(lhs_dom, rhs_dom = self) ValueDomain.of_ambiguous(@undefined, logical_shr?) end
_narrow_nil_by_ne(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7545 def _narrow_nil_by_ne(lhs_dom, rhs_dom = self) ValueDomain.of_ambiguous(@undefined, logical_shr?) end
_narrow_unlimited_by_eq(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7525 def _narrow_unlimited_by_eq(lhs_dom, rhs_dom = self) ValueDomain.of_ambiguous(@undefined, logical_shr?) end
_narrow_unlimited_by_gt(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7597 def _narrow_unlimited_by_gt(lhs_dom, rhs_dom = self) ValueDomain.of_ambiguous(@undefined, logical_shr?) end
_narrow_unlimited_by_lt(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7573 def _narrow_unlimited_by_lt(lhs_dom, rhs_dom = self) ValueDomain.of_ambiguous(@undefined, logical_shr?) end
_narrow_unlimited_by_ne(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7549 def _narrow_unlimited_by_ne(lhs_dom, rhs_dom = self) ValueDomain.of_ambiguous(@undefined, logical_shr?) end
_not_equal_equal_to(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7977 def _not_equal_equal_to(lhs_dom, rhs_dom = self) # NOTE: `LHS != RHS' equals to `RHS != LHS'. # This method invokes AmbiguousValueDomain#!=. rhs_dom != lhs_dom end
_not_equal_greater_than(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7989 def _not_equal_greater_than(lhs_dom, rhs_dom = self) # NOTE: `LHS != RHS' equals to `RHS != LHS'. # This method invokes AmbiguousValueDomain#!=. rhs_dom != lhs_dom end
_not_equal_less_than(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7983 def _not_equal_less_than(lhs_dom, rhs_dom = self) # NOTE: `LHS != RHS' equals to `RHS != LHS'. # This method invokes AmbiguousValueDomain#!=. rhs_dom != lhs_dom end
_not_equal_nil(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7965 def _not_equal_nil(lhs_dom, rhs_dom = self) # NOTE: `LHS != RHS' equals to `RHS != LHS'. # This method invokes AmbiguousValueDomain#!=. rhs_dom != lhs_dom end
_not_equal_unlimited(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7971 def _not_equal_unlimited(lhs_dom, rhs_dom = self) # NOTE: `LHS != RHS' equals to `RHS != LHS'. # This method invokes AmbiguousValueDomain#!=. rhs_dom != lhs_dom end
_or_equal_to(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7799 def _or_equal_to(lhs_dom, rhs_dom = self) # NOTE: `LHS | RHS' equals to `RHS | LHS'. # This method invokes AmbiguousValueDomain#|. rhs_dom | lhs_dom end
_or_greater_than(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7811 def _or_greater_than(lhs_dom, rhs_dom = self) # NOTE: `LHS | RHS' equals to `RHS | LHS'. # This method invokes AmbiguousValueDomain#|. rhs_dom | lhs_dom end
_or_less_than(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7805 def _or_less_than(lhs_dom, rhs_dom = self) # NOTE: `LHS | RHS' equals to `RHS | LHS'. # This method invokes AmbiguousValueDomain#|. rhs_dom | lhs_dom end
_or_nil(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7787 def _or_nil(lhs_dom, rhs_dom = self) # NOTE: `LHS | RHS' equals to `RHS | LHS'. # This method invokes AmbiguousValueDomain#|. rhs_dom | lhs_dom end
_or_unlimited(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7793 def _or_unlimited(lhs_dom, rhs_dom = self) # NOTE: `LHS | RHS' equals to `RHS | LHS'. # This method invokes AmbiguousValueDomain#|. rhs_dom | lhs_dom end
_shl_equal_to(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7863 def _shl_equal_to(lhs_dom, rhs_dom = self) rhs_dom end
_shl_greater_than(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7871 def _shl_greater_than(lhs_dom, rhs_dom = self) rhs_dom end
_shl_less_than(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7867 def _shl_less_than(lhs_dom, rhs_dom = self) rhs_dom end
_shl_nil(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7855 def _shl_nil(lhs_dom, rhs_dom = self) rhs_dom end
_shl_unlimited(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7859 def _shl_unlimited(lhs_dom, rhs_dom = self) rhs_dom end
_shr_equal_to(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7887 def _shr_equal_to(lhs_dom, rhs_dom = self) rhs_dom end
_shr_greater_than(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7895 def _shr_greater_than(lhs_dom, rhs_dom = self) rhs_dom end
_shr_less_than(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7891 def _shr_less_than(lhs_dom, rhs_dom = self) rhs_dom end
_shr_nil(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7879 def _shr_nil(lhs_dom, rhs_dom = self) rhs_dom end
_shr_unlimited(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7883 def _shr_unlimited(lhs_dom, rhs_dom = self) rhs_dom end
_union_equal_to(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 8113 def _union_equal_to(lhs_dom, rhs_dom = self) # NOTE: `LHS union RHS' equals to `RHS union LHS'. # This method invokes AmbiguousValueDomain#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 8125 def _union_greater_than(lhs_dom, rhs_dom = self) # NOTE: `LHS union RHS' equals to `RHS union LHS'. # This method invokes AmbiguousValueDomain#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 8119 def _union_less_than(lhs_dom, rhs_dom = self) # NOTE: `LHS union RHS' equals to `RHS union LHS'. # This method invokes AmbiguousValueDomain#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 8101 def _union_nil(lhs_dom, rhs_dom = self) # NOTE: `LHS union RHS' equals to `RHS union LHS'. # This method invokes AmbiguousValueDomain#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 8107 def _union_unlimited(lhs_dom, rhs_dom = self) # NOTE: `LHS union RHS' equals to `RHS union LHS'. # This method invokes AmbiguousValueDomain#union. rhs_dom.union(lhs_dom) end
_widen_by_eq(rhs_dom, lhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7617 def _widen_by_eq(rhs_dom, lhs_dom = self) ValueDomain.of_ambiguous(@undefined, logical_shr?) end
_widen_by_ge(rhs_dom, lhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7637 def _widen_by_ge(rhs_dom, lhs_dom = self) ValueDomain.of_ambiguous(@undefined, logical_shr?) end
_widen_by_gt(rhs_dom, lhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7629 def _widen_by_gt(rhs_dom, lhs_dom = self) ValueDomain.of_ambiguous(@undefined, logical_shr?) end
_widen_by_le(rhs_dom, lhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7633 def _widen_by_le(rhs_dom, lhs_dom = self) ValueDomain.of_ambiguous(@undefined, logical_shr?) end
_widen_by_lt(rhs_dom, lhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7625 def _widen_by_lt(rhs_dom, lhs_dom = self) ValueDomain.of_ambiguous(@undefined, logical_shr?) end
_widen_by_ne(rhs_dom, lhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7621 def _widen_by_ne(rhs_dom, lhs_dom = self) ValueDomain.of_ambiguous(@undefined, logical_shr?) end
_xor_equal_to(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7833 def _xor_equal_to(lhs_dom, rhs_dom = self) # NOTE: `LHS ^ RHS' equals to `RHS ^ LHS'. # This method invokes AmbiguousValueDomain#^. rhs_dom ^ lhs_dom end
_xor_greater_than(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7845 def _xor_greater_than(lhs_dom, rhs_dom = self) # NOTE: `LHS ^ RHS' equals to `RHS ^ LHS'. # This method invokes AmbiguousValueDomain#^. rhs_dom ^ lhs_dom end
_xor_less_than(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7839 def _xor_less_than(lhs_dom, rhs_dom = self) # NOTE: `LHS ^ RHS' equals to `RHS ^ LHS'. # This method invokes AmbiguousValueDomain#^. rhs_dom ^ lhs_dom end
_xor_nil(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7821 def _xor_nil(lhs_dom, rhs_dom = self) # NOTE: `LHS ^ RHS' equals to `RHS ^ LHS'. # This method invokes AmbiguousValueDomain#^. rhs_dom ^ lhs_dom end
_xor_unlimited(lhs_dom, rhs_dom = self)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7827 def _xor_unlimited(lhs_dom, rhs_dom = self) # NOTE: `LHS ^ RHS' equals to `RHS ^ LHS'. # This method invokes AmbiguousValueDomain#^. rhs_dom ^ lhs_dom end
ambiguous?()
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7445 def ambiguous? true end
coerce_to_integer()
click to toggle source
# File lib/adlint/cc1/domain.rb, line 8131 def coerce_to_integer self end
coerce_to_real()
click to toggle source
# File lib/adlint/cc1/domain.rb, line 8135 def coerce_to_real self end
complexity()
click to toggle source
# File lib/adlint/cc1/domain.rb, line 8165 def complexity 1 end
contain_value_domain?(rhs_dom)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7449 def contain_value_domain?(rhs_dom) true end
each_sample() { |0| ... }
click to toggle source
# File lib/adlint/cc1/domain.rb, line 8147 def each_sample if block_given? yield(0) self else to_enum(:each_sample) end end
empty?()
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7433 def empty? false end
intersect?(rhs_dom)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7481 def intersect?(rhs_dom) true end
intersection(rhs_dom)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 8063 def intersection(rhs_dom) self end
inversion()
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7641 def inversion self end
logical_and(rhs_dom)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7995 def logical_and(rhs_dom) ValueDomain.of_unlimited(logical_shr?) end
logical_or(rhs_dom)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 8029 def logical_or(rhs_dom) ValueDomain.of_unlimited(logical_shr?) end
max_value()
click to toggle source
# File lib/adlint/cc1/domain.rb, line 8143 def max_value nil end
min_value()
click to toggle source
# File lib/adlint/cc1/domain.rb, line 8139 def min_value nil end
nan?()
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7437 def nan? false end
narrow(op, ope_dom)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7513 def narrow(op, ope_dom) self end
to_defined_domain()
click to toggle source
# File lib/adlint/cc1/domain.rb, line 8156 def to_defined_domain ValueDomain.of_ambiguous(false, logical_shr?) end
to_s()
click to toggle source
# File lib/adlint/cc1/domain.rb, line 8160 def to_s "(== Ambiguous)" end
undefined?()
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7441 def undefined? @undefined end
union(rhs_dom)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 8097 def union(rhs_dom) self end
widen(op, ope_dom)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7613 def widen(op, ope_dom) self end
|(rhs_dom)
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7783 def |(rhs_dom) self end
~()
click to toggle source
# File lib/adlint/cc1/domain.rb, line 7645 def ~ self end