FirstOrderLogicTextualEditor.java

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 FirstOrderLogicTextualEditor 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_(18);
		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("SubtypeDeclarationFigure");
		b0.TextualFigure_(1);
		b0.Row_(3);
		b0.ChildPlace();
		b0.OperatorToken("<=");
		b0.ChildPlace();
		b0._Row();
		b0._TextualFigure();
		b0._SimpleFigureDeclaration();
		b0.SimpleFigureDeclaration_();
		b0.Identifier("NameDeclarationFigure");
		b0.TextualFigure_(1);
		b0.Row_(7);
		b0.ChildPlace();
		b0.OperatorToken(":");
		b0.ChildPlace();
		b0.Indent();
		b0.ParenthesisToken("{");
		b0.ChildPlace();
		b0.ParenthesisToken("}");
		b0._Row();
		b0._TextualFigure();
		b0._SimpleFigureDeclaration();
		b0.SimpleFigureDeclaration_();
		b0.Identifier("SortTypeFigure");
		b0.TextualFigure_(1);
		b0.Row_(1);
		b0.KeywordToken("sort");
		b0._Row();
		b0._TextualFigure();
		b0._SimpleFigureDeclaration();
		b0.SimpleFigureDeclaration_();
		b0.Identifier("VariableTypeFigure");
		b0.TextualFigure_(1);
		b0.Row_(1);
		b0.ChildPlace();
		b0._Row();
		b0._TextualFigure();
		b0._SimpleFigureDeclaration();
		b0.SimpleFigureDeclaration_();
		b0.Identifier("FunctionTypeFigure");
		b0.TextualFigure_(1);
		b0.Row_(5);
		b0.ParenthesisToken("(");
		b0.ChildPlace();
		b0.ParenthesisToken(")");
		b0.OperatorToken("->");
		b0.ChildPlace();
		b0._Row();
		b0._TextualFigure();
		b0._SimpleFigureDeclaration();
		b0.SimpleFigureDeclaration_();
		b0.Identifier("PredicateTypeFigure");
		b0.TextualFigure_(1);
		b0.Row_(3);
		b0.ParenthesisToken("(");
		b0.ChildPlace();
		b0.ParenthesisToken(")");
		b0._Row();
		b0._TextualFigure();
		b0._SimpleFigureDeclaration();
		b0.SimpleFigureDeclaration_();
		b0.Identifier("VariableDeclarationFigure");
		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("ApplicationFigure");
		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_(26);
		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.PartDeclaration_();
		b0.Identifier("AxiomPart");
		b0.Identifier("Axiom");
		b0.Identifier("AxiomFigure");
		b0.EntityFeatures_(2);
		b0.Identifier("name");
		b0.Identifier("statement");
		b0._EntityFeatures();
		b0._PartDeclaration();
		b0.PartDeclaration_();
		b0.Identifier("TheoremPart");
		b0.Identifier("Theorem");
		b0.Identifier("TheoremFigure");
		b0.EntityFeatures_(3);
		b0.Identifier("name");
		b0.Identifier("statement");
		b0.Identifier("proof");
		b0._EntityFeatures();
		b0._PartDeclaration();
		b0.PartDeclaration_();
		b0.Identifier("ImportDeclarationPart");
		b0.Identifier("ImportDeclaration");
		b0.Identifier("ImportDeclarationFigure");
		b0.EntityFeatures_(2);
		b0.Identifier("language");
		b0.Identifier("alias");
		b0._EntityFeatures();
		b0._PartDeclaration();
		b0.PartDeclaration_();
		b0.Identifier("FunctionApplicationPart");
		b0.Identifier("FunctionApplication");
		b0.Identifier("ApplicationFigure");
		b0.EntityFeatures_(2);
		b0.Identifier("function");
		b0.Identifier("arguments");
		b0._EntityFeatures();
		b0._PartDeclaration();
		b0.PartDeclaration_();
		b0.Identifier("PredicateApplicationPart");
		b0.Identifier("PredicateApplication");
		b0.Identifier("ApplicationFigure");
		b0.EntityFeatures_(2);
		b0.Identifier("predicate");
		b0.Identifier("arguments");
		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.GenericPartDeclaration_();
		b0.GenericPartName("CompositeRow");
		b0.EntityNames_(1);
		b0.Identifier("Arguments");
		b0._EntityNames();
		b0._GenericPartDeclaration();
		b0.GenericPartDeclaration_();
		b0.GenericPartName("CompositeRow");
		b0.EntityNames_(1);
		b0.Identifier("Parameters");
		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("parameters");
		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("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.PartDeclaration_();
		b0.Identifier("SubtypeDeclarationPart");
		b0.Identifier("SubtypeDeclaration");
		b0.Identifier("SubtypeDeclarationFigure");
		b0.EntityFeatures_(2);
		b0.Identifier("subSort");
		b0.Identifier("superSort");
		b0._EntityFeatures();
		b0._PartDeclaration();
		b0.PartDeclaration_();
		b0.Identifier("NameDeclarationPart");
		b0.Identifier("NameDeclaration");
		b0.Identifier("NameDeclarationFigure");
		b0.EntityFeatures_(3);
		b0.Identifier("name");
		b0.Identifier("type");
		b0.Identifier("modelBinding");
		b0._EntityFeatures();
		b0._PartDeclaration();
		b0.PartDeclaration_();
		b0.Identifier("SortTypePart");
		b0.Identifier("SortType");
		b0.Identifier("SortTypeFigure");
		b0.EntityFeatures();
		b0._PartDeclaration();
		b0.PartDeclaration_();
		b0.Identifier("VariableTypePart");
		b0.Identifier("VariableType");
		b0.Identifier("VariableTypeFigure");
		b0.EntityFeatures_(1);
		b0.Identifier("sort");
		b0._EntityFeatures();
		b0._PartDeclaration();
		b0.PartDeclaration_();
		b0.Identifier("FunctionTypePart");
		b0.Identifier("FunctionType");
		b0.Identifier("FunctionTypeFigure");
		b0.EntityFeatures_(2);
		b0.Identifier("parameters");
		b0.Identifier("sort");
		b0._EntityFeatures();
		b0._PartDeclaration();
		b0.PartDeclaration_();
		b0.Identifier("PredicateTypePart");
		b0.Identifier("PredicateType");
		b0.Identifier("PredicateTypeFigure");
		b0.EntityFeatures_(1);
		b0.Identifier("parameters");
		b0._EntityFeatures();
		b0._PartDeclaration();
		b0.PartDeclaration_();
		b0.Identifier("VariableDeclarationPart");
		b0.Identifier("VariableDeclaration");
		b0.Identifier("VariableDeclarationFigure");
		b0.EntityFeatures_(2);
		b0.Identifier("name");
		b0.Identifier("sort");
		b0._EntityFeatures();
		b0._PartDeclaration();
		b0._ControllerDeclarations();
		b0._ControllerComponent();
		b0._Editor();
	}
}