Examples with FirstOrderLogicGenericBuilderAdapter org.whole.lang.firstorderlogic.builders.FirstOrderLogicGenericBuilderAdapter used on opensource projects

Example 1 with FirstOrderLogicGenericBuilderAdapter

use of org.whole.lang.firstorderlogic.builders.FirstOrderLogicGenericBuilderAdapter in project whole by wholeplatform.

the class FirstOrderLogicLanguageDeployer method deploy.

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);
}