In Files

  • rbs-1.0.4/lib/rbs/variance_calculator.rb

Class/Module Index [+]

Quicksearch

RBS::VarianceCalculator::Result

Attributes

result[R]

Public Class Methods

new(variables:) click to toggle source
 
               # File rbs-1.0.4/lib/rbs/variance_calculator.rb, line 6
def initialize(variables))
  @result = {}
  variables.each do |x|
    result[x] = :unused
  end
end
            

Public Instance Methods

compatible?(var, with_annotation:) click to toggle source
 
               # File rbs-1.0.4/lib/rbs/variance_calculator.rb, line 43
def compatible?(var, with_annotation))
  variance = result[var]

  case
  when variance == :unused
    true
  when with_annotation == :invariant
    true
  when variance == with_annotation
    true
  else
    false
  end
end
            
contravariant(x) click to toggle source
 
               # File rbs-1.0.4/lib/rbs/variance_calculator.rb, line 22
def contravariant(x)
  case result[x]
  when :unused
    result[x] = :contravariant
  when :covariant
    result[x] = :invariant
  end
end
            
covariant(x) click to toggle source
 
               # File rbs-1.0.4/lib/rbs/variance_calculator.rb, line 13
def covariant(x)
  case result[x]
  when :unused
    result[x] = :covariant
  when :contravariant
    result[x] = :invariant
  end
end
            
each(&block) click to toggle source
 
               # File rbs-1.0.4/lib/rbs/variance_calculator.rb, line 35
def each(&block)
  result.each(&block)
end
            
include?(name) click to toggle source
 
               # File rbs-1.0.4/lib/rbs/variance_calculator.rb, line 39
def include?(name)
  result.key?(name)
end
            
invariant(x) click to toggle source
 
               # File rbs-1.0.4/lib/rbs/variance_calculator.rb, line 31
def invariant(x)
  result[x] = :invariant
end