Package org.semanticweb.owlapitools.builders

Class BuilderObjectExactCardinality

java.lang.Object

org.semanticweb.owlapitools.builders.BaseBuilder<T,B>

org.semanticweb.owlapitools.builders.BaseObjectPropertyBuilder<T,B>

org.semanticweb.owlapitools.builders.BaseObjectBuilder<OWLObjectExactCardinality,BuilderObjectExactCardinality>

org.semanticweb.owlapitools.builders.BuilderObjectExactCardinality

All Implemented Interfaces:

HasCardinality, HasProperty<OWLObjectPropertyExpression>, HasRange<OWLClassExpression>, Builder<OWLObjectExactCardinality>, SettableCardinality<BuilderObjectExactCardinality>, SettableProperty<OWLObjectPropertyExpression,BuilderObjectExactCardinality>, SettableRange<OWLClassExpression,BuilderObjectExactCardinality>

public class BuilderObjectExactCardinality
extends BaseObjectBuilder<OWLObjectExactCardinality,BuilderObjectExactCardinality>
implements SettableCardinality<BuilderObjectExactCardinality>

Builder class for OWLObjectExactCardinality.

Constructor Summary

Constructors

Constructor	Description
BuilderObjectExactCardinality(OWLDataFactory df)
BuilderObjectExactCardinality(OWLObjectExactCardinality expected, OWLDataFactory df)	Builder initialized from an existing object.

Method Summary

Modifier and Type	Method	Description
OWLObjectExactCardinality	buildObject()
int	getCardinality()	Gets the cardinality of a restriction.
BuilderObjectExactCardinality	withCardinality(int arg)

Methods inherited from class org.semanticweb.owlapitools.builders.BaseObjectBuilder

getRange, withRange

Methods inherited from class org.semanticweb.owlapitools.builders.BaseObjectPropertyBuilder

getProperty, withProperty

Methods inherited from class org.semanticweb.owlapitools.builders.BaseBuilder

applyChanges, clearAnnotations, withAnnotation, withAnnotations, withAnnotations

Methods inherited from class java.lang.Object

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

Constructor Details

BuilderObjectExactCardinality

public BuilderObjectExactCardinality(OWLObjectExactCardinality expected,
 OWLDataFactory df)

Builder initialized from an existing object.

Parameters:

expected - the existing object

df - data factory

BuilderObjectExactCardinality

@Inject
public BuilderObjectExactCardinality(OWLDataFactory df)

Parameters:

df - data factory

Method Details

withCardinality

public BuilderObjectExactCardinality withCardinality(int arg)

Specified by:

withCardinality in interface SettableCardinality<BuilderObjectExactCardinality>

Parameters:

arg - cardinality to set

Returns:

builder

getCardinality

public int getCardinality()

Description copied from interface: HasCardinality

Gets the cardinality of a restriction.

Specified by:

getCardinality in interface HasCardinality

Returns:

The cardinality. A non-negative integer.

buildObject

public OWLObjectExactCardinality buildObject()

Specified by:

buildObject in interface Builder<OWLObjectExactCardinality>

Specified by:

buildObject in class BaseBuilder<OWLObjectExactCardinality,BuilderObjectExactCardinality>

Returns:

freshly built object