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