case PropertyDefn.SYSTEM_PROPERTY : case PropertyDefn.EXTENSION_PROPERTY : case PropertyDefn.ODA_PROPERTY :
case IPropertyDefn.SYSTEM_PROPERTY : case IPropertyDefn.EXTENSION_PROPERTY : case IPropertyDefn.ODA_PROPERTY :
	public boolean isReadOnly( )	{		boolean isReadOnly = false;		Module root = getElementHandle( ).getModule( );		assert root != null;		if ( root.isReadOnly( ) )			isReadOnly = true;		else		{			switch ( propDefn.getValueType( ) )			{				case PropertyDefn.SYSTEM_PROPERTY :				case PropertyDefn.EXTENSION_PROPERTY :				case PropertyDefn.ODA_PROPERTY :					IElementDefn elementDefn = getElementHandle( ).getDefn( );					if ( elementDefn.isPropertyReadOnly( propDefn.getName( ) ) )						isReadOnly = true;					break;				case PropertyDefn.EXTENSION_MODEL_PROPERTY :					if ( propDefn.isReadOnly( ) )						isReadOnly = true;					break;			}		}		if ( isReadOnly )			return true;		return isReadOnlyInContext( );	}