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.
|
getTextModel
addDocumentListener, close, equals, getDisplayInfo, getElementImpl, getReader, getTimestamp, getURI, hashCode, isDirty, isNew, isOpen, isReadOnly, markDirty, open, removeDocumentListener, save, setDisplayInfo, setURI
getIcon, getLabel, getLongLabel, getToolTip
public 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.