Uploaded image for project: 'Specification'
  1. SPEC-209

Minor changes to correctly define AUTHORED_RESOURCE.current _revision

    Details

    • Change Description:
      Hide
      Changes made:

      - to AUTHORED_RESOURCE.current _revision: add a post condition:
          Result = revision_history.most_recent_version

      - to REVISION_HISTORY add the routines:
          most_recent_version: String
                  -- The version id of the most recent item, as
                  -- a String.
              ensure
                  Result.is_equal (item.first.version_id.value)

          most_recent_version_time_committed: String
                  -- The commit date/time of the most recent item, as
                  -- a String.
              ensure
                  Result.is_equal (item.first.time_committed.value)

      -- in the support.assumed_types package, add a minimal class
         defintion for List<T>, that includes at least the routine
         first: T
      Show
      Changes made: - to AUTHORED_RESOURCE.current _revision: add a post condition:     Result = revision_history.most_recent_version - to REVISION_HISTORY add the routines:     most_recent_version: String             -- The version id of the most recent item, as             -- a String.         ensure             Result.is_equal (item.first.version_id.value)     most_recent_version_time_committed: String             -- The commit date/time of the most recent item, as             -- a String.         ensure             Result.is_equal (item.first.time_committed.value) -- in the support.assumed_types package, add a minimal class    defintion for List<T>, that includes at least the routine    first: T
    • Approved By:
      PG

      Description

      AUTHORED_RESOURCE.current _revision (Common.resource package) is not
      sufficiently defined. It should be defined to return either the word
      "(uncontrolled)" or else a stringified form of the most recently added
      version to the revision_history. Formally defining this requires that
      we specify which order the revision history is in.

        Attachments

          Activity

            People

            • Assignee:
              OLDthomasbeale JeffJ
              Reporter:
              yinsulim Yin Su Lim
            • Votes:
              0 Vote for this issue
              Watchers:
              0 Start watching this issue

              Dates

              • Created:
                Updated:
                Resolved: