Protege 4.1.0

org.protege.editor.owl.ui.clsdescriptioneditor
Class ExpressionEditorPreferences

java.lang.Object
  extended by org.protege.editor.owl.ui.clsdescriptioneditor.ExpressionEditorPreferences

public class ExpressionEditorPreferences
extends Object

Author: drummond
http://www.cs.man.ac.uk/~drummond/

The University Of Manchester
Bio Health Informatics Group
Date: Nov 21, 2008


Field Summary
static String CHECK_DELAY_KEY
           
static String PREFERENCES_KEY
           
static String USE_EXPRESSION_COMPLETION_KEY
           
 
Method Summary
 int getCheckDelay()
           
static ExpressionEditorPreferences getInstance()
           
 boolean isUseExpressionCompletion()
           
 void setCheckDelay(int checkDelay)
           
 void setUseExpressionCompletion(boolean useExpressionCompletion)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

PREFERENCES_KEY

public static final String PREFERENCES_KEY
See Also:
Constant Field Values

USE_EXPRESSION_COMPLETION_KEY

public static final String USE_EXPRESSION_COMPLETION_KEY
See Also:
Constant Field Values

CHECK_DELAY_KEY

public static final String CHECK_DELAY_KEY
See Also:
Constant Field Values
Method Detail

isUseExpressionCompletion

public boolean isUseExpressionCompletion()

setUseExpressionCompletion

public void setUseExpressionCompletion(boolean useExpressionCompletion)

getCheckDelay

public int getCheckDelay()

setCheckDelay

public void setCheckDelay(int checkDelay)

getInstance

public static ExpressionEditorPreferences getInstance()

Protege 4.1.0

Submit a bug report or feature request

For further API reference and developer documentation, see Protege 4 Developer Documentation.

Copyright © 2010 Stanford Center for Biomedical Informatics Research