|
Extension SDK 10.1.2 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
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.getUserExtensionList() |
DocumentExtensions.DocRecord |
DocumentExtensions.findDocumentFromExtension(java.lang.String ext) |
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) |
|
Extension SDK | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Copyright © 1997, 2004, Oracle. All rights reserved.