Interface JTypeOperations

All Known Implementing Classes:
JTypeOperationsImpl
public interface JTypeOperations

  • Method Details

    • noOpSolver

      default honeyroasted.almonds.ConstraintSolver noOpSolver()

    • system

      JTypeSystem system()

    • reductionApplier

      honeyroasted.almonds.applier.ConstraintMapperApplier reductionApplier()

    • resolutionApplier

      honeyroasted.almonds.applier.ConstraintMapperApplier resolutionApplier()

    • verifyApplier

      honeyroasted.almonds.applier.ConstraintMapperApplier verifyApplier()

    • incorporationApplier

      honeyroasted.almonds.applier.ConstraintMapperApplier incorporationApplier()

    • compatibilityApplier

      honeyroasted.almonds.applier.ConstraintMapperApplier compatibilityApplier()

    • initialBoundsApplier

      honeyroasted.almonds.applier.ConstraintMapperApplier initialBoundsApplier()

    • compatibilitySolver

      honeyroasted.almonds.ConstraintSolver compatibilitySolver()

    • inferenceSolver

      honeyroasted.almonds.ConstraintSolver inferenceSolver()

    • varTypeMap

      Map<JVarType, JMetaVarType> varTypeMap(honeyroasted.almonds.ConstraintBranch branch)

    • metaVarTypeMap

      Map<JMetaVarType, JType> metaVarTypeMap(honeyroasted.almonds.ConstraintBranch branch)

    • inferenceSolver

      default honeyroasted.almonds.ConstraintSolver inferenceSolver(Map<JVarType, JMetaVarType> correspondence)

    • checkStatus

      honeyroasted.almonds.Constraint.Status checkStatus(honeyroasted.almonds.Constraint constraint, honeyroasted.collect.property.PropertySet context)

    • isCompatible

      default boolean isCompatible(JType subtype, JType supertype, JTypeConstraints.Compatible.Context ctx)

    • isSubtype

      default boolean isSubtype(JType subtype, JType supertype)

    • findAllKnownSupertypes

      Set<JType> findAllKnownSupertypes(JType type)

    • findGreatestLowerBound

      JType findGreatestLowerBound(Set<JType> types)

    • findLeastUpperBound

      JType findLeastUpperBound(Set<JType> types)

    • findMostSpecificType

      JType findMostSpecificType(Set<JType> types)

    • findMostSpecificTypes

      Set<JType> findMostSpecificTypes(Set<JType> types)

    • outerTypeFromDeclaring

      Optional<JClassType> outerTypeFromDeclaring(JClassReference instance, JClassReference declaring)