Request for Documentation

From Erights

(Difference between revisions)
Jump to: navigation, search
(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?  
-
==Custom Guards==
+
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)

Personal tools
more tools