A notation for naming documents and positions in them
Date/Time of Processing: Tuesday 24 May 1994 01:37:39Pm Overall Assessment of System: OK Classification of System: B Basis of Classification -- Syntax Errors PASS Completeness PASS Independence from External Libraries FAIL Independence from a Specific Ada Compiler PASS Explanations for failures -- System withs non-standard library units that are not provided Number of ... Files 2 Library Units 2 Lines 968 Statements 249 Comments 236 Unidentified Withed Units -- 1 unidentified withed units
languages/ada/asr/new-abstractions/docref: File Name Size --------- ---- docref.zip 5,699 Totals ============== ============== 1 Files 5,699
This package defines and supports a standard form for expressing references to a document from within a document. This package defines a grammar for document references, types for each of the non-terminals in the grammar, functions for scanning values of each type from a string, and functions for comparing objects of each type. The types defined in this package are ParagraphID_String, DocID_String, and Reference_String. A host of functions and procedures support operations on objects of these types.
DATE VERSION AUTHOR HISTORY 03/85 1.0 Bill Toscano Initial Release
This prologue must be included in all copies of this software. This software is copyright by the author. This software is released to the Ada community. This software is released to the Public Domain (note: software released to the Public Domain is not subject to copyright protection). Restrictions on use or distribution: NONE
This software and its documentation are provided "AS IS" and without any expressed or implied warranties whatsoever. No warranties as to performance, merchantability, or fitness for a particular purpose exist. The user is advised to test the software thoroughly before relying on it. The user must assume the entire risk and liability of using this software. In no event shall any person or organization of people be held responsible for any direct, indirect, consequential or inconsequential damages or lost profits.