org.coode.parsers.oppl.testcase.protege

Class ProtegeOPPLTestCaseFactory

java.lang.Object

org.coode.parsers.oppl.testcase.protege.ProtegeOPPLTestCaseFactory

All Implemented Interfaces:

AbstractOPPLTestCaseFactory

public class ProtegeOPPLTestCaseFactory
extends Object
implements AbstractOPPLTestCaseFactory

Author:

Luigi Iannone

Constructor Summary

Constructors

Constructor and Description
ProtegeOPPLTestCaseFactory(org.protege.editor.owl.OWLEditorKit owlEditorKit)

Method Summary

Methods

Modifier and Type	Method and Description
OPPLTestCase	buildOPPLTestCase(String name, OPPLScript opplContent, List<? extends OPPLTest> tests, boolean requiresInference)
OPPLAbstractFactory	getOPPLFactory()
org.protege.editor.owl.OWLEditorKit	getOWLEditorKit()

Methods inherited from class java.lang.Object

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

Constructor Detail

ProtegeOPPLTestCaseFactory

public ProtegeOPPLTestCaseFactory(org.protege.editor.owl.OWLEditorKit owlEditorKit)

Parameters:

owlEditorKit - owlEditorKit

Method Detail

buildOPPLTestCase

public OPPLTestCase buildOPPLTestCase(String name,
                             OPPLScript opplContent,
                             List<? extends OPPLTest> tests,
                             boolean requiresInference)

Specified by:

buildOPPLTestCase in interface AbstractOPPLTestCaseFactory

getOPPLFactory

public OPPLAbstractFactory getOPPLFactory()

Specified by:

getOPPLFactory in interface AbstractOPPLTestCaseFactory

getOWLEditorKit

public org.protege.editor.owl.OWLEditorKit getOWLEditorKit()

Returns:

the owlEditorKit