VersionOf:
CEDAR
DEFINITIONS = {
ROPE: TYPE = Rope.ROPE;
Context: TYPE = AMModel.Context;
ContextList: TYPE = LIST OF Context;
VersionStamp: TYPE = BcdDefs.VersionStamp;
VersionStampList: TYPE = LIST OF VersionStamp;
NamedContexts:
PROC [name:
ROPE, context:
--worldRoot or model--Context ←
NIL
--means root of this world--]
RETURNS [contexts: ContextList];
Like AMModel.NamedContexts, except it returns a list.
VersionOfBcd: PROC [fileName: ROPE] RETURNS [version: VersionStamp];
GetVersions: PROC [name: ROPE, context: --worldRoot or model--Context ← NIL--means root of this world--] RETURNS [versions: VersionStampList];
}.