blob: a9378fef9094885f33418737a8aca12042570305 [file] [log] [blame]
/*******************************************************************************
* Copyright (c) 2000, 2010 IBM Corporation, See4sys and others.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
*
* Contributors:
* IBM Corporation - initial API and implementation
* See4sys - added support for problem markers on model objects (rather than
* only on workspace resources). Unfortunately, there was no other
* choice than copying the whole code from
* org.eclipse.ui.views.markers.internal for that purpose because
* many of the relevant classes, methods, and fields are private or
* package private.
*******************************************************************************/
package org.eclipse.sphinx.emf.validation.ui.views;
import java.util.ArrayList;
import java.util.List;
/**
* Represents a marker type.
*/
public class MarkerType {
private MarkerTypesModel model;
private String id;
private String label;
private String[] supertypeIds;
/**
* Creates a new marker type.
*/
public MarkerType(MarkerTypesModel model, String id, String label, String[] supertypeIds) {
this.model = model;
this.id = id;
this.label = label;
this.supertypeIds = supertypeIds;
}
/**
* Returns all this type's supertypes.
*/
public MarkerType[] getAllSupertypes() {
ArrayList result = new ArrayList();
getAllSupertypes(result);
return (MarkerType[]) result.toArray(new MarkerType[result.size()]);
}
/**
* Appends all this type's supertypes to the given list.
*/
private void getAllSupertypes(ArrayList result) {
MarkerType[] supers = getSupertypes();
for (MarkerType super1 : supers) {
MarkerType sup = super1;
if (!result.contains(sup)) {
result.add(sup);
sup.getAllSupertypes(result);
}
}
}
/**
* Returns the marker type id.
*/
public String getId() {
return id;
}
/**
* Returns the human-readable label for this marker type.
*/
public String getLabel() {
return label;
}
/**
* Returns the types which have this type as a direct supertype.
*
* @return the direct subtypes of this type
*/
public MarkerType[] getSubtypes() {
MarkerType[] types = model.getTypes();
ArrayList result = new ArrayList();
for (MarkerType type : types) {
String[] supers = type.getSupertypeIds();
for (String super1 : supers) {
if (super1.equals(id)) {
result.add(type);
}
}
}
return (MarkerType[]) result.toArray(new MarkerType[result.size()]);
}
public MarkerType[] getAllSubTypes() {
List subTypes = new ArrayList();
addSubTypes(subTypes, this);
MarkerType[] subs = new MarkerType[subTypes.size()];
subTypes.toArray(subs);
return subs;
}
private void addSubTypes(List list, MarkerType superType) {
MarkerType[] subTypes = superType.getSubtypes();
for (MarkerType subType2 : subTypes) {
MarkerType subType = subType2;
if (!list.contains(subType)) {
list.add(subType);
}
addSubTypes(list, subType);
}
}
/**
* Returns the marker type ids for this type's supertypes.
*/
public String[] getSupertypeIds() {
return supertypeIds;
}
/**
* Returns this type's direct supertypes.
*/
public MarkerType[] getSupertypes() {
ArrayList result = new ArrayList();
for (String supertypeId : supertypeIds) {
MarkerType sup = model.getType(supertypeId);
if (sup != null) {
result.add(sup);
}
}
return (MarkerType[]) result.toArray(new MarkerType[result.size()]);
}
/**
* Returns whether this marker type is considered to be a subtype of the given marker type.
*
* @return boolean <code>true</code>if this type is the same as (or a subtype of) the given type
*/
public boolean isSubtypeOf(MarkerType superType) {
if (id.equals(superType.getId())) {
return true;
}
for (String supertypeId : supertypeIds) {
MarkerType sup = model.getType(supertypeId);
if (sup != null && sup.isSubtypeOf(superType)) {
return true;
}
}
return false;
}
@Override
public boolean equals(Object other) {
if (!(other instanceof MarkerType)) {
return false;
}
return ((MarkerType) other).getId().equals(id);
}
@Override
public int hashCode() {
return id.hashCode();
}
}