public void deploy(ReflectionFactory platform) {
platform.addEditorKit(QueriesEditorKit.ID);
platform.addOperationFactory(
QueriesLanguageKit.URI,
ContentAssistOperation.ID,
new IVisitorFactory() {
public IVisitor create(IOperation operation, int stage) {
return new QueriesContentAssistVisitor();
}
});
}
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 deploy(ReflectionFactory platform) {
platform.addEditorKit(TableEditorKit.ID);
}
