42 |
* It can be distinguished the first character of the cache record. |
* It can be distinguished the first character of the cache record. |
43 |
* If it is a blank then it is the former else the latter. |
* If it is a blank then it is the former else the latter. |
44 |
* |
* |
45 |
* (1) The frequency and the name of duplicate object entry file. |
* (1) The frequency and the id of duplicate object entry file (=fid). |
46 |
* +--------------------------+ |
* +----------------------+ |
47 |
* |' '<file id>' '<frequency>| |
* |' '<fid>' '<frequency>| |
48 |
* +--------------------------+ |
* +----------------------+ |
49 |
* The duplicate object entry file can be referred to as 'D/<file id>.html'. |
* The duplicate object entry file can be referred to as 'D/<fid>.html'. |
50 |
* |
* |
51 |
* (2) The tag definition. |
* (2) The tag definition. |
52 |
* +---------------------------+ |
* +---------------------------+ |
53 |
* |<line number>' '<file name>| |
* |<line number>' '<file name>| |
54 |
* +---------------------------+ |
* +---------------------------+ |
55 |
* The tag entry is referred to as '<fid>.html#<line number>'. |
* The tag entry is referred to as 'S/<fid>.html#<line number>'. |
56 |
* The <fid> can be calculated by path2fid(<file name>). |
* The <fid> can be calculated by path2fid(<file name>). |
57 |
*/ |
*/ |
58 |
|
|