Request for Documentation
From Erights
(Difference between revisions)
(→Request for Documentation) |
|||
Line 3: | Line 3: | ||
* 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== | |
* 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? | ||
- | + | * What is "DeepFrozen" ? | |
(more to come) | (more to come) |
Revision as of 17:51, 8 December 2006
Declaring Java classes as safe for importing
- Is there a tool to extract interfaces from java classes in safej syntax?
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?
- What is "DeepFrozen" ?
(more to come)