/*
* Licensed to the Apache Software Foundation (ASF) under one
* or more contributor license agreements. See the NOTICE file
* distributed with this work for additional information
* regarding copyright ownership. The ASF licenses this file
* to you under the Apache License, Version 2.0 (the
* "License"); you may not use this file except in compliance
* with the License. You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
// Package
///////////////
package org.apache.jena.ontology.impl;
// Imports
///////////////
import java.util.Iterator;
import org.apache.jena.enhanced.* ;
import org.apache.jena.graph.* ;
import org.apache.jena.ontology.* ;
import org.apache.jena.rdf.model.* ;
import org.apache.jena.util.iterator.ExtendedIterator ;
/**
* <p>
* Implementation of the abstraction of axioms that denote the single name assumption.
* </p>
*/
public class AllDifferentImpl
extends OntResourceImpl
implements AllDifferent
{
// Constants
//////////////////////////////////
// Static variables
//////////////////////////////////
/**
* A factory for generating AllDifferent facets from nodes in enhanced graphs.
* Note: should not be invoked directly by user code: use
* {@link org.apache.jena.rdf.model.RDFNode#as as()} instead.
*/
@SuppressWarnings("hiding")
public static Implementation factory = new Implementation() {
@Override
public EnhNode wrap( Node n, EnhGraph eg ) {
if (canWrap( n, eg )) {
return new AllDifferentImpl( n, eg );
}
else {
throw new ConversionException( "Cannot convert node " + n + " to AllDifferent");
}
}
@Override
public boolean canWrap( Node node, EnhGraph eg ) {
// node will support being an AllDifferent facet if it has rdf:type owl:AllDifferent or equivalent
Profile profile = (eg instanceof OntModel) ? ((OntModel) eg).getProfile() : null;
return (profile != null) && profile.isSupported( node, eg, AllDifferent.class );
}
};
// Instance variables
//////////////////////////////////
// Constructors
//////////////////////////////////
/**
* <p>
* Construct an all different axiom represented by the given node in the given graph.
* </p>
*
* @param n The node that represents the axiom
* @param g The enhanced graph that contains n
*/
public AllDifferentImpl( Node n, EnhGraph g ) {
super( n, g );
}
// External signature methods
//////////////////////////////////
/**
* <p>Assert that the list of distinct individuals in this AllDifferent declaration
* is the given list. Any existing
* statements for <code>distinctMembers</code> will be removed.</p>
* @param members A list of the members that are declared to be distinct.
* @exception ProfileException If the {@link Profile#DISTINCT_MEMBERS()} property is not supported in the current language profile.
*/
@Override
public void setDistinctMembers( RDFList members ) {
setPropertyValue( getProfile().DISTINCT_MEMBERS(), "DISTINCT_MEMBERS", members );
}
/**
* <p>Add the given individual to the list of distinct members of this AllDifferent declaration.</p>
* @param res A resource that will be added to the list of all different members.
* @exception ProfileException If the {@link Profile#DISTINCT_MEMBERS()} property is not supported in the current language profile.
*/
@Override
public void addDistinctMember( Resource res ) {
addListPropertyValue( getProfile().DISTINCT_MEMBERS(), "DISTINCT_MEMBERS", res );
}
/**
* <p>Add the given individuals to the list of distinct members of this AllDifferent declaration.</p>
* @param individuals An iterator over the distinct invididuals that will be added
* @exception ProfileException If the {@link Profile#DISTINCT_MEMBERS()} property is not supported in the current language profile.
*/
@Override
public void addDistinctMembers( Iterator<? extends Resource> individuals ) {
while (individuals.hasNext()) {
addDistinctMember( individuals.next() );
}
}
/**
* <p>Answer the list of distinct members for this AllDifferent declaration.</p>
* @return The list of individuals declared distinct by this AllDifferent declaration.
* @exception ProfileException If the {@link Profile#DISTINCT_MEMBERS()} property is not supported in the current language profile.
*/
@Override
public RDFList getDistinctMembers() {
return objectAs( getProfile().DISTINCT_MEMBERS(), "DISTINCT_MEMBERS", RDFList.class );
}
/**
* <p>Answer an iterator over all of the individuals that are declared to be distinct by
* this AllDifferent declaration. Each element of the iterator will be an {@link OntResource}.</p>
* @return An iterator over distinct individuals.
* @exception ProfileException If the {@link Profile#DISTINCT_MEMBERS()} property is not supported in the current language profile.
*/
@Override
public ExtendedIterator<? extends OntResource> listDistinctMembers() {
return getDistinctMembers().mapWith( o -> ((Resource) o).as( OntResource.class ));
}
/**
* <p>Answer true if this AllDifferent declaration includes <code>res</code> as one of the distinct individuals.</p>
* @param res A resource to test against
* @return True if <code>res</code> is declared to be distinct from the other individuals in this declation.
* @exception ProfileException If the {@link Profile#DISTINCT_MEMBERS()} property is not supported in the current language profile.
*/
@Override
public boolean hasDistinctMember( Resource res ) {
return getDistinctMembers().contains( res );
}
/**
* <p>Remove the given resource from the list of distinct individuals. If this statement
* is not true of the current model, nothing happens.</p>
* @param res A resource that is no longer distinct from the other listed individuals
*/
@Override
public void removeDistinctMember( Resource res ) {
setDistinctMembers( getDistinctMembers().remove( res ) );
}
// Internal implementation methods
//////////////////////////////////
//==============================================================================
// Inner class definitions
//==============================================================================
}