class TypeProf::Core::Narrowing::NilConstraint

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/env/narrowing.rb, line 65
def initialize(neg)
  @neg = neg
end

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/env/narrowing.rb, line 71
def inspect
  @neg ? "!nil" : "nil"
end

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/env/narrowing.rb, line 79
def narrow(genv, node, vtx)
  NilFilter.new(genv, node, vtx, @neg).next_vtx
end

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/env/narrowing.rb, line 75
def negate
  NilConstraint.new(!@neg)
end