39 |
public interface ScrollBlock { |
public interface ScrollBlock { |
40 |
String rcsid = "$Id$"; |
String rcsid = "$Id$"; |
41 |
|
|
42 |
|
/** Get the data of the scrollblock in a tmp file. |
43 |
|
* May return null, if data not yet finalized. |
44 |
|
*/ |
45 |
|
BlockFile getBlockFile() throws java.io.FileNotFoundException; |
46 |
|
|
47 |
/** Get the current contents of this block as a single span |
/** Get the current contents of this block as a single span |
48 |
* of the appropriate type. |
* of the appropriate type. |
49 |
*/ |
*/ |
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 isFinalized(); |
boolean isPermanent(); |
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 |