コード例 #1
0
  /** @see org.openquark.gems.client.valueentry.ValueEditor#editorActivated() */
  @Override
  public void editorActivated() {

    DataConstructor dataCons = getDataConstructor();

    for (final DataConstructorEditorPanel childEditor : editorPanelList) {

      if (dataCons.getName().equals(childEditor.getDataConstructor().getName())) {
        focusChangeListener.setFocusedPanel(childEditor);
        break;
      }
    }
  }
コード例 #2
0
  /** @see org.openquark.gems.client.valueentry.ValueEditor#setInitialValue() */
  @Override
  public void setInitialValue() {

    DataConstructorValueNode valueNode = getDataConstructorValueNode();
    TypeExpr valueNodeTypeExpr = valueNode.getTypeExpr();

    QualifiedName typeConstructorName = valueNode.getTypeExpr().rootTypeConsApp().getName();
    DataConstructor[] dataConsList =
        valueEditorManager.getPerspective().getDataConstructorsForType(typeConstructorName);

    DataConstructor currentDataCons = valueNode.getDataConstructor();

    ValueEditorListener childListener = new ChildValueEditorListener();
    KeyAdapter editorPanelKeyListener = new EditorPanelKeyListener();

    boolean haveAddedPanel = false;
    FontMetrics fontMetrics = getFontMetrics(getFont().deriveFont(Font.BOLD));
    ScopedEntityNamingPolicy namingPolicy =
        new UnqualifiedUnlessAmbiguous(
            valueEditorManager.getPerspective().getWorkingModuleTypeInfo());

    // Remove components in case this is called twice.
    contentPanel.removeAll();

    // Create an editor panel for each supported data constructor.
    for (final DataConstructor dataCons : dataConsList) {

      DataConstructorValueNode newValueNode = null;

      if (currentDataCons.getName().equals(dataCons.getName())) {

        // If this is the current data constructor, just transmute the value node.
        newValueNode =
            (DataConstructorValueNode)
                valueNode.transmuteValueNode(
                    valueEditorManager.getValueNodeBuilderHelper(),
                    valueEditorManager.getValueNodeTransformer(),
                    valueNodeTypeExpr);
      } else {

        // Create a new value node.  newValueNode will be null if the data constructor is not
        // supported.
        newValueNode =
            valueEditorManager
                .getValueNodeBuilderHelper()
                .getValueNodeProvider(DataConstructorValueNode.class)
                .getNodeInstance(null, dataCons, valueNodeTypeExpr);
      }

      // Create a data constructor editor panel if the data constructor is supported.
      if (newValueNode != null) {

        DataConstructorEditorPanel editorPanel = new DataConstructorEditorPanel(this, newValueNode);
        editorPanel.setFocusedLook(false);
        editorPanel.setAlignmentX(Component.LEFT_ALIGNMENT);
        editorPanel.addArgumentEditorListener(childListener);
        editorPanel.addKeyListener(editorPanelKeyListener);

        if (haveAddedPanel) {
          contentPanel.add(new JSeparator(SwingConstants.HORIZONTAL));
        }

        editorPanelList.add(editorPanel);
        contentPanel.add(editorPanel);

        haveAddedPanel = true;

        int titleLength = fontMetrics.stringWidth(dataCons.getAdaptedName(namingPolicy));
        if (titleLength > longestNameLength) {
          longestNameLength = titleLength;
        }
      }
    }

    // Make the width of all title labels the same so that the editor panels align.
    for (final DataConstructorEditorPanel dataConstructorEditorPanel : editorPanelList) {
      dataConstructorEditorPanel.setTitleLabelWidth(longestNameLength);
    }

    // If we have only one child editor, remove the focus listener.
    // Also make the only editor's value entry panels visible, but give it the normal background.
    if (editorPanelList.size() == 1) {
      removeFocusListener();
      DataConstructorEditorPanel childEditor = editorPanelList.get(0);
      childEditor.setFocusedLook(false);
      childEditor.setArgumentEditorsVisible(true);
    }

    resetSize();
  }