org.coode.oppl

Class ChangeExtractor

java.lang.Object

org.coode.oppl.ChangeExtractor

public class ChangeExtractor
extends Object

Returns the changes that will occur if the visited OPPL construct is executed

Author:

Luigi Iannone

Constructor Summary

Constructors

Constructor and Description
ChangeExtractor(RuntimeExceptionHandler runtimeExceptionHandler, boolean considerImportClosure)
ChangeExtractor(RuntimeExceptionHandler runtimeExceptionHandler, ExecutionMonitor executionMonitor, boolean considerImportClosure)

Method Summary

Modifier and Type	Method and Description
ExecutionMonitor	getExecutionMonitor()
RuntimeExceptionHandler	getRuntimeExceptionHandler()
List<org.semanticweb.owlapi.model.OWLAxiomChange>	visit(OPPLScript script)

Methods inherited from class java.lang.Object

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

Constructor Detail

ChangeExtractor

public ChangeExtractor(RuntimeExceptionHandler runtimeExceptionHandler,
                       boolean considerImportClosure)

Parameters:

runtimeExceptionHandler - runtimeExceptionHandler

considerImportClosure - considerImportClosure

ChangeExtractor

public ChangeExtractor(RuntimeExceptionHandler runtimeExceptionHandler,
                       ExecutionMonitor executionMonitor,
                       boolean considerImportClosure)

Parameters:

runtimeExceptionHandler - runtimeExceptionHandler

executionMonitor - executionMonitor

considerImportClosure - considerImportClosure

Method Detail

visit

public List<org.semanticweb.owlapi.model.OWLAxiomChange> visit(OPPLScript script)

Parameters:

script - script

Returns:

changes

getRuntimeExceptionHandler

public RuntimeExceptionHandler getRuntimeExceptionHandler()

Returns:

the runtimeExceptionHandler

getExecutionMonitor

public ExecutionMonitor getExecutionMonitor()

Returns:

the executionMonitor