Package org.eclipse.mcp

Interface IMCPElementPropertyInput

All Superinterfaces:
org.eclipse.core.runtime.IAdaptable
public interface IMCPElementPropertyInput extends org.eclipse.core.runtime.IAdaptable
Tools and Resource Managers declared in extension point org.eclipse.mcp.modelContextProtocolServer can have 1 or more propertyPage elements declared. These are ids of an org.eclipse.ui.propertyPages extension and can be used to enable end-users to customize preferences and behaviors of a Tool or Resource Manager for a particular server. When a user edits a servers Tool or Resource Manager, any declared propertyPage will be loaded in a properties editor. Your implementations of org.eclipse.ui.propertyPages can call IAdaptable org.eclipse.ui.dialogs.PropertyPage.getElement() to fetch the IMCPElementPropertyInput the dialog was opened on. Your propertyPage can use the IMCPElementPropertyInput to load and save any applied user changes.

  • Method Summary

    Modifier and Type
    Method
    Description
    void
    applySettings(org.eclipse.ui.dialogs.PropertyPage page, org.eclipse.jface.dialogs.DialogSettings settings)
     
    String
    getElementId()
     
    String
    getServerId()
     
    org.eclipse.jface.dialogs.DialogSettings
    loadCurrentSettings(org.eclipse.ui.dialogs.PropertyPage page)
     

    Methods inherited from interface org.eclipse.core.runtime.IAdaptable

    getAdapter

  • Method Details

    • getServerId

      String getServerId()
      Returns:
      the MCP server id

    • getElementId

      String getElementId()
      Returns:
      the id of a server tool or resource manager

    • loadCurrentSettings

      org.eclipse.jface.dialogs.DialogSettings loadCurrentSettings(org.eclipse.ui.dialogs.PropertyPage page)
      Parameters:
      page - A custom property page associated with an MCP Server's tool or Resource manager
      Returns:
      a DialogSettings holding the currently saved values for the page argument

    • applySettings

      void applySettings(org.eclipse.ui.dialogs.PropertyPage page, org.eclipse.jface.dialogs.DialogSettings settings)
      Parameters:
      page - A custom property page associated with an MCP Server's tool or Resource manager
      settings - a DialogSettings holding values a user is applying from page argument