FirstOrderLogicLanguageDeployer.java example

Explorer
whole-master
package org.whole.lang.firstorderlogic.reflect;

import org.whole.lang.builders.GenericBuilderAdapterOperation;
import org.whole.lang.builders.IBuilder;
import org.whole.lang.builders.IBuilderFactory;
import org.whole.lang.builders.SpecificBuilderAdapterOperation;
import org.whole.lang.contexts.IEntityContext;
import org.whole.lang.firstorderlogic.builders.FirstOrderLogicGenericBuilderAdapter;
import org.whole.lang.firstorderlogic.builders.FirstOrderLogicSpecificBuilderAdapter;
import org.whole.lang.firstorderlogic.builders.IFirstOrderLogicBuilder;
import org.whole.lang.firstorderlogic.ui.FirstOrderLogicTextualEditorKit;
import org.whole.lang.reflect.AbstractLanguageDeployer;
import org.whole.lang.reflect.ReflectionFactory;

/** 
 * @generator Whole
 */
public class FirstOrderLogicLanguageDeployer extends AbstractLanguageDeployer {
	public void deploy(ReflectionFactory platform) {
		platform.addLanguageKit(new FirstOrderLogicLanguageKit());
		platform.addOperationFactory(FirstOrderLogicLanguageKit.URI,
				GenericBuilderAdapterOperation.ID, new IBuilderFactory() {
					public IBuilder create(IBuilder strategy,
							IEntityContext entityContext) {
						return new FirstOrderLogicGenericBuilderAdapter(
								(IFirstOrderLogicBuilder) strategy,
								entityContext);
					}
				});
		platform.addOperationFactory(FirstOrderLogicLanguageKit.URI,
				SpecificBuilderAdapterOperation.ID, new IBuilderFactory() {
					public IBuilder create(IBuilder strategy,
							IEntityContext entityContext) {
						return new FirstOrderLogicSpecificBuilderAdapter(
								strategy, entityContext);
					}
				});
		platform.addEditorKit(FirstOrderLogicTextualEditorKit.ID);
	}

	public void undeploy(ReflectionFactory platform) {
		platform.removeLanguageKit(FirstOrderLogicLanguageKit.URI);
	}
}