FirstOrderLogicTemplateManager.java

package org.whole.lang.firstorderlogic.reflect;

import org.whole.lang.firstorderlogic.codebase.RDFTheory;
import org.whole.lang.firstorderlogic.codebase.Rdf2TmTheory;
import org.whole.lang.firstorderlogic.codebase.TopicMapsTheory;
import org.whole.lang.firstorderlogic.model.Theory;
import org.whole.lang.factories.GenericEntityFactory;
import org.whole.lang.templates.AbstractTemplateFactory;
import org.whole.lang.templates.AbstractTemplateManager;

/** 
 * @generator Whole
 */
public class FirstOrderLogicTemplateManager extends AbstractTemplateManager {
	private static class SingletonHolder {
		private static final FirstOrderLogicTemplateManager instance = new FirstOrderLogicTemplateManager();
	}

	public static FirstOrderLogicTemplateManager instance() {
		return SingletonHolder.instance;
	}

	private FirstOrderLogicTemplateManager() {
		put("empty", new AbstractTemplateFactory<Theory>() {
			public Theory create() {
				return GenericEntityFactory.instance
						.create(FirstOrderLogicEntityDescriptorEnum.Theory);
			}
		});
		
		put("RDF theory", new RDFTheory());
		put("TopicMaps theory", new TopicMapsTheory());
		put("RDF 2 TopicMaps theory", new Rdf2TmTheory());
	}
}