Request for Documentation
From Erights
(Difference between revisions)
(→Declaring Java classes as safe for importing) |
|||
| Line 1: | Line 1: | ||
| + | =Request for Documentation= | ||
| + | |||
| + | |||
==Declaring Java classes as safe for importing== | ==Declaring Java classes as safe for importing== | ||
* Is there a tool to extract interfaces from java classes in safej syntax? | * Is there a tool to extract interfaces from java classes in safej syntax? | ||
| - | ==Guards== | + | ==Custom Guards== |
* Is there a way to assure that an object was created by a specific emaker? | * Is there a way to assure that an object was created by a specific emaker? | ||
* How can I apply more than one guard to a value? | * How can I apply more than one guard to a value? | ||
| - | |||
| - | |||
| - | |||
| - | |||
Revision as of 17:12, 8 December 2006
Request for Documentation
Declaring Java classes as safe for importing
- Is there a tool to extract interfaces from java classes in safej syntax?
Custom Guards
- Is there a way to assure that an object was created by a specific emaker?
- How can I apply more than one guard to a value?
