Package com.github.copilot.sdk.generated.rpc

Record Class SessionFsStatResult

java.lang.Object
java.lang.Record
com.github.copilot.sdk.generated.rpc.SessionFsStatResult
@Generated("copilot-sdk-codegen") public record SessionFsStatResult(Boolean isFile, Boolean isDirectory, Double size, String mtime, String birthtime) extends Record
Result for the sessionFs.stat RPC method.
Since:
1.0.0

  • Constructor Summary

    Constructors
    Constructor
    Description
    SessionFsStatResult(Boolean isFile, Boolean isDirectory, Double size, String mtime, String birthtime)
    Creates an instance of a SessionFsStatResult record class.

  • Method Summary

    Modifier and Type
    Method
    Description
    String
    birthtime()
    Returns the value of the birthtime record component.
    final boolean
    equals(Object o)
    Indicates whether some other object is "equal to" this one.
    final int
    hashCode()
    Returns a hash code value for this object.
    Boolean
    isDirectory()
    Returns the value of the isDirectory record component.
    Boolean
    isFile()
    Returns the value of the isFile record component.
    String
    mtime()
    Returns the value of the mtime record component.
    Double
    size()
    Returns the value of the size record component.
    final String
    toString()
    Returns a string representation of this record class.

    Methods inherited from class java.lang.Object

    getClass, notify, notifyAll, wait, wait, wait

  • Constructor Details

    • SessionFsStatResult

      public SessionFsStatResult(Boolean isFile, Boolean isDirectory, Double size, String mtime, String birthtime)
      Creates an instance of a SessionFsStatResult record class.
      Parameters:
      isFile - the value for the isFile record component
      isDirectory - the value for the isDirectory record component
      size - the value for the size record component
      mtime - the value for the mtime record component
      birthtime - the value for the birthtime 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.

    • isFile

      public Boolean isFile()
      Returns the value of the isFile record component.
      Returns:
      the value of the isFile record component

    • isDirectory

      public Boolean isDirectory()
      Returns the value of the isDirectory record component.
      Returns:
      the value of the isDirectory record component

    • size

      public Double size()
      Returns the value of the size record component.
      Returns:
      the value of the size record component

    • mtime

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

    • birthtime

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