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, withRange
getProperty, withProperty
applyChanges, clearAnnotations, withAnnotation, withAnnotations, withAnnotations
public 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()
HasCardinality
getCardinality
in interface HasCardinality
public OWLObjectMaxCardinality buildObject()
buildObject
in interface Builder<OWLObjectMaxCardinality>
buildObject
in class BaseBuilder<OWLObjectMaxCardinality,BuilderObjectMaxCardinality>
Copyright © 2020 The University of Manchester. All rights reserved.