コード例 #1
0
  @Override
  public void commitValue() {

    IntellicutListEntry listEntry =
        (IntellicutListEntry) intellicutPanel.getIntellicutList().getSelectedValue();

    if (listEntry != null) {

      GemEntity gemEntity = (GemEntity) listEntry.getData();
      ModuleTypeInfo currentModuleInfo =
          valueEditorManager.getPerspective().getWorkingModuleTypeInfo();
      TypeExpr valueNodeType = getValueNode().getTypeExpr();
      TypeExpr functionType = gemEntity.getTypeExpr();
      TypeExpr unifiedType;

      try {
        unifiedType = TypeExpr.unify(valueNodeType, functionType, currentModuleInfo);
      } catch (TypeException e) {
        throw new IllegalStateException(e.getMessage());
      }

      GemEntityValueNode newValueNode = new GemEntityValueNode(gemEntity, unifiedType);
      replaceValueNode(newValueNode, true);
    }

    super.commitValue();
  }
コード例 #2
0
    @Override
    protected IntellicutInfo getIntellicutInfo(IntellicutListEntry data) {

      if (data.getTypeExpr().getArity() != getValueNode().getTypeExpr().getArity()) {
        return null;
      }

      return getIntellicutInfo(
          data, getValueNode().getTypeExpr(), valueEditorManager.getTypeCheckInfo(), false, null);
    }
コード例 #3
0
  /** {@inheritDoc} */
  @Override
  protected void commitValue() {

    IntellicutListEntry listEntry =
        (IntellicutListEntry) intellicutPanel.getIntellicutList().getSelectedValue();

    if (listEntry != null) {

      // Note: For TypeExpr which contains uninstantiated TypeVars, we must 'duplicate' them
      // somehow.
      TypeExpr instanceTypeExpr = ((TypeExpr) listEntry.getData()).copyTypeExpr();
      ValueNode replacement =
          getOwnerValueNode()
              .transmuteValueNode(
                  valueEditorManager.getValueNodeBuilderHelper(),
                  valueEditorManager.getValueNodeTransformer(),
                  instanceTypeExpr);

      // Get the TypeVar that we are instantiating.
      replaceValueNode(replacement, true);

      notifyValueCommitted();
    }
  }
コード例 #4
0
    @Override
    public String getToolTipTextForEntry(IntellicutListEntry listEntry, JComponent invoker) {

      Object listEntryData = listEntry.getData();
      if (listEntryData instanceof RecordType) {

        return "<html><body><b>Prelude Record</b></body></html>";

      } else if (listEntryData instanceof TypeConsApp) {

        TypeConsApp typeConsApp = (TypeConsApp) listEntryData;
        QualifiedName typeConsName = typeConsApp.getName();

        TypeConstructor typeCons =
            valueEditorManager.getPerspective().getTypeConstructor(typeConsName);
        return ToolTipHelpers.getEntityToolTip(
            typeCons, getNamingPolicy(), valueEditorManager.getWorkspace(), invoker);

      } else {
        throw new IllegalStateException("ParametricValueEditor: Unsupported list entry type");
      }
    }