/*
 * (c) Copyright 2010-2011 AgileBirds
 *
 * This file is part of OpenFlexo.
 *
 * OpenFlexo is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, either version 3 of the License, or
 * (at your option) any later version.
 *
 * OpenFlexo is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with OpenFlexo. If not, see <http://www.gnu.org/licenses/>.
 *
 */
package org.openflexo.foundation.ontology.owl;

import java.util.logging.Logger;

import org.openflexo.foundation.ontology.OntologyObject;

import com.hp.hpl.jena.ontology.UnionClass;

public class OWLUnionClass extends OWLOperatorClass {

	private static final Logger logger = Logger.getLogger(OWLUnionClass.class.getPackage().getName());

	private final UnionClass ontClass;

	protected OWLUnionClass(UnionClass anOntClass, OWLOntology ontology) {
		super(anOntClass, ontology);
		this.ontClass = anOntClass;
		init();
	}

	@Override
	public boolean containsOntologyObject(OntologyObject o, boolean inherited) {
		boolean contains = super.containsOntologyObject(o, inherited);
		if (contains) {
			return true;
		}
		for (OWLClass c : getOperands()) {
			if (c.containsOntologyObject(o, inherited)) {
				return true;
			}
		}
		return false;
	}

	@Override
	public String getClassNameKey() {
		return "ontology_union_class";
	}

	@Override
	public String getFullyQualifiedName() {
		return "OntologyUnionClass:" + ontClass.getURI();
	}

	@Override
	public UnionClass getOntResource() {
		return ontClass;
	}

	@Override
	public String getDisplayableDescription() {
		return "Union" + getOperandListDisplayableDescription();
	}

}