ptolemy.vergil.ontologies

Class ReportOntologyLatticeStatus

java.lang.Object

ptolemy.vergil.ontologies.ReportOntologyLatticeStatus

public class ReportOntologyLatticeStatus
extends java.lang.Object

A static class that provides a method to display a message and highlight concepts in an ontology model based on whether the ontology is a lattice.

Since:

Ptolemy II 10.0

Version:

$Id$

Author:

Charles Shelton

Pt.AcceptedRating:

Red (cshelton)

Pt.ProposedRating:

Red (cshelton)

Constructor Summary

Constructors

Constructor and Description
ReportOntologyLatticeStatus()

Method Summary

Modifier and Type	Method and Description
static void	showStatusAndHighlightCounterExample(Ontology ontologyModel, OntologyGraphController modelGraphController) Show a status message depending on whether the given ontology model is a valid lattice, and if the isAcceptable parameters form acceptance criteria.

Methods inherited from class java.lang.Object

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

Constructor Detail

ReportOntologyLatticeStatus

public ReportOntologyLatticeStatus()

Method Detail

showStatusAndHighlightCounterExample

public static void showStatusAndHighlightCounterExample(Ontology ontologyModel,
                                                        OntologyGraphController modelGraphController)

Show a status message depending on whether the given ontology model is a valid lattice, and if the isAcceptable parameters form acceptance criteria. Also highlight the concepts in the ontology that demonstrate the counterexample if the ontology is not a lattice, or the non-acceptable concepts do not form acceptance criteria.

Parameters:

ontologyModel - The specified ontology model.

modelGraphController - The graph controller for the ontology model.