Record Class ManagedSettingsResolveParams

java.lang.Object
java.lang.Record
com.github.copilot.generated.rpc.ManagedSettingsResolveParams
@CopilotExperimental @Generated("copilot-sdk-codegen") public record ManagedSettingsResolveParams(String selectionId, String gitHubToken, String clientName, String workingDirectory) extends Record
Request parameters for the managedSettings.resolve RPC method.
Since:
1.0.0

  • Constructor Details

    • ManagedSettingsResolveParams

      public ManagedSettingsResolveParams(String selectionId, String gitHubToken, String clientName)
      Creates managed-settings resolution parameters without a working directory.
      Parameters:
      selectionId - Opaque account identifier returned by `account.getAllUsers`. When omitted, the current account is used, or device policy only when no account is signed in.
      gitHubToken - GitHub token to resolve instead of the current account. The call fails when the token cannot be resolved.
      clientName - Embedding client identity for server policy requests, as in session creation. Omit for the CLI identity.

    • ManagedSettingsResolveParams

      public ManagedSettingsResolveParams(String selectionId, String gitHubToken, String clientName, String workingDirectory)
      Creates an instance of a ManagedSettingsResolveParams record class.
      Parameters:
      selectionId - the value for the selectionId record component
      gitHubToken - the value for the gitHubToken record component
      clientName - the value for the clientName record component
      workingDirectory - the value for the workingDirectory record component

  • Method Details

    • toString

      public final String toString()
      Returns a string representation of this record class. The representation contains the name of the class, followed by the name and value of each of the record components.
      Specified by:
      toString in class Record
      Returns:
      a string representation of this object

    • hashCode

      public final int hashCode()
      Returns a hash code value for this object. The value is derived from the hash code of each of the record components.
      Specified by:
      hashCode in class Record
      Returns:
      a hash code value for this object

    • equals

      public final boolean equals(Object o)
      Indicates whether some other object is "equal to" this one. The objects are equal if the other object is of the same class and if all the record components are equal. All components in this record class are compared with Objects::equals(Object,Object).
      Specified by:
      equals in class Record
      Parameters:
      o - the object with which to compare
      Returns:
      true if this object is the same as the o argument; false otherwise.

    • selectionId

      public String selectionId()
      Returns the value of the selectionId record component.
      Returns:
      the value of the selectionId record component

    • gitHubToken

      public String gitHubToken()
      Returns the value of the gitHubToken record component.
      Returns:
      the value of the gitHubToken record component

    • clientName

      public String clientName()
      Returns the value of the clientName record component.
      Returns:
      the value of the clientName record component

    • workingDirectory

      public String workingDirectory()
      Returns the value of the workingDirectory record component.
      Returns:
      the value of the workingDirectory record component