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