Record Class HealingLocatorProposal

java.lang.Object
java.lang.Record
com.shaft.doctor.repair.HealingLocatorProposal
Record Components:
schemaVersion - proposal schema version
proposalId - proposal identifier
healingAttemptId - source healing attempt
sourcePath - repository-relative source path
sourceLine - mapped source line
originalExpression - exact original Java locator expression
proposedExpression - proposed replacement Java locator expression
confidence - verified healing confidence
evidence - bounded evidence references
sourceSha256 - source checksum used for stale-source detection
proposedSourceSha256 - complete proposed source checksum
patch - structured Doctor patch for an isolated proposal
approvalToken - review token
manifestPath - persisted proposal manifest
public record HealingLocatorProposal(String schemaVersion, String proposalId, String healingAttemptId, String sourcePath, int sourceLine, String originalExpression, String proposedExpression, double confidence, List<String> evidence, String sourceSha256, String proposedSourceSha256, DoctorRepairRequest.FilePatch patch, String approvalToken, String manifestPath) extends Record
Proposal-only bridge from a verified SHAFT Heal report to the isolated SHAFT Doctor repair workflow.

  • Field Details

  • Constructor Details

  • 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. 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.

    • schemaVersion

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

    • proposalId

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

    • healingAttemptId

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

    • sourcePath

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

    • sourceLine

      public int sourceLine()
      Returns the value of the sourceLine record component.
      Returns:
      the value of the sourceLine record component

    • originalExpression

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

    • proposedExpression

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

    • confidence

      public double confidence()
      Returns the value of the confidence record component.
      Returns:
      the value of the confidence record component

    • evidence

      public List<String> evidence()
      Returns the value of the evidence record component.
      Returns:
      the value of the evidence record component

    • sourceSha256

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

    • proposedSourceSha256

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

    • patch

      public DoctorRepairRequest.FilePatch patch()
      Returns the value of the patch record component.
      Returns:
      the value of the patch record component

    • approvalToken

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

    • manifestPath

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