private EditorCell createReadOnlyModelAccessor_du6pr9_c2b1b0(
      final EditorContext editorContext, final SNode node) {
    EditorCell_Property editorCell =
        EditorCell_Property.create(
            editorContext,
            new ModelAccessor() {
              public String getText() {
                return "Alt-" + SPropertyOperations.getString(node, "number");
              }

              public void setText(String s) {}

              public boolean isValidText(String s) {
                return EqualUtil.equals(s, this.getText());
              }
            },
            node);
    editorCell.setAction(CellActionType.DELETE, new CellAction_Empty());
    editorCell.setCellId("ReadOnlyModelAccessor_du6pr9_c2b1b0");
    {
      Style style = editorCell.getStyle();
      style.set(StyleAttributes.SELECTABLE, false);
      style.set(StyleAttributes.TEXT_COLOR, MPSColors.darkGray);
    }
    return editorCell;
  }
 public static Style getJavaDoc(final EditorCell cell) {
   Style style = new Style(cell);
   style.set(StyleAttributes.TEXT_COLOR, MPSColors.gray);
   style.set(StyleAttributes.FONT_STYLE, MPSFonts.BOLD_ITALIC);
   style.set(StyleAttributes.UNDERLINED, true);
   return style;
 }
 public static Style getRightAngleBracket(final EditorCell cell) {
   Style style = new Style(cell);
   style.putAll(BaseLanguageStyle_StyleSheet.getAngleBracket(null));
   style.set(StyleAttributes.PUNCTUATION_LEFT, true);
   style.set(StyleAttributes.PUNCTUATION_RIGHT, true);
   return style;
 }
 public static Style getDot(final EditorCell cell) {
   Style style = new Style(cell);
   style.set(StyleAttributes.PUNCTUATION_LEFT, true);
   style.set(StyleAttributes.PUNCTUATION_RIGHT, true);
   style.set(StyleAttributes.SELECTABLE, false);
   return style;
 }
 private EditorCell createProperty_uugm4e_a0a0(EditorContext editorContext, SNode node) {
   CellProviderWithRole provider = new PropertyCellProvider(node, editorContext);
   provider.setRole("elementName");
   provider.setNoTargetText("<no elementName>");
   provider.setReadOnly(true);
   EditorCell editorCell;
   editorCell = provider.createEditorCell(editorContext);
   editorCell.setCellId("property_elementName");
   {
     Style style = editorCell.getStyle();
     style.set(StyleAttributes.FONT_STYLE, MPSFonts.BOLD);
     style.set(
         StyleAttributes.TEXT_COLOR,
         new AttributeCalculator<Color>() {
           public Color calculate(EditorCell cell) {
             return ElementReference_Editor._Inline_uugm4e_a0a
                 ._StyleParameter_QueryFunction_uugm4e_a1a0a0(
                     (cell == null ? null : cell.getSNode()),
                     (cell == null ? null : cell.getEditorContext()));
           }
         });
   }
   editorCell.setSubstituteInfo(provider.createDefaultSubstituteInfo());
   SNode attributeConcept = provider.getRoleAttribute();
   Class attributeKind = provider.getRoleAttributeClass();
   if (attributeConcept != null) {
     IOperationContext opContext = editorContext.getOperationContext();
     EditorManager manager = EditorManager.getInstanceFromContext(opContext);
     return manager.createRoleAttributeCell(
         editorContext, attributeConcept, attributeKind, editorCell);
   } else return editorCell;
 }
 private EditorCell createCollection_1x071y_a(EditorContext editorContext, SNode node) {
   EditorCell_Collection editorCell = EditorCell_Collection.createIndent2(editorContext, node);
   editorCell.setCellId("Collection_1x071y_a");
   {
     Style style = editorCell.getStyle();
     style.set(StyleAttributes.SELECTABLE, true);
   }
   editorCell.addEditorCell(this.createComponent_1x071y_a0(editorContext, node));
   editorCell.addEditorCell(this.createComponent_1x071y_b0(editorContext, node));
   editorCell.addEditorCell(this.createComponent_1x071y_c0(editorContext, node));
   if (renderingCondition_1x071y_a3a(
       node, editorContext, editorContext.getOperationContext().getScope())) {
     editorCell.addEditorCell(this.createComponent_1x071y_d0(editorContext, node));
   }
   editorCell.addEditorCell(this.createProperty_1x071y_e0(editorContext, node));
   editorCell.addEditorCell(this.createConstant_1x071y_f0(editorContext, node));
   editorCell.addEditorCell(this.createRefNodeList_1x071y_g0(editorContext, node));
   editorCell.addEditorCell(this.createConstant_1x071y_h0(editorContext, node));
   if (renderingCondition_1x071y_a8a(
       node, editorContext, editorContext.getOperationContext().getScope())) {
     editorCell.addEditorCell(this.createCollection_1x071y_i0(editorContext, node));
   }
   editorCell.addEditorCell(this.createComponent_1x071y_j0(editorContext, node));
   if (renderingCondition_1x071y_a01a(
       node, editorContext, editorContext.getOperationContext().getScope())) {
     editorCell.addEditorCell(this.createConstant_1x071y_k0(editorContext, node));
   }
   return editorCell;
 }
 public static Style getCommentTag(final EditorCell cell) {
   Style style = new Style(cell);
   style.putAll(DocumentationCommentStyleSheet_StyleSheet.getComment(null));
   style.set(StyleAttributes.FONT_STYLE, MPSFonts.BOLD_ITALIC);
   style.set(StyleAttributes.UNDERLINED, true);
   style.set(StyleAttributes.TEXT_COLOR, MPSColors.gray);
   return style;
 }
