org.coode.oppl

Class PropertyVariableScope<P extends org.semanticweb.owlapi.model.OWLPropertyExpression<?,?>>

java.lang.Object

org.coode.oppl.AbstractVariableScope<P>

org.coode.oppl.PropertyVariableScope<P>

Type Parameters:

P - type

All Implemented Interfaces:

Renderable, VariableScope<P>

Direct Known Subclasses:

SubPropertyVariableScope, SuperPropertyVariableScope

public abstract class PropertyVariableScope<P extends org.semanticweb.owlapi.model.OWLPropertyExpression<?,?>>
extends AbstractVariableScope<P>
implements VariableScope<P>

Represents a range limitations that could be added to a GeneratedVariable instance with OBJECTPROpERTY or DATAPROPERTY VariableType

Author:

Luigi Iannone

Method Summary

Modifier and Type	Method and Description
P	getProperty()
P	getScopingObject()
String	render(ConstraintSystem constraintSystem)

Methods inherited from class org.coode.oppl.AbstractVariableScope

getChecker

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.coode.oppl.VariableScope

check, getDirection

Method Detail

getProperty

public P getProperty()

Returns:

the property

getScopingObject

public P getScopingObject()

Specified by:

getScopingObject in interface VariableScope<P extends org.semanticweb.owlapi.model.OWLPropertyExpression<?,?>>

Returns:

the scope delimiter for the VariableScope

render

public String render(ConstraintSystem constraintSystem)

Specified by:

render in interface Renderable

Parameters:

constraintSystem - constraintSystem

Returns:

rendering