Search in sources :

Example 1 with IEditorsBuilder

use of org.whole.lang.editors.builders.IEditorsBuilder in project whole by wholeplatform.

the class EditorsLanguageDeployer method deploy.

public void deploy(ReflectionFactory platform) {
    platform.addLanguageKit(new EditorsLanguageKit());
    platform.addOperationFactory(EditorsLanguageKit.URI, GenericBuilderAdapterOperation.ID, new IBuilderFactory() {

        public IBuilder create(IBuilder strategy, IEntityContext entityContext) {
            return new EditorsGenericBuilderAdapter((IEditorsBuilder) strategy, entityContext);
        }
    });
    platform.addOperationFactory(EditorsLanguageKit.URI, SpecificBuilderAdapterOperation.ID, new IBuilderFactory() {

        public IBuilder create(IBuilder strategy, IEntityContext entityContext) {
            return new EditorsSpecificBuilderAdapter(strategy, entityContext);
        }
    });
}
Also used : IBuilder(org.whole.lang.builders.IBuilder) EditorsSpecificBuilderAdapter(org.whole.lang.editors.builders.EditorsSpecificBuilderAdapter) IEditorsBuilder(org.whole.lang.editors.builders.IEditorsBuilder) IEntityContext(org.whole.lang.contexts.IEntityContext) EditorsGenericBuilderAdapter(org.whole.lang.editors.builders.EditorsGenericBuilderAdapter) IBuilderFactory(org.whole.lang.builders.IBuilderFactory)

Example 2 with IEditorsBuilder

use of org.whole.lang.editors.builders.IEditorsBuilder in project whole by wholeplatform.

the class FirstOrderLogicTextualEditor method apply.

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();
}
Also used : IEditorsBuilder(org.whole.lang.editors.builders.IEditorsBuilder)

Example 3 with IEditorsBuilder

use of org.whole.lang.editors.builders.IEditorsBuilder in project whole by wholeplatform.

the class UntypedFirstOrderLogicTextualEditor method apply.

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();
}
Also used : IEditorsBuilder(org.whole.lang.editors.builders.IEditorsBuilder)

Aggregations

IEditorsBuilder (org.whole.lang.editors.builders.IEditorsBuilder)3 IBuilder (org.whole.lang.builders.IBuilder)1 IBuilderFactory (org.whole.lang.builders.IBuilderFactory)1 IEntityContext (org.whole.lang.contexts.IEntityContext)1 EditorsGenericBuilderAdapter (org.whole.lang.editors.builders.EditorsGenericBuilderAdapter)1 EditorsSpecificBuilderAdapter (org.whole.lang.editors.builders.EditorsSpecificBuilderAdapter)1