Request for Documentation

From Erights

Jump to: navigation, search

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)

Retrieved from "http://wiki.erights.org/wiki/Request_for_Documentation"
Personal tools
more tools