else { OdaDataSource odaParent = (OdaDataSource) 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 ); }
	public void checkExtends( DesignElement parent ) throws ExtendsException	{		super.checkExtends( parent );		if ( provider != null )			provider.checkExtends( parent );	}