Class JTypeOperationsImpl

java.lang.Object

honeyroasted.jype.system.solver.operations.JTypeOperationsImpl

All Implemented Interfaces:

JTypeOperations

public class JTypeOperationsImpl
extends Object
implements JTypeOperations

Field Summary

Fields

Modifier and Type	Field	Description
static final honeyroasted.almonds.applier.ConstraintMapperApplier	BUILD_INITIAL_BOUNDS_APPLIER
static final honeyroasted.almonds.applier.ConstraintMapperApplier	COMPATIBILITY_APPLIER
static final JTypeOperation<JType, Set<JType>>	FIND_ALL_KNOWN_SUPERTYPES
static final JTypeOperation<Set<JType>, JType>	FIND_GREATEST_LOWER_BOUND
static final JTypeOperation<Set<JType>, JType>	FIND_LEAST_UPPER_BOUND
static final JTypeOperation<Set<JType>, JType>	FIND_MOST_SPECIFIC_TYPE
static final JTypeOperation<Set<JType>, Set<JType>>	FIND_MOST_SPECIFIC_TYPES
static final honeyroasted.almonds.applier.ConstraintMapperApplier	INCORPORATION_APPLIER
static final honeyroasted.almonds.applier.ConstraintMapperApplier	INFERENCE_APPLIER
static final honeyroasted.almonds.applier.ConstraintMapperApplier	REDUCTION_APPLIER
static final honeyroasted.almonds.applier.ConstraintMapperApplier	RESOLVE_APPLIER
static final honeyroasted.almonds.applier.ConstraintMapperApplier	VERIFY_APPLIER

Constructor Summary

Constructors

Constructor	Description
JTypeOperationsImpl(JTypeSystem typeSystem)

Method Summary

Modifier and Type	Method	Description
honeyroasted.almonds.Constraint.Status	checkStatus(honeyroasted.almonds.Constraint constraint, honeyroasted.collect.property.PropertySet context)
honeyroasted.almonds.applier.ConstraintMapperApplier	compatibilityApplier()
honeyroasted.almonds.ConstraintSolver	compatibilitySolver()
Set<JType>	findAllKnownSupertypes(JType type)
JType	findGreatestLowerBound(Set<JType> types)
JType	findLeastUpperBound(Set<JType> types)
JType	findMostSpecificType(Set<JType> types)
Set<JType>	findMostSpecificTypes(Set<JType> types)
honeyroasted.almonds.applier.ConstraintMapperApplier	incorporationApplier()
honeyroasted.almonds.ConstraintSolver	inferenceSolver()
honeyroasted.almonds.applier.ConstraintMapperApplier	initialBoundsApplier()
Map<JMetaVarType, JType>	metaVarTypeMap(honeyroasted.almonds.ConstraintBranch branch)
Optional<JClassType>	outerTypeFromDeclaring(JClassReference instance, JClassReference declaring)
honeyroasted.almonds.applier.ConstraintMapperApplier	reductionApplier()
honeyroasted.almonds.applier.ConstraintMapperApplier	resolutionApplier()
JTypeSystem	system()
Map<JVarType, JMetaVarType>	varTypeMap(honeyroasted.almonds.ConstraintBranch branch)
honeyroasted.almonds.applier.ConstraintMapperApplier	verifyApplier()

Methods inherited from class java.lang.Object

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

Methods inherited from interface honeyroasted.jype.system.solver.operations.JTypeOperations

inferenceSolver, isCompatible, isSubtype, noOpSolver

Field Details

COMPATIBILITY_APPLIER

public static final honeyroasted.almonds.applier.ConstraintMapperApplier COMPATIBILITY_APPLIER

INCORPORATION_APPLIER

public static final honeyroasted.almonds.applier.ConstraintMapperApplier INCORPORATION_APPLIER

REDUCTION_APPLIER

public static final honeyroasted.almonds.applier.ConstraintMapperApplier REDUCTION_APPLIER

BUILD_INITIAL_BOUNDS_APPLIER

