org.coode.oppl.variablemansyntax

Class ProtegeScopeVariableChecker

java.lang.Object

org.coode.oppl.VariableScopeChecker

org.coode.oppl.variablemansyntax.ProtegeScopeVariableChecker

public class ProtegeScopeVariableChecker
extends VariableScopeChecker

Author:

Luigi Iannone

Constructor Summary

Constructors

Constructor and Description
ProtegeScopeVariableChecker(org.protege.editor.owl.model.OWLModelManager manager)

Method Summary

Methods inherited from class org.coode.oppl.VariableScopeChecker

check, check, check, getOntologyManager, getReasoner

Methods inherited from class java.lang.Object

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

Constructor Detail

ProtegeScopeVariableChecker

public ProtegeScopeVariableChecker(org.protege.editor.owl.model.OWLModelManager manager)
                            throws OPPLException

Parameters:

manager - manager

Throws:

OPPLException - OPPLException