| Package | Description | 
|---|---|
| oracle.ide.config | 
 Contains classes encapsulating JDevelopers's environment settings. 
 | 
| Modifier and Type | Method and Description | 
|---|---|
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. | 
| Modifier and Type | Method and Description | 
|---|---|
protected void | 
DocumentExtensions.ExtInfo.copyToImpl(DocumentExtensions.ExtInfo copy)  | 
protected boolean | 
DocumentExtensions.ExtInfo.equalsImpl(DocumentExtensions.ExtInfo other)  |