Request for Documentation
From Erights
(Difference between revisions)
(→Declaring Java classes as safe for importing) |
|||
| (2 intermediate revisions not shown) | |||
| 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" ? | * What is "DeepFrozen" ? | ||
| + | * What is the performance hit of excessive type checking? Should I guard every parameter? | ||
| + | |||
(more to come) | (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)
