org.coode.matrix.model.impl.FillerModel Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of org.coode.matrix Show documentation
A Swing Component that combines a JTree and a JTable.
The newest version!
package org.coode.matrix.model.impl;

import java.util.Set;
/*
* Copyright (C) 2007, University of Manchester
*
* Modifications to the initial code base are copyright of their
* respective authors, or their employers as appropriate.  Authorship
* of the modifications may be determined from the ChangeLog placed at
* the end of this file.
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public
* License as published by the Free Software Foundation; either
* version 2.1 of the License, or (at your option) any later version.

* This library 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
* Lesser General Public License for more details.

* You should have received a copy of the GNU Lesser General Public
* License along with this library; if not, write to the Free Software
* Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301  USA
*/

import org.coode.matrix.model.helper.FillerHelper;
import org.semanticweb.owlapi.model.OWLClass;
import org.semanticweb.owlapi.model.OWLPropertyExpression;
import org.semanticweb.owlapi.model.OWLPropertyRange;
import org.semanticweb.owlapi.model.OWLQuantifiedRestriction;

/**
 * Author: Nick Drummond

 * http://www.cs.man.ac.uk/~drummond/


 * 
 * The University Of Manchester

 * Bio Health Informatics Group

 * Date: Nov 1, 2007


 */
public class FillerModel {

    private OWLClass cls;
    private P p;
    private FillerHelper helper;

    private Class> restrictionType;


    public FillerModel(OWLClass cls, RestrictionTreeMatrixModel.PropertyRestrictionPair pair, FillerHelper helper) {
        this.cls = cls;
        this.p = pair.getColumnObject();
        this.helper = helper;
        this.restrictionType = pair.getFilterObject();
    }


    public Set getAssertedFillersFromSupers(){
        return helper.getAssertedFillers(cls, p, restrictionType);
    }

    public Set getInheritedFillers(){
        return helper.getInheritedNamedFillers(cls, p, restrictionType);
    }

    public Set getAssertedFillersFromEquiv(){
        return helper.getAssertedNamedFillersFromEquivs(cls, p, restrictionType);
    }


    @Override
    public String toString() {
        StringBuilder sb = new StringBuilder();
        for(R descr : getAssertedFillersFromSupers()){
            if (sb.length() != 0){
                sb.append(", ");
            }
            sb.append(descr.toString());
        }
        return sb.toString();
    }
}