jmlparser-symbol-solver-core/com.github.javaparser.symbolsolver.resolution.typeinference/TypeHelper

TypeHelper

open class TypeHelper(source)

The term "type" is used loosely in this chapter to include type-like syntax that contains inference variables. Assertions that involve inference variables are assertions about every proper type that can be produced by replacing each inference variable with a proper type.

Author

Federico Tomassetti

Constructors

Link copied to clipboard
constructor()

Functions

Link copied to clipboard
Link copied to clipboard
open fun glb(types: Set<ResolvedType>): ResolvedType
See JLS 5.1.10.
Link copied to clipboard
open fun groundTargetTypeOfLambda(lambdaExpr: LambdaExpr, T: ResolvedType, typeSolver: TypeSolver): Pair<ResolvedType, Boolean>
See JLS 15.27.3.
Link copied to clipboard
open fun isCompatibleInALooseInvocationContext(s: ResolvedType, t: ResolvedType): Boolean
open fun isCompatibleInALooseInvocationContext(typeSolver: TypeSolver, expression: Expression, t: ResolvedType): Boolean
see https://docs.oracle.com/javase/specs/jls/se8/html/jls-5.html#jls-5.
Link copied to clipboard
open fun isCompatibleInAStrictInvocationContext(expression: Expression, t: ResolvedType): Boolean
see https://docs.oracle.com/javase/specs/jls/se8/html/jls-5.html#jls-5.
Link copied to clipboard
open fun isProperType(type: ResolvedType): Boolean
The term proper type excludes such "types" that mention inference variables.
Link copied to clipboard
open fun leastUpperBound(types: Set<ResolvedType>): ResolvedType
See JLS 4.10.4.
Link copied to clipboard
open fun toBoxedType(primitiveType: ResolvedPrimitiveType): ResolvedType
open fun toBoxedType(primitiveType: ResolvedPrimitiveType, typeSolver: TypeSolver): ResolvedType
Link copied to clipboard
Generated by Dokka
© 2026 Copyright