タイプのプロパティを評価するためのEclipseインタラクティブなデバッグツールはありますか？

Question

私はかなり複雑なタイプの階層を持ち、難しいタイプのエラーに遭遇することがあります。タイプ要件が満たされているかどうかを調べるためのツールがあるかどうか疑問に思っています。例えば

私は、次の種類がある場合：

class ShapeTypeDebugging { 
    interface Shape {} 
    interface CanRoll {} 
    interface ShapeRoller<T extends CanRoll & Shape> { 
     void Roll(T t); 
    } 
    interface Circle extends Shape, CanRoll {} 
    interface HasThreeDimensions {} 
    interface ThreeDimensionalShape extends Shape, HasThreeDimensions {} 
    interface Sphere extends ThreeDimensionalShape {} // Oops, forgot Spheres CanRoll 
    interface SphereRoller extends ShapeRoller<Sphere> { 
     @Override void Roll(Sphere sphere); 
    } 
} 

をSphereRollerインタフェースはコンパイルエラーが発生します。 Bound mismatch: The type Sphere is not a valid substitute for the bounded parameter <T extends CanRoll & Shape> of the type ShapeRoller<T>

スフィアinstanceof CanSpinのようなタイプのプロパティを問い合わせることができれば、それは私が実現役立つだろうが私はCanSpin属性をSphereに追加するのを忘れていました。

これは、アプリケーションが正しく構築されて実行された後、型エラーが解決されなければ、デバッガの式ビューではおそらく可能です。

このようなコンパイル時の照会を可能にするEclipseのツールやアドオンはありますか？

Answer 1

関連するタイプ階層全体を表示するには、必要なタイプを選択してF4（「ナビゲート - オープンタイプ階層」）をクリックします。私が正しいことを得れば、目標を達成するためにランタイム評価は必要ありません。