Skip navigation links

Uses of Class
oracle.ide.config.DocumentExtensions.DocRecord

Packages that use DocumentExtensions.DocRecord

oracle.ide.config

Contains classes encapsulating JDevelopers's environment settings.

Uses of DocumentExtensions.DocRecord in oracle.ide.config

Methods in oracle.ide.config that return DocumentExtensions.DocRecord

DocumentExtensions.DocRecord	DocumentExtensions.findDocumentFromExtension(java.lang.String ext)
DocumentExtensions.DocRecord[]	DocumentExtensions.getUserExtensionList()

Methods in oracle.ide.config with parameters of type DocumentExtensions.DocRecord

protected void	DocumentExtensions.DocRecord.copyToImpl(DocumentExtensions.DocRecord copy)
protected boolean	DocumentExtensions.DocRecord.equalsImpl(DocumentExtensions.DocRecord other)
void	DocumentExtensions.setUserExtensionList(DocumentExtensions.DocRecord[] records)

Skip navigation links