示例#8
0
 private EditorCell createComponent_2jlgx_a0(EditorContext editorContext, SNode node) {
   AbstractCellProvider provider = new IMethodCall_typeArguments(node);
   EditorCell editorCell = provider.createEditorCell(editorContext);
   {
     Style style = editorCell.getStyle();
     style.set(StyleAttributes.SELECTABLE, false);
   }
   return editorCell;
 }
 private EditorCell createComponent_1x071y_a0(EditorContext editorContext, SNode node) {
   AbstractCellProvider provider = new _DeprecatedPart(node);
   EditorCell editorCell = provider.createEditorCell(editorContext);
   {
     Style style = editorCell.getStyle();
     style.set(StyleAttributes.INDENT_LAYOUT_NEW_LINE, true);
   }
   return editorCell;
 }
示例#10
0
 private EditorCell createComponent_h8u2a4_c0(EditorContext editorContext, SNode node) {
   AbstractCellProvider provider = new MessageComponent(node);
   EditorCell editorCell = provider.createEditorCell(editorContext);
   {
     Style style = editorCell.getStyle();
     style.set(StyleAttributes.SELECTABLE, false);
   }
   return editorCell;
 }
示例#11
0
 private EditorCell createCollection_bwxq1q_b0(EditorContext editorContext, SNode node) {
   EditorCell_Collection editorCell = EditorCell_Collection.createHorizontal(editorContext, node);
   editorCell.setCellId("Collection_bwxq1q_b0");
   {
     Style style = editorCell.getStyle();
     style.set(StyleAttributes.SELECTABLE, false);
   }
   editorCell.addEditorCell(this.createCollection_bwxq1q_a1a(editorContext, node));
   return editorCell;
 }
 private EditorCell createConstant_p6qpij_c2a(EditorContext editorContext, SNode node) {
   EditorCell_Constant editorCell = new EditorCell_Constant(editorContext, node, ")");
   editorCell.setCellId("Constant_p6qpij_c2a");
   {
     Style style = editorCell.getStyle();
     style.set(StyleAttributes.PUNCTUATION_LEFT, true);
   }
   editorCell.setDefaultText("");
   return editorCell;
 }
示例#13
0
 private EditorCell createEmpty_sjqidp_a0a(EditorContext editorContext, SNode node) {
   EditorCell_Empty editorCell = new EditorCell_Empty(editorContext, node);
   editorCell.setCellId("Empty_sjqidp_a0a");
   {
     Style style = editorCell.getStyle();
     style.set(StyleAttributes.PUNCTUATION_LEFT, true);
     style.set(StyleAttributes.PUNCTUATION_RIGHT, true);
   }
   return editorCell;
 }
示例#14
0
 private EditorCell createConstant_ryq81t_b0(EditorContext editorContext, SNode node) {
   EditorCell_Constant editorCell = new EditorCell_Constant(editorContext, node, "[]");
   editorCell.setCellId("Constant_ryq81t_b0");
   {
     Style style = editorCell.getStyle();
     style.set(StyleAttributes.TEXT_COLOR, MPSColors.DARK_BLUE);
   }
   editorCell.setDefaultText("");
   return editorCell;
 }
