Package com.github.copilot.sdk.json

Class PermissionRequestResultKind

java.lang.Object
com.github.copilot.sdk.json.PermissionRequestResultKind
public final class PermissionRequestResultKind extends Object
Describes the outcome kind of a permission request result.

This is a string-backed value type that can hold both well-known kinds (via the static constants) and arbitrary extension values forwarded by the server. Comparisons are case-insensitive to match server behaviour.

Well-known kinds

  • APPROVED — the permission was approved for this one instance.
  • REJECTED — the permission was denied interactively by the user.
  • USER_NOT_AVAILABLE — the permission was denied because user confirmation was unavailable.
  • NO_RESULT — no permission decision was made.
Since:
1.1.0
See Also:

  • Field Details

    • APPROVED

      public static final PermissionRequestResultKind APPROVED
      The permission was approved for this one instance.

    • REJECTED

      public static final PermissionRequestResultKind REJECTED
      The permission was denied interactively by the user.

    • USER_NOT_AVAILABLE

      public static final PermissionRequestResultKind USER_NOT_AVAILABLE
      The permission was denied because user confirmation was unavailable.

    • NO_RESULT

      public static final PermissionRequestResultKind NO_RESULT
      Leaves the pending permission request unanswered.

      When the SDK is used as an extension and the extension's permission handler cannot or chooses not to handle a given permission request, it can return NO_RESULT to leave the request unanswered, allowing another client to handle it.

      Warning: This kind is only valid with protocol v3 servers (broadcast permission model). When connected to a protocol v2 server, the SDK will throw IllegalStateException because v2 expects exactly one response per permission request.

    • DENIED_INTERACTIVELY_BY_USER

      @Deprecated public static final PermissionRequestResultKind DENIED_INTERACTIVELY_BY_USER
      Deprecated.
      Use REJECTED instead.

    • DENIED_COULD_NOT_REQUEST_FROM_USER

      @Deprecated public static final PermissionRequestResultKind DENIED_COULD_NOT_REQUEST_FROM_USER
      Deprecated.
      Use USER_NOT_AVAILABLE instead.

    • DENIED_BY_RULES

      @Deprecated public static final PermissionRequestResultKind DENIED_BY_RULES
      Deprecated.
      Use USER_NOT_AVAILABLE instead.

  • Constructor Details

    • PermissionRequestResultKind

      public PermissionRequestResultKind(String value)
      Creates a new PermissionRequestResultKind with the given string value. Useful for extension kinds not covered by the well-known constants.
      Parameters:
      value - the string value; null is treated as an empty string

  • Method Details

    • getValue

      public String getValue()
      Returns the underlying string value of this kind.
      Returns:
      the string value, never null

    • toString

      public String toString()
      Overrides:
      toString in class Object

    • equals

      public boolean equals(Object obj)
      Overrides:
      equals in class Object

    • hashCode

      public int hashCode()
      Overrides:
      hashCode in class Object