org.coode.patterns

Class PatternReference<O extends org.semanticweb.owlapi.model.OWLObject>

java.lang.Object

org.coode.patterns.PatternReference<O>

Type Parameters:

O - type

All Implemented Interfaces:

OPPLFunction<O>, Renderable

public class PatternReference<O extends org.semanticweb.owlapi.model.OWLObject>
extends Object
implements OPPLFunction<O>

Author:

Luigi Iannone Jun 25, 2008

Field Summary

Fields

Modifier and Type	Field and Description
protected ErrorListener	errorListener
protected RuntimeExceptionHandler	runtimeExceptionHandler

Constructor Summary

Constructors

Constructor and Description
PatternReference(String patternName, PatternConstraintSystem constraintSystem, Collection<? extends String> visitedPatterns, ErrorListener errorListener, List<Object>... args)
PatternReference(String patternName, PatternConstraintSystem constraintSystem, ErrorListener errorListener, List<Object>... args)

Method Summary

Methods

Modifier and Type	Method and Description
void	accept(OPPLFunctionVisitor visitor)
<P> P	accept(OPPLFunctionVisitorEx<P> visitor)
protected void	checkCompatibility(List<Object>... args)
O	compute(ValueComputationParameters params)
protected List<List<Object>>	computeReplacements(List<Object>... args)
List<Object>[]	getArguments()
PatternConstraintSystem	getConstraintSystem()
ErrorListener	getErrorListener()
PatternModel	getExtractedPattern()
InstantiatedPatternModel	getInstantiation(RuntimeExceptionHandler handler)
PatternConstraintSystem	getPatternConstraintSystem()
String	getPatternName()
List<org.semanticweb.owlapi.model.OWLObject>	getResolution()
protected Set<org.semanticweb.owlapi.model.OWLAnnotation>	getVisitedAnnotations()
protected boolean	hasBeenVisited(org.semanticweb.owlapi.model.OWLEntity e)
protected void	init(List<Object>... args)
boolean	isResolvable()
protected boolean	isResolvable(List<Object>... args)
String	render(ConstraintSystem constraintSystem)
String	render(org.semanticweb.owlapi.util.ShortFormProvider shortFormProvider)
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

errorListener

protected final ErrorListener errorListener

runtimeExceptionHandler

protected final RuntimeExceptionHandler runtimeExceptionHandler

Constructor Detail

PatternReference

public PatternReference(String patternName,
                PatternConstraintSystem constraintSystem,
                ErrorListener errorListener,
                List<Object>... args)
                 throws PatternException

Parameters:

patternName - patternName

constraintSystem - constraintSystem

errorListener - errorListener

args - args

Throws:

PatternException - PatternException

PatternReference

public PatternReference(String patternName,
                PatternConstraintSystem constraintSystem,
                Collection<? extends String> visitedPatterns,
                ErrorListener errorListener,
                List<Object>... args)
                 throws PatternException

Parameters:

patternName - patternName

constraintSystem - constraintSystem

visitedPatterns - visitedPatterns

errorListener - errorListener

args - args

Throws:

PatternException - PatternException

Method Detail

init

protected void init(List<Object>... args)
             throws PatternException

Throws:

PatternException

computeReplacements

protected List<List<Object>> computeReplacements(List<Object>... args)

Parameters:

args - args

Returns:

replacements

isResolvable

protected boolean isResolvable(List<Object>... args)

Parameters:

args - args

Returns:

true if resolvable

checkCompatibility

protected void checkCompatibility(List<Object>... args)
                           throws PatternException,
                                  IncompatibleArgumentException,
                                  InvalidNumebrOfArgumentException

Parameters:

args - args

Throws:

PatternException - PatternException

IncompatibleArgumentException - IncompatibleArgumentException

InvalidNumebrOfArgumentException - InvalidNumebrOfArgumentException

isResolvable

public boolean isResolvable()

Returns:

the resolvable

getResolution

public List<org.semanticweb.owlapi.model.OWLObject> getResolution()
                                                           throws PatternException

Returns:

the resolution

Throws:

PatternException - PatternException

hasBeenVisited

protected boolean hasBeenVisited(org.semanticweb.owlapi.model.OWLEntity e)

getVisitedAnnotations

protected Set<org.semanticweb.owlapi.model.OWLAnnotation> getVisitedAnnotations()

getInstantiation

public InstantiatedPatternModel getInstantiation(RuntimeExceptionHandler handler)
                                          throws PatternException

Parameters:

handler - handler

Returns:

instantiation

Throws:

PatternException - PatternException

getExtractedPattern

public PatternModel getExtractedPattern()

Returns:

the extractedPattern

toString

public String toString()

Overrides:

toString in class Object

getPatternName

public String getPatternName()

Returns:

pattern name

getArguments

public List<Object>[] getArguments()

Returns:

the arguments

getConstraintSystem

public PatternConstraintSystem getConstraintSystem()

Returns:

the patternConstraintSystem

getPatternConstraintSystem

public PatternConstraintSystem getPatternConstraintSystem()

Returns:

the patternConstraintSystem

getErrorListener

public ErrorListener getErrorListener()

Returns:

the errorListener

render

public String render(ConstraintSystem constraintSystem)

Specified by:

render in interface Renderable

render

public String render(org.semanticweb.owlapi.util.ShortFormProvider shortFormProvider)

Specified by:

render in interface OPPLFunction<O extends org.semanticweb.owlapi.model.OWLObject>

compute

public O compute(ValueComputationParameters params)

Specified by:

compute in interface OPPLFunction<O extends org.semanticweb.owlapi.model.OWLObject>

accept

public void accept(OPPLFunctionVisitor visitor)

Specified by:

accept in interface OPPLFunction<O extends org.semanticweb.owlapi.model.OWLObject>

accept

public <P> P accept(OPPLFunctionVisitorEx<P> visitor)

Specified by:

accept in interface OPPLFunction<O extends org.semanticweb.owlapi.model.OWLObject>