Request for Documentation
From Erights
(Difference between revisions)
(→Declaring Java classes as safe for importing) |
|||
| Line 1: | Line 1: | ||
| - | |||
| - | |||
| - | |||
==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== |
* 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" ? | ||
| + | * What is the performance hit of excessive type checking? Should I guard every parameter? | ||
| + | |||
| + | (more to come) | ||
Latest revision as of 17:53, 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" ?
- What is the performance hit of excessive type checking? Should I guard every parameter?
(more to come)
