Class: Jade::Type::Constraint

Inherits:
Data
  • Object
show all
Includes:
Base
Defined in:
lib/jade/type/constraint.rb

Overview

‘:unindex` is for constraints that never reach `attach_dictionary` —typically deriving deps that live on impls, not call origins.

Instance Attribute Summary collapse

Instance Method Summary collapse

Instance Attribute Details

#index ⇒ Object (readonly)

Returns the value of attribute index

Returns:

  • (Object) —

    the current value of index



5
6
7
 
# File 'lib/jade/type/constraint.rb', line 5

def index
  @index
end

#interface ⇒ Object (readonly)

Returns the value of attribute interface

Returns:

  • (Object) —

    the current value of interface



5
6
7
 
# File 'lib/jade/type/constraint.rb', line 5

def interface
  @interface
end

#origin ⇒ Object (readonly)

Returns the value of attribute origin

Returns:

  • (Object) —

    the current value of origin



5
6
7
 
# File 'lib/jade/type/constraint.rb', line 5

def origin
  @origin
end

#type ⇒ Object (readonly)

Returns the value of attribute type

Returns:

  • (Object) —

    the current value of type



5
6
7
 
# File 'lib/jade/type/constraint.rb', line 5

def type
  @type
end

Instance Method Details

#to_s ⇒ Object 



12
13
14
 
# File 'lib/jade/type/constraint.rb', line 12

def to_s
  "#{interface} #{type.to_s}"
end

#unbound_vars ⇒ Object 



8
9
10
 
# File 'lib/jade/type/constraint.rb', line 8

def unbound_vars
  type.unbound_vars
end