Skip navigation links

oracle.ide
Class IdeRunStatus

java.lang.Object
java.util.Dictionary<K,V>
java.util.Hashtable<java.lang.Object,java.lang.Object>
java.util.Properties
oracle.ide.IdeRunStatus

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, java.util.Map<java.lang.Object,java.lang.Object>

public class IdeRunStatus

extends java.util.Properties

This class encapsulates the persistence of initialization of extensions and the copying of extension data between runs or executions of any particular version of the ide. The persistance is file based and this file should never be migrated or modified by the user.

See Also:

Serialized Form

Field Summary

Fields inherited from class java.util.Properties

defaults

Method Summary

static IdeRunStatus	getInstance()
java.lang.String	getPreviousMigrationSource() Retrievs the previous migration source URL.
java.lang.String	getUserMigrationChoice() retrieves the previous run user migration choice
boolean	isExtensionDataCopied(Extension e, java.lang.String path) return true if the data were already copyied for an extension and path entry.
boolean	isExtensionMigratorExecuted(Extension e, java.lang.String migrator) This methods returns the state of the migrator execution between subsequent runs of the IDE.
boolean	migrationAttemptedOnce()
void	setExtensionDataCopied(Extension e, java.lang.String path) Sets the copying status of the extension data in terms of path as given in the declaration of the extension.
void	setExtensionMigratorExecuted(Extension e, java.lang.String migrator) This method sets the stauts of migrator execution for any particular extension and its migrator.
void	setMigrationAttemptedOnce()
void	setPreviousMigrationSource(java.lang.String value) Saves the user selection for migration source.
void	setUserMigrationChoice(java.lang.String value) Save the user selection for migration for ondemand initialization

Methods inherited from class java.util.Properties

getProperty, getProperty, list, list, load, load, loadFromXML, propertyNames, save, setProperty, store, store, storeToXML, storeToXML, stringPropertyNames

Methods inherited from class java.util.Hashtable

clear, clone, contains, containsKey, containsValue, elements, entrySet, equals, get, hashCode, isEmpty, keys, keySet, put, putAll, rehash, remove, size, toString, values

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Method Detail

getInstance

public static IdeRunStatus getInstance()

setExtensionMigratorExecuted

public void setExtensionMigratorExecuted(Extension e,
                                         java.lang.String migrator)

This method sets the stauts of migrator execution for any particular extension and its migrator.

Parameters:

e - The extension

migrator - the String classname of the migrator.

isExtensionMigratorExecuted

public boolean isExtensionMigratorExecuted(Extension e,
                                           java.lang.String migrator)

This methods returns the state of the migrator execution between subsequent runs of the IDE. If this method returns true then migrators should not be called as they may overwrite user modifications of the settings.

Parameters:

e -

migrator -

Returns:

true if migrator was executed

setExtensionDataCopied

public void setExtensionDataCopied(Extension e,
                                   java.lang.String path)

Sets the copying status of the extension data in terms of path as given in the declaration of the extension.

Parameters:

e -

path -

isExtensionDataCopied

public boolean isExtensionDataCopied(Extension e,
                                     java.lang.String path)

return true if the data were already copyied for an extension and path entry. Calling copy if this method returns true may overwrite changes made during the run.

Parameters:

e -

path -

Returns:

true if datacopying had been attempted.

setUserMigrationChoice

public void setUserMigrationChoice(java.lang.String value)

Save the user selection for migration for ondemand initialization

Parameters:

value -

setPreviousMigrationSource

public void setPreviousMigrationSource(java.lang.String value)

Saves the user selection for migration source. the same directory can thus be used for on-demand migration.

Parameters:

value -

getUserMigrationChoice

public java.lang.String getUserMigrationChoice()

retrieves the previous run user migration choice

Returns:

string value "true" , or false. etc. Note that the return value as well as the save value are strings and not booleans as more complex migration choices can be saved using a string.

getPreviousMigrationSource

public java.lang.String getPreviousMigrationSource()

Retrievs the previous migration source URL. this can be used later for ondemand migration.

Returns:

absolute path for previous migration source

setMigrationAttemptedOnce

public void setMigrationAttemptedOnce()

migrationAttemptedOnce

public boolean migrationAttemptedOnce()

Skip navigation links