Annotations

Classes
interface	edu.mit.csail.sdg.squander.annotations.Fresh
interface	edu.mit.csail.sdg.squander.annotations.FreshObjects
interface	edu.mit.csail.sdg.squander.annotations.Options
Packages
package	edu.mit.csail.sdg.squander.annotations

---

Detailed Description

This module defines several Squander-specific specification annotations (in addition to existing JFSL annotations).