APIdia Launch Partner
Top Description Inners Fields Constructors Methods
com.sun.tools.javac.comp

public Class ExhaustivenessComputer

extends Object
Class Inheritance
Imports
java.util.Map, .Map.Entry, .Set, .ArrayList, .Arrays, .Collection, .Iterator, .LinkedHashMap, .LinkedHashSet, .SequencedSet, com.sun.tools.javac.code.*, com.sun.tools.javac.code.Symbol.*, .Kinds.Kind, .Type.TypeVar, com.sun.tools.javac.tree.*, com.sun.tools.javac.tree.JCTree.*, com.sun.tools.javac.util.*, java.util.function.Consumer, .Predicate, java.util.stream.Collectors, .Stream
A class to compute exhaustiveness of set of switch cases.

This is NOT part of any supported API. If you write code that depends on this, you do so at your own risk. This code and its internal interfaces are subject to change or deletion without notice.

Nested and Inner Type Summary

Modifier and TypeClass and Description
public static record
ExhaustivenessComputer.BindingPattern

private static record
ExhaustivenessComputer.CoverageResult

public static record
ExhaustivenessComputer.EnumConstantPattern

public static record
ExhaustivenessComputer.ExhaustivenessResult

public static interface
ExhaustivenessComputer.PatternDescription

private static enum
ExhaustivenessComputer.PatternEquivalence

public static record
ExhaustivenessComputer.RecordPattern

protected static class
ExhaustivenessComputer.TooManyChecksException

Field Summary

Modifier and TypeField and Description
private long
baseChecks

private final Check
chk

private static final long
DEFAULT_MAX_BASE_CHECKS

protected static final Context.Key<ExhaustivenessComputer>
exhaustivenessKey

private final Infer
infer

private final Map<Pair<Type, Type>, Boolean>
isSubtypeCache

private final long
maxBaseChecks

private static final long
NO_BASE_CHECKS_COUNTING

private final Symtab
syms

private final Types
types

Constructor Summary

AccessConstructor and Description
protected
ExhaustivenessComputer(Context context)

Method Summary

Modifier and TypeMethod and Description
private Set<Symbol>
allPermittedSubTypes(Symbol.TypeSymbol root, Predicate<Symbol.ClassSymbol> accept)

private List<Symbol.ClassSymbol>
baseClasses(Symbol.TypeSymbol root)

private boolean
basePatternsHaveRecordPatternOnThisSpot(Set<? extends ExhaustivenessComputer.PatternDescription> basePatterns, ExhaustivenessComputer.PatternDescription rootPattern, ExhaustivenessComputer.PatternDescription added)

private boolean
checkCovered(Type seltype, Iterable<ExhaustivenessComputer.PatternDescription> patterns)

private List<Type>
components(Type seltype)

private ExhaustivenessComputer.CoverageResult
computeCoverage(Type selectorType, Set<ExhaustivenessComputer.PatternDescription> patterns, ExhaustivenessComputer.PatternEquivalence patternEquivalence)

protected Set<ExhaustivenessComputer.PatternDescription>
computeMissingPatternDescriptions(Type selectorType, Set<ExhaustivenessComputer.PatternDescription> incompletePatterns)

private Stream<Symbol.TypeSymbol>
directPermittedSubTypes(Type type)

private Set<ExhaustivenessComputer.PatternDescription>
doExpandMissingPatternDescriptions(Type selectorType, Type targetType, ExhaustivenessComputer.PatternDescription toExpand, Set<? extends ExhaustivenessComputer.PatternDescription> basePatterns, Set<ExhaustivenessComputer.PatternDescription> inMissingPatterns)

public ExhaustivenessComputer.ExhaustivenessResult
exhausts(JCTree.JCExpression selector, List<JCTree.JCCase> cases)

private Set<ExhaustivenessComputer.PatternDescription>
expandMissingPatternDescriptions(Type selectorType, Type targetType, ExhaustivenessComputer.PatternDescription toExpand, Set<? extends ExhaustivenessComputer.PatternDescription> basePatterns, Set<ExhaustivenessComputer.PatternDescription> inMissingPatterns)

private ExhaustivenessComputer.PatternDescription
findRootContaining(Set<? extends ExhaustivenessComputer.PatternDescription> rootPatterns, ExhaustivenessComputer.PatternDescription added)

