org.semanticweb.owlapitools.builders

Class BuilderComplementOf

java.lang.Object

org.semanticweb.owlapitools.builders.BaseBuilder<org.semanticweb.owlapi.model.OWLObjectComplementOf,BuilderComplementOf>

org.semanticweb.owlapitools.builders.BuilderComplementOf

All Implemented Interfaces:

Builder<org.semanticweb.owlapi.model.OWLObjectComplementOf>

public class BuilderComplementOf
extends BaseBuilder<org.semanticweb.owlapi.model.OWLObjectComplementOf,BuilderComplementOf>

Builder class for OWLObjectComplementOf

Field Summary

Fields inherited from class org.semanticweb.owlapitools.builders.BaseBuilder

annotations, df

Constructor Summary

Constructors

Constructor and Description
BuilderComplementOf() uninitialized builder
BuilderComplementOf(org.semanticweb.owlapi.model.OWLObjectComplementOf expected) builder initialized from an existing object

Method Summary

Modifier and Type	Method and Description
org.semanticweb.owlapi.model.OWLObjectComplementOf	buildObject()
BuilderComplementOf	withClass(org.semanticweb.owlapi.model.OWLClassExpression arg)

Methods inherited from class org.semanticweb.owlapitools.builders.BaseBuilder

buildChanges, withAnnotation, withAnnotations

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

BuilderComplementOf

public BuilderComplementOf()

uninitialized builder

BuilderComplementOf

public BuilderComplementOf(org.semanticweb.owlapi.model.OWLObjectComplementOf expected)

builder initialized from an existing object

Parameters:

expected - the existing object

Method Detail

withClass

public BuilderComplementOf withClass(org.semanticweb.owlapi.model.OWLClassExpression arg)

Parameters:

arg - class expression

Returns:

builder

buildObject

public org.semanticweb.owlapi.model.OWLObjectComplementOf buildObject()

Specified by:

buildObject in interface Builder<org.semanticweb.owlapi.model.OWLObjectComplementOf>

Specified by:

buildObject in class BaseBuilder<org.semanticweb.owlapi.model.OWLObjectComplementOf,BuilderComplementOf>

Returns:

freshly built object