org.coode.patterns.protege.ui

Class PatternReferenceExpressionChecker

java.lang.Object

org.coode.patterns.protege.ui.PatternReferenceExpressionChecker

All Implemented Interfaces:

org.protege.editor.owl.ui.clsdescriptioneditor.OWLExpressionChecker<InstantiatedPatternModel>

public class PatternReferenceExpressionChecker
extends Object
implements org.protege.editor.owl.ui.clsdescriptioneditor.OWLExpressionChecker<InstantiatedPatternModel>

Author:

Luigi Iannone Nov 17, 2008

Constructor Summary

Constructors

Constructor and Description
PatternReferenceExpressionChecker(org.protege.editor.owl.OWLEditorKit owlEditorKit, RuntimeExceptionHandler handler)

Method Summary

Methods

Modifier and Type	Method and Description
void	check(String text)
InstantiatedPatternModel	createObject(String text)
RuntimeExceptionHandler	getHandler()

Methods inherited from class java.lang.Object

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

Constructor Detail

PatternReferenceExpressionChecker

public PatternReferenceExpressionChecker(org.protege.editor.owl.OWLEditorKit owlEditorKit,
                                 RuntimeExceptionHandler handler)

Parameters:

owlEditorKit - owlEditorKit

handler - handler

Method Detail

check

public void check(String text)
           throws org.protege.editor.owl.model.classexpression.OWLExpressionParserException

Specified by:

check in interface org.protege.editor.owl.ui.clsdescriptioneditor.OWLExpressionChecker<InstantiatedPatternModel>

Throws:

org.protege.editor.owl.model.classexpression.OWLExpressionParserException

createObject

public InstantiatedPatternModel createObject(String text)
                                      throws org.protege.editor.owl.model.classexpression.OWLExpressionParserException

Specified by:

createObject in interface org.protege.editor.owl.ui.clsdescriptioneditor.OWLExpressionChecker<InstantiatedPatternModel>

Throws:

org.protege.editor.owl.model.classexpression.OWLExpressionParserException

getHandler

public RuntimeExceptionHandler getHandler()

Returns:

the handler