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

Packages that use DocumentExtensions.ExtInfo

oracle.ide.config

Contains classes encapsulating JDevelopers's environment settings.

Uses of DocumentExtensions.ExtInfo in oracle.ide.config

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

DocumentExtensions.ExtInfo	DocumentExtensions.DocRecord.addIdeExtension(java.lang.String extension) Associate the specified extension with the document type encapsulated in this DocRecord.
DocumentExtensions.ExtInfo	DocumentExtensions.DocRecord.addUserExtension(java.lang.String extension) Associate the specified extension with the document type encapsulated in this DocRecord.
DocumentExtensions.ExtInfo	DocumentExtensions.DocRecord.removeUserExtension(java.lang.String extension) Disassociate the specified extension from the document type encapsulated in this DocRecord.

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

protected void	DocumentExtensions.ExtInfo.copyToImpl(DocumentExtensions.ExtInfo copy)
protected boolean	DocumentExtensions.ExtInfo.equalsImpl(DocumentExtensions.ExtInfo other)