示例#15
0
 private EditorCell createConstant_h8u2a4_a0(EditorContext editorContext, SNode node) {
   EditorCell_Constant editorCell = new EditorCell_Constant(editorContext, node, "assert true");
   editorCell.setCellId("Constant_h8u2a4_a0");
   {
     Style style = editorCell.getStyle();
     style.set(StyleAttributes.TEXT_COLOR, MPSColors.blue);
   }
   editorCell.setDefaultText("");
   return editorCell;
 }
示例#16
0
 private EditorCell createConstant_4kucyt_a3a(EditorContext editorContext, SNode node) {
   EditorCell_Constant editorCell = new EditorCell_Constant(editorContext, node, "<no icon>");
   editorCell.setCellId("Constant_4kucyt_a3a");
   {
     Style style = editorCell.getStyle();
     style.set(StyleAttributes.TEXT_COLOR, MPSColors.gray);
   }
   editorCell.setDefaultText("");
   return editorCell;
 }
示例#17
0
 private EditorCell createConstant_ajxa35_a1a(EditorContext editorContext, SNode node) {
   EditorCell_Constant editorCell = new EditorCell_Constant(editorContext, node, "");
   editorCell.setCellId("Constant_ajxa35_a1a");
   {
     Style style = editorCell.getStyle();
     style.set(StyleAttributes.EDITABLE, true);
   }
   editorCell.setDefaultText("");
   return editorCell;
 }
示例#18
0
 private EditorCell createConstant_dqg0vp_h0(EditorContext editorContext, SNode node) {
   EditorCell_Constant editorCell = new EditorCell_Constant(editorContext, node, "unit concepts:");
   editorCell.setCellId("Constant_dqg0vp_h0");
   {
     Style style = editorCell.getStyle();
     style.set(StyleAttributes.INDENT_LAYOUT_NEW_LINE, true);
   }
   editorCell.setDefaultText("");
   return editorCell;
 }
示例#19
0
 private EditorCell createConstant_f5bzsg_c0(EditorContext editorContext, SNode node) {
   EditorCell_Constant editorCell = new EditorCell_Constant(editorContext, node, "(out of scope)");
   editorCell.setCellId("Constant_f5bzsg_c0");
   {
     Style style = editorCell.getStyle();
     style.set(StyleAttributes.TEXT_COLOR, MPSColors.red);
   }
   editorCell.setDefaultText("");
   return editorCell;
 }
 private EditorCell createConstant_o0q9qg_f0(EditorContext editorContext, SNode node) {
   EditorCell_Constant editorCell = new EditorCell_Constant(editorContext, node, ";");
   editorCell.setCellId("Constant_o0q9qg_f0");
   {
     Style style = editorCell.getStyle();
     style.set(StyleAttributes.FONT_STYLE, MPSFonts.PLAIN);
   }
   editorCell.setDefaultText("");
   return editorCell;
 }
 private EditorCell createConstant_1x071y_a0(EditorContext editorContext, SNode node) {
   EditorCell_Constant editorCell = new EditorCell_Constant(editorContext, node, "annotations:");
   editorCell.setCellId("Constant_1x071y_a0");
   {
     Style style = editorCell.getStyle();
     style.set(StyleAttributes.INDENT_LAYOUT_NEW_LINE, true);
   }
   editorCell.setDefaultText("");
   return editorCell;
 }
示例#22
0
 private EditorCell createConstant_73o0fl_b1c0(EditorContext editorContext, SNode node) {
   EditorCell_Constant editorCell = new EditorCell_Constant(editorContext, node, ":");
   editorCell.setCellId("Constant_73o0fl_b1c0");
   {
     Style style = editorCell.getStyle();
     style.set(StyleAttributes.SELECTABLE, false);
   }
   editorCell.setDefaultText("");
   return editorCell;
 }
示例#23
0
 private EditorCell createConstant_uc5iyq_d0a(EditorContext editorContext, SNode node) {
   EditorCell_Constant editorCell = new EditorCell_Constant(editorContext, node, " */");
   editorCell.setCellId("Constant_uc5iyq_d0a");
   BaseLanguageStyle_StyleSheet.getComment(editorCell).apply(editorCell);
   {
     Style style = editorCell.getStyle();
     style.set(StyleAttributes.INDENT_LAYOUT_NEW_LINE, true);
   }
   editorCell.setDefaultText("");
   return editorCell;
 }
