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