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)