Sha256: 7e4f7da337764e929683bdc16781b3246327250ba54af50659b3484c5e19a6d2
Contents?: true
Size: 1.95 KB
Versions: 17
Compression:
Stored size: 1.95 KB
Contents
module Steep
module AST
module Types
module Logic
class Base
attr_reader :location
def subst(s)
self
end
def free_variables
@fvs ||= Set[]
end
include Helper::NoChild
def hash
self.class.hash
end
def ==(other)
other.class == self.class
end
alias eql? ==
def to_s
"<% #{self.class} %>"
end
end
class Not < Base
def initialize(location: nil)
@location = location
end
end
class ReceiverIsNil < Base
def initialize(location: nil)
@location = location
end
end
class ReceiverIsNotNil < Base
def initialize(location: nil)
@location = location
end
end
class ReceiverIsArg < Base
def initialize(location: nil)
@location = location
end
end
class ArgIsReceiver < Base
def initialize(location: nil)
@location = location
end
end
class ArgEqualsReceiver < Base
def initialize(location: nil)
@location = location
end
end
class Env < Base
attr_reader :truthy, :falsy, :type
def initialize(truthy:, falsy:, type:, location: nil)
@truthy = truthy
@falsy = falsy
@type = type
end
def ==(other)
other.is_a?(Env) && other.truthy == truthy && other.falsy == falsy && other.type == type
end
alias eql? ==
def hash
self.class.hash ^ truthy.hash ^ falsy.hash
end
def inspect
"#<Steep::AST::Types::Env @type=#{type}, @truthy=..., @falsy=...>"
end
alias to_s inspect
end
end
end
end
end
Version data entries
17 entries across 17 versions & 1 rubygems