public final class JavaSource extends TextDocument
JavaSource class.| Constructor and Description |
|---|
JavaSource() |
| Modifier and Type | Method and Description |
|---|---|
ClassD |
getClass(Project project)
Fetches a ClassD for the given fully qualified name in source format,
null if none.
|
getTextModeladdDocumentListener, close, equals, getDisplayInfo, getElementImpl, getReader, getTimestamp, getURI, hashCode, isDirty, isNew, isOpen, isReadOnly, markDirty, open, removeDocumentListener, save, setDisplayInfo, setURIgetIcon, getLabel, getLongLabel, getToolTippublic final ClassD getClass(Project project) throws java.io.IOException
void return type, array type, or class type. If multiple sources of class information are available, the most up-to-date one is returned. For example, suppose we have both a class file C.class and a source file C.java that both provide class information for a class C. If C.class has a more recent timestamp than C.java, then a ClassD built from C.class should be returned.
project - The project used to resolve class.java.io.IOException - If the document cannot be opened.