We're updating the issue view to help you get more done.Learn more

Minor changes to correctly define AUTHORED_RESOURCE.current _revision

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.

Status

Assignee

JeffJ

Reporter

Yin Su Lim

Change Description

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

Fix versions

Priority

Trivial