package org.whole.lang.editors.codebase;
import org.whole.lang.templates.AbstractTemplateFactory;
import org.whole.lang.builders.IBuilderOperation;
import org.whole.lang.editors.model.Editor;
import org.whole.lang.editors.reflect.EditorsLanguageKit;
import org.whole.lang.editors.builders.IEditorsBuilder;
/**
* @generator Whole
*/
public class UntypedFirstOrderLogicTextualEditor extends AbstractTemplateFactory<Editor> {
public void apply(IBuilderOperation op) {
IEditorsBuilder b0 = (IEditorsBuilder) op
.wGetBuilder(EditorsLanguageKit.URI);
b0.Editor_();
b0.Identifier("FirstOrderLogicTextual");
org.whole.lang.commons.builders.ICommonsBuilder b1 = (org.whole.lang.commons.builders.ICommonsBuilder) op.wGetBuilder(org.whole.lang.commons.reflect.CommonsLanguageKit.URI);
b1.Resolver();
b0.ModelComponent_();
b0.Identifier("FirstOrderLogic");
b0._ModelComponent();
b0.ViewComponent_();
b0.ViewDeclarations_(11);
b0.SimpleFigureDeclaration_();
b0.Identifier("TheoryFigure");
b0.FoldableTextualFigure_();
b0.TextualFigure_(6);
b0.Row_(3);
b0.KeywordToken("theory");
b0.ChildPlace();
b0.FoldingToggle();
b0._Row();
b0.Row_(2);
b0.Indent();
b0.ChildPlace();
b0._Row();
b0.Row_(2);
b0.Indent();
b0.KeywordToken("declarations");
b0._Row();
b0.Row_(3);
b0.Indent();
b0.Indent();
b0.ChildPlace();
b0._Row();
b0.Row_(2);
b0.Indent();
b0.KeywordToken("assertions");
b0._Row();
b0.Row_(3);
b0.Indent();
b0.Indent();
b0.ChildPlace();
b0._Row();
b0._TextualFigure();
b0.TextualFigure_(1);
b0.Row_(3);
b0.KeywordToken("theory");
b0.ChildPlace();
b0.FoldingToggle();
b0._Row();
b0._TextualFigure();
b0._FoldableTextualFigure();
b0._SimpleFigureDeclaration();
b0.SimpleFigureDeclaration_();
b0.Identifier("ImportDeclarationFigure");
b0.TextualFigure_(1);
b0.Row_(4);
b0.KeywordToken("import");
b0.ChildPlace();
b0.KeywordToken("as");
b0.ChildPlace();
b0._Row();
b0._TextualFigure();
b0._SimpleFigureDeclaration();
b0.SimpleFigureDeclaration_();
b0.Identifier("EqualityPredicateApplicationFigure");
b0.TextualFigure_(1);
b0.Row_(3);
b0.ChildPlace();
b0.OperatorToken("=");
b0.ChildPlace();
b0._Row();
b0._TextualFigure();
b0._SimpleFigureDeclaration();
b0.SimpleFigureDeclaration_();
b0.Identifier("ExistUniqueFigure");
b0.TextualFigure_(1);
b0.Row_(5);
b0.KeywordToken("?!");
b0.ParenthesisToken("(");
b0.ChildPlace();
b0.ParenthesisToken(")");
b0.ChildPlace();
b0._Row();
b0._TextualFigure();
b0._SimpleFigureDeclaration();
b0.SimpleFigureDeclaration_();
b0.Identifier("QualifiedNameFigure");
b0.TextualFigure_(1);
b0.Row_(3);
b0.ChildPlace();
b0.OperatorToken(".");
b0.ChildPlace();
b0._Row();
b0._TextualFigure();
b0._SimpleFigureDeclaration();
b0.SimpleFigureDeclaration_();
b0.Identifier("FeatureNameFigure");
b0.TextualFigure_(1);
b0.Row_(5);
b0.ChildPlace();
b0.OperatorToken(".");
b0.ChildPlace();
b0.OperatorToken(".");
b0.ChildPlace();
b0._Row();
b0._TextualFigure();
b0._SimpleFigureDeclaration();
b0.SimpleFigureDeclaration_();
b0.Identifier("PredicateFigure");
b0.TextualFigure_(1);
b0.Row_(7);
b0.KeywordToken("predicate");
b0.ChildPlace();
b0.ParenthesisToken("(");
b0.ChildPlace();
b0.ParenthesisToken(")");
b0.DelimiterToken(":");
b0.ChildPlace();
b0._Row();
b0._TextualFigure();
b0._SimpleFigureDeclaration();
b0.SimpleFigureDeclaration_();
b0.Identifier("FunctionFigure");
b0.TextualFigure_(1);
b0.Row_(7);
b0.KeywordToken("function");
b0.ChildPlace();
b0.ParenthesisToken("(");
b0.ChildPlace();
b0.ParenthesisToken(")");
b0.DelimiterToken(":");
b0.ChildPlace();
b0._Row();
b0._TextualFigure();
b0._SimpleFigureDeclaration();
b0.SimpleFigureDeclaration_();
b0.Identifier("AxiomFigure");
b0.TextualFigure_(1);
b0.Row_(4);
b0.KeywordToken("axiom");
b0.ChildPlace();
b0.DelimiterToken(":");
b0.ChildPlace();
b0._Row();
b0._TextualFigure();
b0._SimpleFigureDeclaration();
b0.SimpleFigureDeclaration_();
b0.Identifier("TheoremFigure");
b0.TextualFigure_(2);
b0.Row_(4);
b0.KeywordToken("theorem");
b0.ChildPlace();
b0.DelimiterToken(":");
b0.ChildPlace();
b0._Row();
b0.Row_(2);
b0.Indent();
b0.ChildPlace();
b0._Row();
b0._TextualFigure();
b0._SimpleFigureDeclaration();
b0.SimpleFigureDeclaration_();
b0.Identifier("FunctionApplicationFigure");
b0.TextualFigure_(1);
b0.Row_(4);
b0.ChildPlace();
b0.ParenthesisToken("(");
b0.ChildPlace();
b0.ParenthesisToken(")");
b0._Row();
b0._TextualFigure();
b0._SimpleFigureDeclaration();
b0._ViewDeclarations();
b0._ViewComponent();
b0.ControllerComponent_();
b0.ControllerDeclarations_(14);
b0.PartDeclaration_();
b0.Identifier("TheoryPart");
b0.Identifier("Theory");
b0.Identifier("TheoryFigure");
b0.EntityFeatures_(4);
b0.Identifier("name");
b0.Identifier("imports");
b0.Identifier("declarations");
b0.Identifier("assertions");
b0._EntityFeatures();
b0._PartDeclaration();
b0.GenericPartDeclaration_();
b0.GenericPartName("CompositeColumn");
b0.EntityNames_(1);
b0.Identifier("ImportTheories");
b0._EntityNames();
b0._GenericPartDeclaration();
b0.GenericPartDeclaration_();
b0.GenericPartName("CompositeColumn");
b0.EntityNames_(1);
b0.Identifier("Declarations");
b0._EntityNames();
b0._GenericPartDeclaration();
b0.PartDeclaration_();
b0.Identifier("EqualityPredicateApplicationPart");
b0.Identifier("EqualityPredicateApplication");
b0.Identifier("EqualityPredicateApplicationFigure");
b0.EntityFeatures_(2);
b0.Identifier("leftFormula");
b0.Identifier("rightFormula");
b0._EntityFeatures();
b0._PartDeclaration();
b0.PartDeclaration_();
b0.Identifier("ExistUniquePart");
b0.Identifier("ExistUnique");
b0.Identifier("ExistUniqueFigure");
b0.EntityFeatures_(2);
b0.Identifier("arguments");
b0.Identifier("formula");
b0._EntityFeatures();
b0._PartDeclaration();
b0.PartDeclaration_();
b0.Identifier("QualifiedPredicatePart");
b0.Identifier("QualifiedPredicate");
b0.Identifier("QualifiedNameFigure");
b0.EntityFeatures_(2);
b0.Identifier("theoryAlias");
b0.Identifier("name");
b0._EntityFeatures();
b0._PartDeclaration();
b0.PartDeclaration_();
b0.Identifier("QualifiedFunctionPart");
b0.Identifier("QualifiedFunction");
b0.Identifier("QualifiedNameFigure");
b0.EntityFeatures_(2);
b0.Identifier("theoryAlias");
b0.Identifier("name");
b0._EntityFeatures();
b0._PartDeclaration();
b0.PartDeclaration_();
b0.Identifier("EntityNamePart");
b0.Identifier("EntityName");
b0.Identifier("QualifiedNameFigure");
b0.EntityFeatures_(2);
b0.Identifier("language");
b0.Identifier("entityName");
b0._EntityFeatures();
b0._PartDeclaration();
b0.PartDeclaration_();
b0.Identifier("FeatureNamePart");
b0.Identifier("FeatureName");
b0.Identifier("FeatureNameFigure");
b0.EntityFeatures_(3);
b0.Identifier("language");
b0.Identifier("entityName");
b0.Identifier("featurePath");
b0._EntityFeatures();
b0._PartDeclaration();
b0.PartDeclaration_();
b0.Identifier("QualifiedFeaturePart");
b0.Identifier("QualifiedFeature");
b0.Identifier("QualifiedNameFigure");
b0.EntityFeatures_(2);
b0.Identifier("qualifier");
b0.Identifier("feature");
b0._EntityFeatures();
b0._PartDeclaration();
b0.PartDeclaration_();
b0.Identifier("PredicateDeclarationPart");
b0.Identifier("PredicateDeclaration");
b0.Identifier("PredicateFigure");
b0.EntityFeatures_(3);
b0.Identifier("predicate");
b0.Identifier("parameters");
b0.Identifier("modelBinding");
b0._EntityFeatures();
b0._PartDeclaration();
b0.PartDeclaration_();
b0.Identifier("FunctionDeclarationPart");
b0.Identifier("FunctionDeclaration");
b0.Identifier("FunctionFigure");
b0.EntityFeatures_(3);
b0.Identifier("function");
b0.Identifier("parameters");
b0.Identifier("modelBinding");
b0._EntityFeatures();
b0._PartDeclaration();
b0.PartDeclaration_();
b0.Identifier("PredicateDefinitionPart");
b0.Identifier("PredicateDefinition");
b0.Identifier("PredicateFigure");
b0.EntityFeatures_(3);
b0.Identifier("predicate");
b0.Identifier("parameters");
b0.Identifier("statement");
b0._EntityFeatures();
b0._PartDeclaration();
b0.PartDeclaration_();
b0.Identifier("FunctionDefinitionPart");
b0.Identifier("FunctionDefinition");
b0.Identifier("FunctionFigure");
b0.EntityFeatures_(3);
b0.Identifier("function");
b0.Identifier("parameters");
b0.Identifier("term");
b0._EntityFeatures();
b0._PartDeclaration();
b0._ControllerDeclarations();
b0._ControllerComponent();
b0._Editor();
}
}