it.unibz.inf.ontop.protege.core

Class DisposableOBDAPreferences

java.lang.Object

java.util.Dictionary<K,V>

java.util.Hashtable<Object,Object>

java.util.Properties

it.unibz.inf.ontop.protege.core.DisposableOBDAPreferences

All Implemented Interfaces:

Serializable, Cloneable, Map<Object,Object>, org.protege.editor.core.Disposable

public class DisposableOBDAPreferences
extends Properties
implements org.protege.editor.core.Disposable

TODO: Guohui Xiao (2016-01-10) Check if this class and it related classes are really needed or not Old class. TODO: see if it worth being synchronized by new-style OBDAProperties.

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
static String	ADD_MAPPING
int	body_maxHeight
int	body_maxWight
int	body_minHeight
int	body_minWight
static String	CLASS_COLOR
static String	DATAPROPERTY_COLOR
static String	DELETE_MAPPING
static String	EDIT_BODY
static String	EDIT_HEAD
static String	EDIT_ID
Font	font
static String	FUCNTOR_COLOR
int	head_maxHeight
int	head_maxWight
int	head_minHeight
int	head_minWight
static String	JODS_RESULTSET_FETCHSIZE
static String	MAPPING_BODY_COLOR
static String	MAPPING_ID_COLOR
static String	OBDAPREFS_FONTFAMILY
static String	OBDAPREFS_FONTSIZE
static String	OBDAPREFS_ISBOLD
static String	OBJECTPROPTERTY_COLOR
static String	PARAMETER_COLOR
static String	RESULTSET_OPTION
int	size
int	style
String	type
static String	USE_DEAFAULT
static String	VARIABLE_COLOR

Fields inherited from class java.util.Properties

defaults

Constructor Summary

Constructors

Constructor and Description
DisposableOBDAPreferences()

Method Summary

Modifier and Type	Method and Description
void	dispose()
String	getOBDAPreference(String key)
List<String>	getOBDAPreferenceKeys()
Object	put(Object key, Object value)
void	putAll(Map<? extends Object,? extends Object> t)
void	registerPreferenceChangedListener(OBDAPreferenceChangeListener li)
void	removePreferenceChangedListener(OBDAPreferenceChangeListener li)
Object	setProperty(String key, String value)

Methods inherited from class java.util.Properties

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

Methods inherited from class java.util.Hashtable

clear, clone, compute, computeIfAbsent, computeIfPresent, contains, containsKey, containsValue, elements, entrySet, equals, forEach, get, getOrDefault, hashCode, isEmpty, keys, keySet, merge, putIfAbsent, rehash, remove, remove, replace, replace, replaceAll, size, toString, values

Methods inherited from class java.lang.Object

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

Field Detail

RESULTSET_OPTION

public static final String RESULTSET_OPTION

See Also:

Constant Field Values

JODS_RESULTSET_FETCHSIZE

public static final String JODS_RESULTSET_FETCHSIZE

See Also:

Constant Field Values

CLASS_COLOR

public static final String CLASS_COLOR

See Also:

Constant Field Values

DATAPROPERTY_COLOR

public static final String DATAPROPERTY_COLOR

See Also:

Constant Field Values

VARIABLE_COLOR

public static final String VARIABLE_COLOR

See Also:

Constant Field Values

PARAMETER_COLOR

public static final String PARAMETER_COLOR

See Also:

Constant Field Values

FUCNTOR_COLOR

public static final String FUCNTOR_COLOR

See Also:

Constant Field Values

MAPPING_BODY_COLOR

public static final String MAPPING_BODY_COLOR

See Also:

Constant Field Values

MAPPING_ID_COLOR

public static final String MAPPING_ID_COLOR

See Also:

Constant Field Values

OBJECTPROPTERTY_COLOR

public static final String OBJECTPROPTERTY_COLOR

See Also:

Constant Field Values

OBDAPREFS_FONTFAMILY

public static final String OBDAPREFS_FONTFAMILY

See Also:

Constant Field Values

OBDAPREFS_FONTSIZE

public static final String OBDAPREFS_FONTSIZE

See Also:

Constant Field Values

OBDAPREFS_ISBOLD

public static final String OBDAPREFS_ISBOLD

See Also:

Constant Field Values

ADD_MAPPING

public static final String ADD_MAPPING

See Also:

Constant Field Values

DELETE_MAPPING

public static final String DELETE_MAPPING

See Also:

Constant Field Values

EDIT_HEAD

public static final String EDIT_HEAD

See Also:

Constant Field Values

EDIT_BODY

public static final String EDIT_BODY

See Also:

Constant Field Values

EDIT_ID

public static final String EDIT_ID

See Also:

Constant Field Values

USE_DEAFAULT

public static final String USE_DEAFAULT

See Also:

Constant Field Values

size

public int size

style

public int style

type

public String type

font

public Font font

body_maxWight

public int body_maxWight

body_maxHeight

public int body_maxHeight

body_minWight

public int body_minWight

body_minHeight

public int body_minHeight

head_maxWight

public int head_maxWight

head_maxHeight

public int head_maxHeight

head_minWight

public int head_minWight

head_minHeight

public int head_minHeight

Constructor Detail

DisposableOBDAPreferences

public DisposableOBDAPreferences()

Method Detail

getOBDAPreference

public String getOBDAPreference(String key)

setProperty

public Object setProperty(String key,
                          String value)

Overrides:

setProperty in class Properties

put

public Object put(Object key,
                  Object value)

Specified by:

put in interface Map<Object,Object>

Overrides:

put in class Hashtable<Object,Object>

putAll

public void putAll(Map<? extends Object,? extends Object> t)

Specified by:

putAll in interface Map<Object,Object>

Overrides:

putAll in class Hashtable<Object,Object>

registerPreferenceChangedListener

public void registerPreferenceChangedListener(OBDAPreferenceChangeListener li)

removePreferenceChangedListener

public void removePreferenceChangedListener(OBDAPreferenceChangeListener li)

getOBDAPreferenceKeys

public List<String> getOBDAPreferenceKeys()

dispose

public void dispose()
             throws Exception

Specified by:

dispose in interface org.protege.editor.core.Disposable

Throws:

Exception