[jabref] 373/459: Add a new patch to add back a removed file.
gregor herrmann
gregoa at debian.org
Thu Sep 15 20:41:11 UTC 2016
This is an automated email from the git hooks/post-receive script.
gregoa pushed a commit to branch master
in repository jabref.
commit 67de3ba0d711c41a7739050838f66c51277124f3
Author: gregor herrmann <gregoa at debian.org>
Date: Tue Jan 1 17:58:09 2013 +0100
Add a new patch to add back a removed file.
---
debian/patches/generated_JabRefPlugin.java.patch | 369 +++++++++++++++++++++++
debian/patches/series | 1 +
2 files changed, 370 insertions(+)
diff --git a/debian/patches/generated_JabRefPlugin.java.patch b/debian/patches/generated_JabRefPlugin.java.patch
new file mode 100644
index 0000000..a246437
--- /dev/null
+++ b/debian/patches/generated_JabRefPlugin.java.patch
@@ -0,0 +1,369 @@
+Description: file was removed in 2.9.1 but doesn't get generated either ...
+Origin: vendor
+Forwarded: info via mail
+Author: gregor herrmann <gregoa at debian.org>
+Last-Update: 2013-01-01
+
+--- /dev/null
++++ b/src/java/net/sf/jabref/plugin/core/generated/_JabRefPlugin.java
+@@ -0,0 +1,360 @@
++package net.sf.jabref.plugin.core.generated;
++
++import java.net.URL;
++import java.util.ArrayList;
++import java.util.List;
++import net.sf.jabref.plugin.util.RuntimeExtension;
++import org.java.plugin.Plugin;
++import org.java.plugin.PluginLifecycleException;
++import org.java.plugin.registry.Extension;
++import org.java.plugin.registry.ExtensionPoint;
++
++import org.apache.commons.logging.Log;
++import org.apache.commons.logging.LogFactory;
++
++/**
++ * Do not modify this file, as it was auto generated and will be overwritten!
++ * User modifications should go in net.sf.jabref.plugin.core.JabRefPlugin.
++ */
++public abstract class _JabRefPlugin extends Plugin {
++
++ public static String getId(){
++ return "net.sf.jabref.core";
++ }
++
++ static Log log = LogFactory.getLog(_JabRefPlugin.class);
++
++ public List<ExportFormatTemplateExtension> getExportFormatTemplateExtensions(){
++ ExtensionPoint extPoint = getManager().getRegistry().getExtensionPoint(getId(), "ExportFormatTemplate");
++ List<ExportFormatTemplateExtension> result = new ArrayList<ExportFormatTemplateExtension>();
++ for (Extension ext : extPoint.getConnectedExtensions()) {
++ try {
++ result.add(new ExportFormatTemplateExtension(getManager().getPlugin(
++ ext.getDeclaringPluginDescriptor().getId()), ext));
++ } catch (PluginLifecycleException e) {
++ log.error("Failed to activate plug-in " + ext.getDeclaringPluginDescriptor().getId(), e);
++ }
++ }
++ return result;
++ }
++
++ public static class ExportFormatTemplateExtension extends RuntimeExtension {
++ public ExportFormatTemplateExtension(Plugin declaringPlugin, Extension wrapped){
++ super(declaringPlugin, wrapped);
++ }
++
++
++ public String getDisplayName(){
++ return getStringParameter("displayName");
++ }
++
++
++ public String getConsoleName(){
++ return getStringParameter("consoleName");
++ }
++
++
++ public String getLayoutFilename(){
++ return getStringParameter("layoutFilename");
++ }
++
++
++ public URL getDirAsUrl(){
++ return getResourceParameter("dir");
++ }
++
++ public URL getDirAsUrl(String relativePath){
++ return getResourceParameter("dir", relativePath);
++ }
++
++
++ public String getExtension(){
++ return getStringParameter("extension");
++ }
++
++
++ public String getEncoding(){
++ return getStringParameter("encoding");
++ }
++
++ }
++
++ public List<ExportFormatExtension> getExportFormatExtensions(){
++ ExtensionPoint extPoint = getManager().getRegistry().getExtensionPoint(getId(), "ExportFormat");
++ List<ExportFormatExtension> result = new ArrayList<ExportFormatExtension>();
++ for (Extension ext : extPoint.getConnectedExtensions()) {
++ try {
++ result.add(new ExportFormatExtension(getManager().getPlugin(
++ ext.getDeclaringPluginDescriptor().getId()), ext));
++ } catch (PluginLifecycleException e) {
++ log.error("Failed to activate plug-in " + ext.getDeclaringPluginDescriptor().getId(), e);
++ }
++ }
++ return result;
++ }
++
++ public static class ExportFormatExtension extends RuntimeExtension {
++ public ExportFormatExtension(Plugin declaringPlugin, Extension wrapped){
++ super(declaringPlugin, wrapped);
++ }
++
++
++ /**
++ * @return A singleton instance of the class parameter or null if the class could not be found!
++ */
++ public net.sf.jabref.export.IExportFormat getExportFormat(){
++ return (net.sf.jabref.export.IExportFormat)getClassParameter("exportFormat");
++ }
++
++
++ public String getDisplayName(){
++ return getStringParameter("displayName");
++ }
++
++
++ public String getConsoleName(){
++ return getStringParameter("consoleName");
++ }
++
++
++ public String getExtension(){
++ return getStringParameter("extension");
++ }
++
++ }
++
++ public List<SidePanePluginExtension> getSidePanePluginExtensions(){
++ ExtensionPoint extPoint = getManager().getRegistry().getExtensionPoint(getId(), "SidePanePlugin");
++ List<SidePanePluginExtension> result = new ArrayList<SidePanePluginExtension>();
++ for (Extension ext : extPoint.getConnectedExtensions()) {
++ try {
++ result.add(new SidePanePluginExtension(getManager().getPlugin(
++ ext.getDeclaringPluginDescriptor().getId()), ext));
++ } catch (PluginLifecycleException e) {
++ log.error("Failed to activate plug-in " + ext.getDeclaringPluginDescriptor().getId(), e);
++ }
++ }
++ return result;
++ }
++
++ public static class SidePanePluginExtension extends RuntimeExtension {
++ public SidePanePluginExtension(Plugin declaringPlugin, Extension wrapped){
++ super(declaringPlugin, wrapped);
++ }
++
++
++ /**
++ * @return A singleton instance of the class parameter or null if the class could not be found!
++ */
++ public net.sf.jabref.plugin.SidePanePlugin getSidePanePlugin(){
++ return (net.sf.jabref.plugin.SidePanePlugin)getClassParameter("sidePanePlugin");
++ }
++
++
++ public String getName(){
++ return getStringParameter("name");
++ }
++
++
++ public String getDescription(){
++ return getStringParameter("description");
++ }
++
++ }
++
++ public List<EntryFetcherExtension> getEntryFetcherExtensions(){
++ ExtensionPoint extPoint = getManager().getRegistry().getExtensionPoint(getId(), "EntryFetcher");
++ List<EntryFetcherExtension> result = new ArrayList<EntryFetcherExtension>();
++ for (Extension ext : extPoint.getConnectedExtensions()) {
++ try {
++ result.add(new EntryFetcherExtension(getManager().getPlugin(
++ ext.getDeclaringPluginDescriptor().getId()), ext));
++ } catch (PluginLifecycleException e) {
++ log.error("Failed to activate plug-in " + ext.getDeclaringPluginDescriptor().getId(), e);
++ }
++ }
++ return result;
++ }
++
++ public static class EntryFetcherExtension extends RuntimeExtension {
++ public EntryFetcherExtension(Plugin declaringPlugin, Extension wrapped){
++ super(declaringPlugin, wrapped);
++ }
++
++
++ /**
++ * @return A singleton instance of the class parameter or null if the class could not be found!
++ */
++ public net.sf.jabref.imports.EntryFetcher getEntryFetcher(){
++ return (net.sf.jabref.imports.EntryFetcher)getClassParameter("entryFetcher");
++ }
++
++
++ public String getName(){
++ return getStringParameter("name");
++ }
++
++
++ public String getDescription(){
++ return getStringParameter("description");
++ }
++
++ }
++
++ public List<ExportFormatProviderExtension> getExportFormatProviderExtensions(){
++ ExtensionPoint extPoint = getManager().getRegistry().getExtensionPoint(getId(), "ExportFormatProvider");
++ List<ExportFormatProviderExtension> result = new ArrayList<ExportFormatProviderExtension>();
++ for (Extension ext : extPoint.getConnectedExtensions()) {
++ try {
++ result.add(new ExportFormatProviderExtension(getManager().getPlugin(
++ ext.getDeclaringPluginDescriptor().getId()), ext));
++ } catch (PluginLifecycleException e) {
++ log.error("Failed to activate plug-in " + ext.getDeclaringPluginDescriptor().getId(), e);
++ }
++ }
++ return result;
++ }
++
++ public static class ExportFormatProviderExtension extends RuntimeExtension {
++ public ExportFormatProviderExtension(Plugin declaringPlugin, Extension wrapped){
++ super(declaringPlugin, wrapped);
++ }
++
++
++ /**
++ * @return A singleton instance of the class parameter or null if the class could not be found!
++ */
++ public net.sf.jabref.export.IExportFormatProvider getFormatProvider(){
++ return (net.sf.jabref.export.IExportFormatProvider)getClassParameter("formatProvider");
++ }
++
++
++ public String getName(){
++ return getStringParameter("name");
++ }
++
++
++ public String getDescription(){
++ return getStringParameter("description");
++ }
++
++ }
++
++ public List<PushToApplicationExtension> getPushToApplicationExtensions(){
++ ExtensionPoint extPoint = getManager().getRegistry().getExtensionPoint(getId(), "PushToApplication");
++ List<PushToApplicationExtension> result = new ArrayList<PushToApplicationExtension>();
++ for (Extension ext : extPoint.getConnectedExtensions()) {
++ try {
++ result.add(new PushToApplicationExtension(getManager().getPlugin(
++ ext.getDeclaringPluginDescriptor().getId()), ext));
++ } catch (PluginLifecycleException e) {
++ log.error("Failed to activate plug-in " + ext.getDeclaringPluginDescriptor().getId(), e);
++ }
++ }
++ return result;
++ }
++
++ public static class PushToApplicationExtension extends RuntimeExtension {
++ public PushToApplicationExtension(Plugin declaringPlugin, Extension wrapped){
++ super(declaringPlugin, wrapped);
++ }
++
++
++ /**
++ * @return A singleton instance of the class parameter or null if the class could not be found!
++ */
++ public net.sf.jabref.external.PushToApplication getPushToApp(){
++ return (net.sf.jabref.external.PushToApplication)getClassParameter("pushToApp");
++ }
++
++
++ public String getName(){
++ return getStringParameter("name");
++ }
++
++
++ public String getDescription(){
++ return getStringParameter("description");
++ }
++
++ }
++
++ public List<LayoutFormatterExtension> getLayoutFormatterExtensions(){
++ ExtensionPoint extPoint = getManager().getRegistry().getExtensionPoint(getId(), "LayoutFormatter");
++ List<LayoutFormatterExtension> result = new ArrayList<LayoutFormatterExtension>();
++ for (Extension ext : extPoint.getConnectedExtensions()) {
++ try {
++ result.add(new LayoutFormatterExtension(getManager().getPlugin(
++ ext.getDeclaringPluginDescriptor().getId()), ext));
++ } catch (PluginLifecycleException e) {
++ log.error("Failed to activate plug-in " + ext.getDeclaringPluginDescriptor().getId(), e);
++ }
++ }
++ return result;
++ }
++
++ public static class LayoutFormatterExtension extends RuntimeExtension {
++ public LayoutFormatterExtension(Plugin declaringPlugin, Extension wrapped){
++ super(declaringPlugin, wrapped);
++ }
++
++
++ /**
++ * @return A singleton instance of the class parameter or null if the class could not be found!
++ */
++ public net.sf.jabref.export.layout.LayoutFormatter getLayoutFormatter(){
++ return (net.sf.jabref.export.layout.LayoutFormatter)getClassParameter("layoutFormatter");
++ }
++
++
++ public String getDescription(){
++ return getStringParameter("description");
++ }
++
++
++ public String getName(){
++ return getStringParameter("name");
++ }
++
++ }
++
++ public List<ImportFormatExtension> getImportFormatExtensions(){
++ ExtensionPoint extPoint = getManager().getRegistry().getExtensionPoint(getId(), "ImportFormat");
++ List<ImportFormatExtension> result = new ArrayList<ImportFormatExtension>();
++ for (Extension ext : extPoint.getConnectedExtensions()) {
++ try {
++ result.add(new ImportFormatExtension(getManager().getPlugin(
++ ext.getDeclaringPluginDescriptor().getId()), ext));
++ } catch (PluginLifecycleException e) {
++ log.error("Failed to activate plug-in " + ext.getDeclaringPluginDescriptor().getId(), e);
++ }
++ }
++ return result;
++ }
++
++ public static class ImportFormatExtension extends RuntimeExtension {
++ public ImportFormatExtension(Plugin declaringPlugin, Extension wrapped){
++ super(declaringPlugin, wrapped);
++ }
++
++
++ /**
++ * @return A singleton instance of the class parameter or null if the class could not be found!
++ */
++ public net.sf.jabref.imports.ImportFormat getImportFormat(){
++ return (net.sf.jabref.imports.ImportFormat)getClassParameter("importFormat");
++ }
++
++
++ public String getName(){
++ return getStringParameter("name");
++ }
++
++
++ public String getDescription(){
++ return getStringParameter("description");
++ }
++
++ }
++
++}
diff --git a/debian/patches/series b/debian/patches/series
index 3716cb1..9ed273d 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,2 +1,3 @@
debian_libs.patch
mrDlib_jayatana.patch
+generated_JabRefPlugin.java.patch
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-java/jabref.git
More information about the pkg-java-commits
mailing list