public class BuilderObjectMaxCardinality extends BaseObjectBuilder<OWLObjectMaxCardinality,BuilderObjectMaxCardinality> implements SettableCardinality<BuilderObjectMaxCardinality>
| Constructor and Description |
|---|
BuilderObjectMaxCardinality(OWLDataFactory df) |
BuilderObjectMaxCardinality(OWLObjectMaxCardinality expected,
OWLDataFactory df)
Builder initialized from an existing object.
|
| Modifier and Type | Method and Description |
|---|---|
OWLObjectMaxCardinality |
buildObject() |
int |
getCardinality()
Gets the cardinality of a restriction.
|
BuilderObjectMaxCardinality |
withCardinality(int arg) |
getRange, withRangegetProperty, withPropertyapplyChanges, clearAnnotations, withAnnotation, withAnnotations, withAnnotationspublic BuilderObjectMaxCardinality(OWLObjectMaxCardinality expected, OWLDataFactory df)
expected - the existing objectdf - data factory@Inject public BuilderObjectMaxCardinality(OWLDataFactory df)
df - data factorypublic BuilderObjectMaxCardinality withCardinality(int arg)
withCardinality in interface SettableCardinality<BuilderObjectMaxCardinality>arg - cardinality to setpublic int getCardinality()
HasCardinalitygetCardinality in interface HasCardinalitypublic OWLObjectMaxCardinality buildObject()
buildObject in interface Builder<OWLObjectMaxCardinality>buildObject in class BaseBuilder<OWLObjectMaxCardinality,BuilderObjectMaxCardinality>Copyright © 2020 The University of Manchester. All rights reserved.