class Molinillo::ResolutionState(R, S)

Overview

A state that a {Resolution} can be in @attr [String] name the name of the current requirement @attr [Array] requirements currently unsatisfied requirements @attr [DependencyGraph] activated the graph of activated dependencies @attr [Object] requirement the current requirement @attr [Object] possibilities the possibilities to satisfy the current requirement @attr [Integer] depth the depth of the resolution @attr [Hash] conflicts unresolved conflicts, indexed by dependency name @attr [Array] unused_unwind_options unwinds for previous conflicts that weren't explored

Direct Known Subclasses

Defined in:

molinillo/state.cr

Constructors

Class Method Summary

  • .empty

    Returns an empty resolution state @return [ResolutionState] an empty state

Instance Method Summary

Constructor Detail

def self.new(name : Nil | String, requirements : Array(R), activated : Molinillo::DependencyGraph(Molinillo::Resolver::Resolution::PossibilitySet(R, S) | S | Nil, R), requirement : R | Nil, possibilities : Array(Molinillo::Resolver::Resolution::PossibilitySet(R, S)), depth : Int32, conflicts : Hash(String, Molinillo::Resolver::Resolution::Conflict(R, S)), unused_unwind_options : Array(Molinillo::Resolver::Resolution::UnwindDetails(R, S))) #

Class Method Detail

def self.empty #

Returns an empty resolution state @return [ResolutionState] an empty state


Instance Method Detail

def activated : DependencyGraph(Resolver::Resolution::PossibilitySet(R, S) | Nil | S, R) #

def activated=(activated : DependencyGraph(Resolver::Resolution::PossibilitySet(R, S) | Nil | S, R)) #

def conflicts : Hash(String, Resolver::Resolution::Conflict(R, S)) #

def conflicts=(conflicts : Hash(String, Resolver::Resolution::Conflict(R, S))) #

def depth : Int32 #

def depth=(depth : Int32) #

def name : String | Nil #

def name=(name : String | Nil) #

def possibilities : Array(Resolver::Resolution::PossibilitySet(R, S)) #

def possibilities=(possibilities : Array(Resolver::Resolution::PossibilitySet(R, S))) #

def requirement : R | Nil #

def requirement=(requirement : R | Nil) #

def requirements : Array(R) #

def requirements=(requirements : Array(R)) #

def unused_unwind_options : Array(Resolver::Resolution::UnwindDetails(R, S)) #

def unused_unwind_options=(unused_unwind_options : Array(Resolver::Resolution::UnwindDetails(R, S))) #