Parent Directory | Revision Log | Patch
revision 1.4 by tjl, Mon Apr 21 16:31:23 2003 UTC | revision 1.5 by benja, Mon Apr 21 16:56:05 2003 UTC | |
---|---|---|
# | Line 52 String rcsid = "$Id$"; | Line 52 String rcsid = "$Id$"; |
52 | /** Whether this block has been finalized or whether more | /** Whether this block has been finalized or whether more |
53 | * can be appended. | * can be appended. |
54 | */ | */ |
55 | boolean isPermanent(); | boolean isMutable(); |
56 | ||
57 | /** Get the globally unique identifier of this block. | /** Get the globally unique identifier of this block. |
58 | * XXX Exact semantics, tmp ids | * XXX Exact semantics, tmp ids |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |