<> <> <> <> DIRECTORY BasicTime USING [ GMT ], Convert USING [ TimeFromRope ], RPC USING [ VersionRange ], ThVersions; ThVersionsImpl: CEDAR PROGRAM IMPORTS Convert EXPORTS ThVersions = PUBLIC { GMT: TYPE = BasicTime.GMT; ThrushVersion: CARDINAL _ 32; EarliestThrushVersion: CARDINAL _ 32; ThrushVR: RPC.VersionRange _ [ThrushVersion, ThrushVersion]; GetThrushVR: RPC.VersionRange _ [EarliestThrushVersion, ThrushVersion]; ThrushDate: BasicTime.GMT _ Convert.TimeFromRope["May 19, 1985 9:32:15 pm PDT"]; EarliestThrushDate: BasicTime.GMT _ ThrushDate; FinchVersion: CARDINAL _ 32; EarliestFinchVersion: CARDINAL _ 32; FinchVR: RPC.VersionRange _ [FinchVersion, FinchVersion]; GetFinchVR: RPC.VersionRange _ [EarliestFinchVersion, FinchVersion]; FinchDate: BasicTime.GMT _ ThrushDate; EarliestFinchDate: BasicTime.GMT _ EarliestThrushDate; JayVersion: CARDINAL _ 32; EarliestJayVersion: CARDINAL _ 32; JayVR: RPC.VersionRange _ [JayVersion, JayVersion]; GetJayVR: RPC.VersionRange _ [EarliestJayVersion, JayVersion]; JayDate: BasicTime.GMT _ ThrushDate; EarliestJayDate: BasicTime.GMT _ EarliestThrushDate; }. <> <> <Top>Thrush.df, ThVersions>> <> <> <> <> <<>> <> <> <> <> <> <> <> <> <> <> <> <> <> <> <> <<>>