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