Package com.github.javaparser.symbolsolver.resolution.typeinference.bounds

package com.github.javaparser.symbolsolver.resolution.typeinference.bounds
  • Class Summary
    Class
    Description
    CapturesBound
    Capture(G<A1, ..., An>): The variables α1, ..., αn represent the result of capture conversion (§5.1.10) applied to G<A1, ..., An> (where A1, ..., An may be types or wildcards and may mention inference variables).
    FalseBound
    No valid choice of inference variables exists.
    SameAsBound
    S = T, where at least one of S or T is an inference variable: S is the same as T.
    SubtypeOfBound
    S <: T, where at least one of S or T is an inference variable: S is a subtype of T
    ThrowsBound
    The inference variable α appears in a throws clause.