Package org.semanticweb.owlapitools.builders

Class BuilderObjectMaxCardinality

java.lang.Object

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

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

org.semanticweb.owlapitools.builders.BaseObjectBuilder<OWLObjectMaxCardinality,BuilderObjectMaxCardinality>

org.semanticweb.owlapitools.builders.BuilderObjectMaxCardinality

All Implemented Interfaces:

HasCardinality, HasProperty<OWLObjectPropertyExpression>, HasRange<OWLClassExpression>, Builder<OWLObjectMaxCardinality>, SettableCardinality<BuilderObjectMaxCardinality>, SettableProperty<OWLObjectPropertyExpression,BuilderObjectMaxCardinality>, SettableRange<OWLClassExpression,BuilderObjectMaxCardinality>

public class BuilderObjectMaxCardinality
extends BaseObjectBuilder<OWLObjectMaxCardinality,BuilderObjectMaxCardinality>
implements SettableCardinality<BuilderObjectMaxCardinality>

Builder class for OWLObjectMaxCardinality.

Constructor Summary

Constructors

Constructor	Description
BuilderObjectMaxCardinality(OWLDataFactory df)
BuilderObjectMaxCardinality(OWLObjectMaxCardinality expected, OWLDataFactory df)	Builder initialized from an existing object.

Method Summary

Modifier and Type	Method	Description
OWLObjectMaxCardinality	buildObject()
int	getCardinality()	Gets the cardinality of a restriction.
BuilderObjectMaxCardinality	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

BuilderObjectMaxCardinality

public BuilderObjectMaxCardinality(OWLObjectMaxCardinality expected,
 OWLDataFactory df)

Builder initialized from an existing object.

Parameters:

expected - the existing object

df - data factory

BuilderObjectMaxCardinality

@Inject
public BuilderObjectMaxCardinality(OWLDataFactory df)

Parameters:

df - data factory

Method Details

withCardinality

public BuilderObjectMaxCardinality withCardinality(int arg)

Specified by:

withCardinality in interface SettableCardinality<BuilderObjectMaxCardinality>

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 OWLObjectMaxCardinality buildObject()

Specified by:

buildObject in interface Builder<OWLObjectMaxCardinality>

Specified by:

buildObject in class BaseBuilder<OWLObjectMaxCardinality,BuilderObjectMaxCardinality>

Returns:

freshly built object