de.uka.ilkd.key.gui

Class ClassSelectionDialog.WrappedKJT

java.lang.Object

de.uka.ilkd.key.gui.ClassSelectionDialog.WrappedKJT

Enclosing class:

ClassSelectionDialog

private static class ClassSelectionDialog.WrappedKJT
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
KeYJavaType	kjt

Constructor Summary

Constructors

Constructor and Description
WrappedKJT(KeYJavaType kjt)

Method Summary

Modifier and Type	Method and Description
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

kjt

public final KeYJavaType kjt

Constructor Detail

WrappedKJT

public WrappedKJT(KeYJavaType kjt)

Method Detail

toString

public String toString()

Overrides:

toString in class Object