[e-lang] Joe-E 1.0 out

[John Carlson]

On Jul 12, 2007, at 5:47 PM, Tyler Close wrote:

> On 7/11/07, Adrian Mettler <amettler at cs.berkeley.edu> wrote:
>> Thanks for finding this.  It's now fixed in my working copy, which  
>> I'll
>> release soon along with fixes for any other bugs that are found in  
>> the
>> next few days.
>
> I've finished running the rest of the Waterken Server through the new
> Verifier and that's the only bug I've found. I haven't tried torturing
> it yet though. ;)
>
> What's the plan for the rest of the file API? I need the following  
> methods:
>
> java.io.File#isDirectory
> java.io.File#isFile
> java.io.File#lastModified
> java.io.File#length
>
> Calling lastModified returns non-zero answers for some of the windows
> special filenames. No idea what the answers mean, but they might be
> dangerous. I suspect lastModified and length should both be wrapped,
> but isDirectory and isFile can be marked as tamed.
>
> Tyler

This is totally out of the blue, but would it make any difference if  
a file
was a directory on one system and a file on another system, such that
running isDirectory or isFile would tell you something about the system?
I can imagine creating a covert channel this way.  I'm not exactly sure
what tamed means, so I leave it up to the experts.

John