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) |