throw new ExtendsException( this, parent, ExtendsException.DESIGN_EXCEPTION_WRONG_EXTENSION_TYPE );
throw new WrongTypeException( this, parent, WrongTypeException.DESIGN_EXCEPTION_WRONG_EXTENSION_TYPE );
	public void checkExtends( DesignElement parent ) throws ExtendsException	{		super.checkExtends( parent );		if ( provider != null )			provider.checkExtends( parent );		else		{			OdaDataSet odaParent = (OdaDataSet) parent;			if ( odaParent.extensionID != null					&& !odaParent.extensionID.equals( extensionID ) )				throw new ExtendsException( this, parent,						ExtendsException.DESIGN_EXCEPTION_WRONG_EXTENSION_TYPE );			if ( extensionID != null					&& !extensionID.equals( odaParent.extensionID ) )				throw new ExtendsException( this, parent,						ExtendsException.DESIGN_EXCEPTION_WRONG_EXTENSION_TYPE );		}	}