// attribute type
if ( attribute != null )
{
if ( attribute.isObjectClassAttribute() )
{
RGB rgb = PreferenceConverter.getColor( BrowserCommonActivator.getDefault().getPreferenceStore(),
BrowserCommonConstants.PREFERENCE_OBJECTCLASS_COLOR );
return BrowserCommonActivator.getDefault().getColor( rgb );
}
else if ( attribute.isMustAttribute() )
{
RGB rgb = PreferenceConverter.getColor( BrowserCommonActivator.getDefault().getPreferenceStore(),
BrowserCommonConstants.PREFERENCE_MUSTATTRIBUTE_COLOR );
return BrowserCommonActivator.getDefault().getColor( rgb );
}
else if ( attribute.isOperationalAttribute() )
{
RGB rgb = PreferenceConverter.getColor( BrowserCommonActivator.getDefault().getPreferenceStore(),
BrowserCommonConstants.PREFERENCE_OPERATIONALATTRIBUTE_COLOR );
return BrowserCommonActivator.getDefault().getColor( rgb );
}
else
{
RGB rgb = PreferenceConverter.getColor( BrowserCommonActivator.getDefault().getPreferenceStore(),
BrowserCommonConstants.PREFERENCE_MAYATTRIBUTE_COLOR );
return BrowserCommonActivator.getDefault().getColor( rgb );
}
}
else