New Ideas for Properties

I have already implemented a few of the properties mentioned below but then had to take a detour because of attributes for the properties. However, here are a few new properties that I came up with:

  • ${tmpfile;content="..."} (done) — this creates a temporary file and puts the value of the content attribute into the file.
  • ${tmpfile;name="..."; content="..."} (done)
  • ${tmpfile;dir="..."; name="..."; content="..."} (done)
  • ${tmpfile;keep="true"; dir="..."; name="..."; content="..."} (done)
  • ${input}— asks the user for an input string
  • ${input; message="..."; title="..."}

Again, can anyone come up with other properties that might be useful? Please post a comment.

Thank you!


About Mathias

Software development engineer. Principal developer of DrJava. Recent Ph.D. graduate from the Department of Computer Science at Rice University.
This entry was posted in DrJava. Bookmark the permalink.

Leave a Reply