public static final honeyroasted.almonds.applier.ConstraintMapperApplier BUILD_INITIAL_BOUNDS_APPLIER

INFERENCE_APPLIER

public static final honeyroasted.almonds.applier.ConstraintMapperApplier INFERENCE_APPLIER

RESOLVE_APPLIER

public static final honeyroasted.almonds.applier.ConstraintMapperApplier RESOLVE_APPLIER

VERIFY_APPLIER

public static final honeyroasted.almonds.applier.ConstraintMapperApplier VERIFY_APPLIER

FIND_ALL_KNOWN_SUPERTYPES

public static final JTypeOperation<JType, Set<JType>> FIND_ALL_KNOWN_SUPERTYPES

FIND_GREATEST_LOWER_BOUND

public static final JTypeOperation<Set<JType>, JType> FIND_GREATEST_LOWER_BOUND

FIND_LEAST_UPPER_BOUND

public static final JTypeOperation<Set<JType>, JType> FIND_LEAST_UPPER_BOUND

FIND_MOST_SPECIFIC_TYPE

public static final JTypeOperation<Set<JType>, JType> FIND_MOST_SPECIFIC_TYPE

FIND_MOST_SPECIFIC_TYPES

public static final JTypeOperation<Set<JType>, Set<JType>> FIND_MOST_SPECIFIC_TYPES

Constructor Details

JTypeOperationsImpl

public JTypeOperationsImpl(JTypeSystem typeSystem)

Method Details

system

public JTypeSystem system()

Specified by:

system in interface JTypeOperations

reductionApplier

public honeyroasted.almonds.applier.ConstraintMapperApplier reductionApplier()

Specified by:

reductionApplier in interface JTypeOperations

resolutionApplier

public honeyroasted.almonds.applier.ConstraintMapperApplier resolutionApplier()

Specified by:

resolutionApplier in interface JTypeOperations

verifyApplier

public honeyroasted.almonds.applier.ConstraintMapperApplier verifyApplier()

Specified by:

verifyApplier in interface JTypeOperations

incorporationApplier

public honeyroasted.almonds.applier.ConstraintMapperApplier incorporationApplier()

Specified by:

incorporationApplier in interface JTypeOperations

compatibilityApplier

public honeyroasted.almonds.applier.ConstraintMapperApplier compatibilityApplier()

Specified by:

compatibilityApplier in interface JTypeOperations

initialBoundsApplier

public honeyroasted.almonds.applier.ConstraintMapperApplier initialBoundsApplier()

Specified by:

initialBoundsApplier in interface JTypeOperations

compatibilitySolver

public honeyroasted.almonds.ConstraintSolver compatibilitySolver()

Specified by:

compatibilitySolver in interface JTypeOperations

inferenceSolver

public honeyroasted.almonds.ConstraintSolver inferenceSolver()

Specified by:

inferenceSolver in interface JTypeOperations

varTypeMap

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

Specified by:

varTypeMap in interface JTypeOperations

metaVarTypeMap

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

Specified by:

metaVarTypeMap in interface JTypeOperations

checkStatus

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

Specified by:

checkStatus in interface JTypeOperations

findAllKnownSupertypes

public Set<JType> findAllKnownSupertypes(JType type)

Specified by:

findAllKnownSupertypes in interface JTypeOperations

findGreatestLowerBound

public JType findGreatestLowerBound(Set<JType> types)

Specified by:

findGreatestLowerBound in interface JTypeOperations

findLeastUpperBound

public JType findLeastUpperBound(Set<JType> types)

Specified by:

findLeastUpperBound in interface JTypeOperations

findMostSpecificType

public JType findMostSpecificType(Set<JType> types)

Specified by:

findMostSpecificType in interface JTypeOperations

findMostSpecificTypes

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

Specified by:

findMostSpecificTypes in interface JTypeOperations

outerTypeFromDeclaring

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

Specified by:

outerTypeFromDeclaring in interface JTypeOperations