• Home
• info.kwarc.sally4
• sally4-docmanager
• 1.0.0
• source code
• TheoFactory.java

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

info.kwarc.sally4.theo.factories.TheoFactory Maven / Gradle / Ivy

package info.kwarc.sally4.theo.factories;

import info.kwarc.sally4.registration.SallyClient;
import info.kwarc.sally4.util.InstanceCreator;

import org.apache.felix.ipojo.ConfigurationException;
import org.apache.felix.ipojo.Factory;
import org.apache.felix.ipojo.MissingHandlerException;
import org.apache.felix.ipojo.UnacceptableConfiguration;
import org.apache.felix.ipojo.annotations.Bind;
import org.apache.felix.ipojo.annotations.Component;
import org.apache.felix.ipojo.annotations.Instantiate;
import org.apache.felix.ipojo.annotations.Requires;
import org.slf4j.Logger;
import org.slf4j.LoggerFactory;

@Component
@Instantiate
public class TheoFactory {
	@Requires(filter="(factory.name=info.kwarc.sally4.theo.impl.TheoInstance)")
	Factory theoFactory;

	Logger log;
	
	public TheoFactory() {
		log = LoggerFactory.getLogger(getClass());
	}
		
	void addDoc(SallyClient doc) throws UnacceptableConfiguration, MissingHandlerException, ConfigurationException {
		if (doc.supports("theo")) {
			InstanceCreator.init(theoFactory).setInstanceName("Theo for doc "+doc.getDocQueue()).setDynamicRequirement("docQueue", "(docQueue="+doc.getDocQueue()+")").create();;
		}
	}
	
	@Bind(aggregate=true)
	void newSallyDoc(SallyClient newDoc) throws UnacceptableConfiguration, MissingHandlerException, ConfigurationException {
		addDoc(newDoc);
	}
}