Record Class DoctorRepairAiRequest

java.lang.Object
java.lang.Record
com.shaft.doctor.repair.DoctorRepairAiRequest
Record Components:
enabled - whether provider patch generation is requested
approvalPolicy - processing-location and evidence-category approval
timeout - provider timeout
budget - provider budget
maxSourceFiles - maximum approved source files submitted
maxSourceBytes - maximum aggregate submitted source bytes
maxResponseBytes - maximum structured response bytes

public record DoctorRepairAiRequest(boolean enabled, com.shaft.pilot.ai.ApprovalPolicy approvalPolicy, Duration timeout, com.shaft.pilot.ai.AiBudget budget, int maxSourceFiles, long maxSourceBytes, long maxResponseBytes) extends Record
Explicit policy for optional provider-generated structured repair patches.
  • Constructor Details

    • DoctorRepairAiRequest

      public DoctorRepairAiRequest(boolean enabled, com.shaft.pilot.ai.ApprovalPolicy approvalPolicy, Duration timeout, com.shaft.pilot.ai.AiBudget budget, int maxSourceFiles, long maxSourceBytes, long maxResponseBytes)
      Creates a validated provider patch policy.
  • Method Details

    • defaults

      public static DoctorRepairAiRequest defaults(com.shaft.pilot.ai.ApprovalPolicy approvalPolicy)
      Creates conservative enabled defaults.
      Parameters:
      approvalPolicy - explicit provider approval
      Returns:
      enabled request
    • 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. Reference components are compared with Objects::equals(Object,Object); primitive components are compared with the compare method from their corresponding wrapper classes.
      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.
    • enabled

      public boolean enabled()
      Returns the value of the enabled record component.
      Returns:
      the value of the enabled record component
    • approvalPolicy

      public com.shaft.pilot.ai.ApprovalPolicy approvalPolicy()
      Returns the value of the approvalPolicy record component.
      Returns:
      the value of the approvalPolicy record component
    • timeout

      public Duration timeout()
      Returns the value of the timeout record component.
      Returns:
      the value of the timeout record component
    • budget

      public com.shaft.pilot.ai.AiBudget budget()
      Returns the value of the budget record component.
      Returns:
      the value of the budget record component
    • maxSourceFiles

      public int maxSourceFiles()
      Returns the value of the maxSourceFiles record component.
      Returns:
      the value of the maxSourceFiles record component
    • maxSourceBytes

      public long maxSourceBytes()
      Returns the value of the maxSourceBytes record component.
      Returns:
      the value of the maxSourceBytes record component
    • maxResponseBytes

      public long maxResponseBytes()
      Returns the value of the maxResponseBytes record component.
      Returns:
      the value of the maxResponseBytes record component