edu.mit.csail.sdg.squander.annotations.Fresh Interface Reference
[Annotations]

List of all members.

Package Functions
FreshObjects[]	value ()

---

Detailed Description

Specifies creation of new objects.

Author:

Aleksandar Milicevic

Definition at line 21 of file Fresh.java.

---

Member Function Documentation

FreshObjects [] edu.mit.csail.sdg.squander.annotations.Fresh.value

(

)

[package]

Referenced by edu.mit.csail.sdg.squander.spec.ReflectiveSpecProvider.extractMethodSpecNonRecursive().

---

The documentation for this interface was generated from the following file:

• src/edu/mit/csail/sdg/squander/annotations/Fresh.java