示例#24
0
 private EditorCell createConstant_fl5ndt_a1b1a(EditorContext editorContext, SNode node) {
   EditorCell_Constant editorCell = new EditorCell_Constant(editorContext, node, "icon");
   editorCell.setCellId("Constant_fl5ndt_a1b1a");
   BaseLanguageStyle_StyleSheet.getKeyWord(editorCell).apply(editorCell);
   {
     Style style = editorCell.getStyle();
     style.set(StyleAttributes.SELECTABLE, true);
   }
   editorCell.setDefaultText("");
   return editorCell;
 }
示例#25
0
 private EditorCell createAttributedNodeCell_73o0fl_c0(EditorContext editorContext, SNode node) {
   IOperationContext opContext = editorContext.getOperationContext();
   EditorManager manager = EditorManager.getInstanceFromContext(opContext);
   EditorCell editorCell = manager.getCurrentAttributedNodeCell();
   {
     Style style = editorCell.getStyle();
     style.set(StyleAttributes.DRAW_BRACKETS, true);
     style.set(StyleAttributes.BRACKETS_COLOR, MPSColors.pink);
   }
   return editorCell;
 }
 private EditorCell createConstant_9ahxcc_a0(EditorContext editorContext, SNode node) {
   EditorCell_Constant editorCell = new EditorCell_Constant(editorContext, node, "concept switch");
   editorCell.setCellId("Constant_9ahxcc_a0");
   BaseLanguageStyle_StyleSheet.getKeyWord(editorCell).apply(editorCell);
   {
     Style style = editorCell.getStyle();
     style.set(StyleAttributes.RT_ANCHOR_TAG, "ext_1_RTransform");
   }
   editorCell.setDefaultText("");
   return editorCell;
 }
示例#27
0
 private EditorCell createConstant_fl5ndt_b2b1a(EditorContext editorContext, SNode node) {
   EditorCell_Constant editorCell = new EditorCell_Constant(editorContext, node, ":");
   editorCell.setCellId("Constant_fl5ndt_b2b1a");
   {
     Style style = editorCell.getStyle();
     style.set(StyleAttributes.SELECTABLE, false);
     style.set(StyleAttributes.LAYOUT_CONSTRAINT, "punctuation");
   }
   editorCell.setDefaultText("");
   return editorCell;
 }
 private EditorCell createCollection_1x071y_i0(EditorContext editorContext, SNode node) {
   EditorCell_Collection editorCell = EditorCell_Collection.createIndent2(editorContext, node);
   editorCell.setCellId("Collection_1x071y_i0");
   {
     Style style = editorCell.getStyle();
     style.set(StyleAttributes.SELECTABLE, false);
   }
   editorCell.addEditorCell(this.createConstant_1x071y_a8a(editorContext, node));
   editorCell.addEditorCell(this.createRefNodeList_1x071y_b8a(editorContext, node));
   return editorCell;
 }
 private EditorCell createConstant_uv9f3e_c0(EditorContext editorContext, SNode node) {
   EditorCell_Constant editorCell = new EditorCell_Constant(editorContext, node, "]");
   editorCell.setCellId("Constant_uv9f3e_c0");
   {
     Style style = editorCell.getStyle();
     style.set(StyleAttributes.MATCHING_LABEL, "SquareBrace");
     style.set(StyleAttributes.PUNCTUATION_LEFT, true);
   }
   editorCell.setDefaultText("");
   return editorCell;
 }
示例#30
0
 private EditorCell createCollection_7k1qaw_c0(EditorContext editorContext, SNode node) {
   EditorCell_Collection editorCell = EditorCell_Collection.createHorizontal(editorContext, node);
   editorCell.setCellId("Collection_7k1qaw_c0");
   {
     Style style = editorCell.getStyle();
     style.set(StyleAttributes.SELECTABLE, false);
   }
   editorCell.addEditorCell(this.createIndentCell_7k1qaw_a2a(editorContext, node));
   editorCell.addEditorCell(this.createRefNode_7k1qaw_b2a(editorContext, node));
   return editorCell;
 }