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.