edu.stanford.smi.protegex.owl.ui.conditions
Class ConditionsTableItem

java.lang.Object
  edu.stanford.smi.protegex.owl.ui.conditions.ConditionsTableItem

All Implemented Interfaces:

Comparable, ConditionsTableConstants

public class ConditionsTableItem

extends Object

implements ConditionsTableConstants, Comparable

An object representing an entry in the table. One instance is kept for each row.

Author:

Holger Knublauch

Field Summary

(package private) RDFSClass	aClass
private OWLIntersectionClass	definition
static String	INHERITED
private boolean	isNew
private int	localIndex The index of this row inside its block.
static String	NECESSARY
private OWLNamedClass	originCls
static String	SUFFICIENT
private int	type

Fields inherited from interface edu.stanford.smi.protegex.owl.ui.conditions.ConditionsTableConstants

COL_COUNT, COL_EXPRESSION, TYPE_DEFINITION_BASE, TYPE_INHERITED, TYPE_SUPERCLASS

Constructor Summary

private

ConditionsTableItem(RDFSClass aClass, int type, OWLNamedClass originCls, OWLIntersectionClass definition, boolean isNew)

Method Summary

int	compareTo(Object o) Sorts according to the following order: 1) Equivalent classes > superclasses > inherited superclasses 2) NamedClasses by name 3) Anonymous classes > restrictions 4) Restrictions by slot name
private int	compareToWithAnonymousClses(OWLAnonymousClass otherCls)
private int	compareToWithRestrictions(OWLRestriction otherCls)
(package private) int	compareToWithSameType(RDFSClass otherClass)
(package private) static ConditionsTableItem	create(RDFSClass aClass, int type)
(package private) static ConditionsTableItem	createInherited(RDFSClass aClass, OWLNamedClass originCls)
(package private) static ConditionsTableItem	createNew(int type)
(package private) static ConditionsTableItem	createSeparator(int type)
(package private) static ConditionsTableItem	createSufficient(RDFSClass aClass, int type, OWLIntersectionClass definition)
(package private) RDFSClass	getCls()
(package private) OWLIntersectionClass	getDefinition()
private String	getDisplayText()
(package private) Icon	getIcon(int rowHeight)
(package private) OWLNamedClass	getOriginCls()
(package private) static Icon	getSuperclassIcon()
(package private) int	getType()
(package private) boolean	isDefinition()
(package private) boolean	isInherited()
(package private) boolean	isNew()
(package private) boolean	isSeparator()
(package private) void	setLocalIndex(int value)
(package private) void	setType(int value)
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

aClass

RDFSClass aClass

definition

private OWLIntersectionClass definition

isNew

private boolean isNew

localIndex

private int localIndex

The index of this row inside its block. This is 0 for the first row below each separator

originCls

private OWLNamedClass originCls

type

private int type

INHERITED

public static final String INHERITED

See Also:

Constant Field Values

NECESSARY

public static final String NECESSARY

See Also:

Constant Field Values

SUFFICIENT

public static final String SUFFICIENT

See Also:

Constant Field Values

Constructor Detail

ConditionsTableItem

private ConditionsTableItem(RDFSClass aClass,
                            int type,
                            OWLNamedClass originCls,
                            OWLIntersectionClass definition,
                            boolean isNew)

Method Detail

compareTo

public int compareTo(Object o)

Sorts according to the following order: 1) Equivalent classes > superclasses > inherited superclasses 2) NamedClasses by name 3) Anonymous classes > restrictions 4) Restrictions by slot name

Specified by:

compareTo in interface Comparable

Parameters:

o - the other ClassDescriptionItem to compare to

Returns:

-1 if this is smaller (higher in the list), 1 if the other is smaller

compareToWithSameType

int compareToWithSameType(RDFSClass otherClass)

compareToWithAnonymousClses

private int compareToWithAnonymousClses(OWLAnonymousClass otherCls)

compareToWithRestrictions

private int compareToWithRestrictions(OWLRestriction otherCls)

create

static ConditionsTableItem create(RDFSClass aClass,
                                  int type)

createInherited

static ConditionsTableItem createInherited(RDFSClass aClass,
                                           OWLNamedClass originCls)

createNew

static ConditionsTableItem createNew(int type)

createSufficient

static ConditionsTableItem createSufficient(RDFSClass aClass,
                                            int type,
                                            OWLIntersectionClass definition)

createSeparator

static ConditionsTableItem createSeparator(int type)

getCls

RDFSClass getCls()

getDefinition

OWLIntersectionClass getDefinition()

getIcon

Icon getIcon(int rowHeight)

getOriginCls

OWLNamedClass getOriginCls()

getSuperclassIcon

static Icon getSuperclassIcon()

getType

int getType()

isDefinition

boolean isDefinition()

isInherited

boolean isInherited()

isNew

boolean isNew()

isSeparator

boolean isSeparator()

setLocalIndex

void setLocalIndex(int value)

setType

void setType(int value)

toString

public String toString()

getDisplayText

private String getDisplayText()