 Link this issue to another issue
|
|
If you were logged in you would be able to see more operations.
|
|
|
ActiveMath
Created: 2006-02-08 14:02
Updated: 2006-11-23 22:11
|
|
| Component/s: |
MBase
|
| Affects Version/s: |
None
|
| Fix Version/s: |
1.0
|
|
|
The class MBase has to provide several new features:
1. management of modification dates
2. a method getImportedTheories(MBaseID theory, boolean recurse) which returns (an Iterator of) MBaseIDs representing all theories comprised in the given one, either recursively or not.
3. a method getOMTagFreeCommonName(MBaseID item) which returns for the first step the common names where the om-tags are left out. Later one has to think about simple string representation of symbols which will be returned in later versions (George did some stylesheets for the integration of the Behavior Recorder in the hands-on seminar - maybe they can be used for that).
|
|
Description
|
The class MBase has to provide several new features:
1. management of modification dates
2. a method getImportedTheories(MBaseID theory, boolean recurse) which returns (an Iterator of) MBaseIDs representing all theories comprised in the given one, either recursively or not.
3. a method getOMTagFreeCommonName(MBaseID item) which returns for the first step the common names where the om-tags are left out. Later one has to think about simple string representation of symbols which will be returned in later versions (George did some stylesheets for the integration of the Behavior Recorder in the hands-on seminar - maybe they can be used for that). |
Show » |
|
Improvement
Closed
Major
MBaseRef has to be extended
getLastModifed(ID) and getLastModified(String) which should return the
maximum modification of the set of items contained under the indicated ID.
Should use XML-RPC dates.
paul