private void
generatePatternsWithReplacedNestedPattern(ExhaustivenessComputer.RecordPattern basePattern, int replaceComponent, Iterable<? extends ExhaustivenessComputer.PatternDescription> updatedNestedPatterns, Set<ExhaustivenessComputer.PatternDescription> sourcePatterns, Consumer<ExhaustivenessComputer.RecordPattern> target)

private boolean
hasMatchingRecordPattern(Set<? extends ExhaustivenessComputer.PatternDescription> basePatterns, Set<? extends ExhaustivenessComputer.PatternDescription> missingPatterns, ExhaustivenessComputer.PatternDescription query)

public static ExhaustivenessComputer
instance(Context context)

private Type[]
instantiatedComponentTypes(Type recordType)

private Type
instantiatePatternType(Type targetType, Symbol.TypeSymbol csym)

private <C extends Symbol.TypeSymbol> Predicate<C>
isApplicableSubtypePredicate(Type targetType)

private boolean
isBpCovered(Type componentType, ExhaustivenessComputer.PatternDescription newNested)

private boolean
isCoveredBy(Type seltype, Iterable<ExhaustivenessComputer.PatternDescription> patterns)

private boolean
isSubtypeErasure(Type t, Type s)

private boolean
isUnderRoot(ExhaustivenessComputer.PatternDescription root, ExhaustivenessComputer.PatternDescription searchFor)

private Set<Symbol.ClassSymbol>
leafPermittedSubTypes(Symbol.TypeSymbol root, Predicate<Symbol.ClassSymbol> accept)

public ExhaustivenessComputer.PatternDescription
makePatternDescription(Type selectorType, JCTree.JCPattern pattern)

private boolean
nestedComponentsEquivalent(ExhaustivenessComputer.RecordPattern existing, ExhaustivenessComputer.RecordPattern candidate, int mismatchingCandidate, boolean useHashes, ExhaustivenessComputer.PatternEquivalence patternEquivalence)

private SequencedSet<ExhaustivenessComputer.PatternDescription>
partialSortPattern(Set<ExhaustivenessComputer.PatternDescription> candidates, Set<? extends ExhaustivenessComputer.PatternDescription> basePatterns, Set<ExhaustivenessComputer.PatternDescription> missingPatterns)

private Set<ExhaustivenessComputer.PatternDescription>
reduceBindingPatterns(Type selectorType, Set<ExhaustivenessComputer.PatternDescription> patterns)

private Set<ExhaustivenessComputer.PatternDescription>
reduceNestedPatterns(Set<ExhaustivenessComputer.PatternDescription> patterns, boolean useHashes, ExhaustivenessComputer.PatternEquivalence patternEquivalence)

private ExhaustivenessComputer.PatternDescription
reduceRecordPattern(ExhaustivenessComputer.PatternDescription pattern)

private Set<ExhaustivenessComputer.PatternDescription>
reduceRecordPatterns(Set<ExhaustivenessComputer.PatternDescription> patterns)

private Set<ExhaustivenessComputer.PatternDescription>
removeCoveredRecordPatterns(Set<ExhaustivenessComputer.PatternDescription> patterns)

private boolean
removeUnnecessaryPatterns(Type selectorType, ExhaustivenessComputer.PatternDescription toExpand, Set<? extends ExhaustivenessComputer.PatternDescription> basePatterns, Set<ExhaustivenessComputer.PatternDescription> inMissingPatterns, Set<ExhaustivenessComputer.PatternDescription> candidates)

private Set<ExhaustivenessComputer.PatternDescription>
replace(Iterable<? extends ExhaustivenessComputer.PatternDescription> in, ExhaustivenessComputer.PatternDescription what, Collection<? extends ExhaustivenessComputer.PatternDescription> to)

private Collection<? extends ExhaustivenessComputer.PatternDescription>
replace(ExhaustivenessComputer.PatternDescription in, ExhaustivenessComputer.PatternDescription what, Collection<? extends ExhaustivenessComputer.PatternDescription> to)

protected void
reportCheck()

private boolean
shouldAppearBefore(ExhaustivenessComputer.PatternDescription pd1, ExhaustivenessComputer.PatternDescription pd2, Set<? extends ExhaustivenessComputer.PatternDescription> basePatterns, Set<? extends ExhaustivenessComputer.PatternDescription> missingPatterns)

Inherited from java.lang.Object:
cloneequalsfinalizegetClasshashCodenotifynotifyAlltoStringwaitwaitwait