Class JResolveBounds

java.lang.Object
honeyroasted.almonds.ConstraintMapper.All
honeyroasted.jype.system.solver.constraints.inference.JResolveBounds
All Implemented Interfaces:
honeyroasted.almonds.ConstraintMapper, Consumer<honeyroasted.almonds.ConstraintBranch>
public class JResolveBounds extends honeyroasted.almonds.ConstraintMapper.All

  • Nested Class Summary

    Nested classes/interfaces inherited from interface honeyroasted.almonds.ConstraintMapper

    honeyroasted.almonds.ConstraintMapper.All, honeyroasted.almonds.ConstraintMapper.Binary<L extends honeyroasted.almonds.Constraint, R extends honeyroasted.almonds.Constraint>, honeyroasted.almonds.ConstraintMapper.False, honeyroasted.almonds.ConstraintMapper.True, honeyroasted.almonds.ConstraintMapper.Unary<T extends honeyroasted.almonds.Constraint>

  • Constructor Summary

    Constructors
    Constructor
    Description
    JResolveBounds()
     

  • Method Summary

    Modifier and Type
    Method
    Description
    protected void
    accept(honeyroasted.collect.property.PropertySet allContext, honeyroasted.collect.property.PropertySet branchContext, honeyroasted.almonds.ConstraintBranch branch)
     
    Map<JMetaVarType, Set<JMetaVarType>>
    discoverDependencies(honeyroasted.collect.property.PropertySet branchContext, honeyroasted.almonds.ConstraintBranch bounds)
     
    protected boolean
    filter(honeyroasted.collect.property.PropertySet allContext, honeyroasted.collect.property.PropertySet branchContext, honeyroasted.almonds.ConstraintBranch branch)
     
    static JType
    findInstantiation(JMetaVarType mvt, honeyroasted.almonds.ConstraintBranch bounds)
     

    Methods inherited from class honeyroasted.almonds.ConstraintMapper.All

    accept

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    Methods inherited from interface java.util.function.Consumer

    andThen

  • Constructor Details

    • JResolveBounds

      public JResolveBounds()

  • Method Details

    • filter

      protected boolean filter(honeyroasted.collect.property.PropertySet allContext, honeyroasted.collect.property.PropertySet branchContext, honeyroasted.almonds.ConstraintBranch branch)
      Specified by:
      filter in class honeyroasted.almonds.ConstraintMapper.All

    • accept

      protected void accept(honeyroasted.collect.property.PropertySet allContext, honeyroasted.collect.property.PropertySet branchContext, honeyroasted.almonds.ConstraintBranch branch)
      Specified by:
      accept in class honeyroasted.almonds.ConstraintMapper.All

    • findInstantiation

      public static JType findInstantiation(JMetaVarType mvt, honeyroasted.almonds.ConstraintBranch bounds)

    • discoverDependencies

      public Map<JMetaVarType, Set<JMetaVarType>> discoverDependencies(honeyroasted.collect.property.PropertySet branchContext, honeyroasted.almonds.ConstraintBranch bounds)