529 | | For the time being I treat them as "the same": URI is external_id. Both are strings. |
530 | | |
531 | | Moreover, there is a class "DasishIdentifier" (with a bunch of superclasses, for each reasoure), |
532 | | extending UUI. It "envelopes" external_id" into UUID. |
| 529 | For the time being I treat {{{extrnal_id}}} and the URI as "the same": URI is external_id. Both are strings. |
| 530 | |
| 531 | In the Java-code there are classes {{{{CachedIdentifier, VersionIdentifier, SourceIdentifier, AnnotationIdentifier, NotebookIdentifier, UserIdentifier}}} |
| 532 | encapsulating UUI. Any such class has a string field "identifier" (corresponding to external_id) plus hash, plus internal constants for hash. |