Record Class ReleaseRecord

java.lang.Object
java.lang.Record
network.ike.workspace.ReleaseRecord
Record Components:
mission - the mission label, e.g. komet-wsr-1; never blank
started - when the mission opened (opaque caller-supplied text, typically an ISO date); null when unknown
members - released members in release order, keyed by subproject name; never null, possibly empty
public record ReleaseRecord(String mission, String started, Map<String, ReleaseRecord.MemberRelease> members) extends Record
One release mission of a working set — the typed model behind releases/release-<mission>.yaml in the workspace root (IKE-Network/ike-issues#973; shape settled 2026-08-10: one file per mission, one row per released member, finalized by the mission's workspace-root release).

Terminology (IKE-Network/ike-issues#1038, settled 2026-08-17): the working-set release iteration is a mission — numbered, launched on go/no-go, aborted by ws:release-rollback, reported by the record and its what-changed notes. "Cycle" now names only graph cycles. Records written before the rename carry a cycle: key; the reader accepts both spellings forever, since shipped records live in immutable tagged trees.

ws:record-release appends a ReleaseRecord.MemberRelease row each time a member releases; together with the member's manifest state transition (see ManifestWriter.recordReleaseAlignment(String, String, String, String)) the two writes are the same manifest evolution: the record says what released, the state entry makes alignment and the release cascade obey it.

Instances are immutable; withMember(String, MemberRelease) returns an updated copy. Member insertion order is preserved — the record file reads in release order.

  • Constructor Details

    • ReleaseRecord

      public ReleaseRecord(String mission, String started, Map<String, ReleaseRecord.MemberRelease> members)
      Validate and defensively copy: the mission label is required and the member map is copied into an unmodifiable insertion-ordered map.
      Throws:
      ManifestException - if mission is null or blank, or members is null

  • Method Details

    • cycle

      @Deprecated(since="249") public String cycle()
      Deprecated.
      use mission()
      The mission label under its pre-rename name, for callers not yet moved to mission() (IKE-Network/ike-issues#1038).
      Returns:
      the mission label

    • start

      public static ReleaseRecord start(String mission, String started)
      Open a new, empty mission record.
      Parameters:
      mission - the mission label, e.g. komet-wsr-1
      started - when the mission opened (opaque caller-supplied text); may be null
      Returns:
      an empty record for the mission
      Throws:
      ManifestException - if mission is null or blank

    • withMember

      public ReleaseRecord withMember(String name, ReleaseRecord.MemberRelease release)
      Return a copy of this record with the given member's row added, or replaced when the member already has one (a member re-released within the mission keeps a single row carrying the latest release). A replaced member keeps its original position; a new member appends.
      Parameters:
      name - the subproject name; never blank
      release - the member's release row
      Returns:
      a new record including the row
      Throws:
      ManifestException - if name is null or blank or release is null

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

    • mission

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

    • started

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

    • members

      public Map<String, ReleaseRecord.MemberRelease> members()
      Returns the value of the members record component.
      Returns:
      the value of the members record component