oracle.ide.ceditor
Class CodeEditorMigrator

java.lang.Object
  oracle.ide.migration.ExtensionMigrator
      oracle.ide.ceditor.CodeEditorMigrator

All Implemented Interfaces:

Migrator

public class CodeEditorMigrator

extends ExtensionMigrator

The CodeEditorMigrator migrates the code editor's options from IdeSettings over to ClientSettings.

Field Summary

Fields inherited from class oracle.ide.migration.ExtensionMigrator

isSelected, SETTINGS

Fields inherited from interface oracle.ide.migration.Migrator

JDEV_HOME_DIR, SYSTEM_DIR

Constructor Summary

CodeEditorMigrator()

Method Summary

protected java.lang.String	getExtensionID() Our extension ID we store settings with.
protected java.util.List	getSettingKeys() Fetches the key settings that should be migrated to ClientSettings.

Methods inherited from class oracle.ide.migration.ExtensionMigrator

canMigrate, getDescription, getDestFile, getMigrationCategories, getSourceFile, isSelected, migrate, setSelected

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CodeEditorMigrator

public CodeEditorMigrator()

Method Detail

getExtensionID

protected java.lang.String getExtensionID()

Our extension ID we store settings with.

Specified by:

getExtensionID in class ExtensionMigrator

Returns:

an extension ID.

getSettingKeys

protected java.util.List getSettingKeys()

Fetches the key settings that should be migrated to ClientSettings.

Specified by:

getSettingKeys in class ExtensionMigrator

Returns:

a list of String keys.