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

List of all members.

Public Member Functions
Class<?>[]	typeParams () default
int	num () default 1
Package Functions
Class<?>	cls ()

---

Detailed Description

Specifies creation of new objects of a given class.

Author:

Aleksandar Milicevic

Definition at line 18 of file FreshObjects.java.

---

Member Function Documentation

Class<?> edu.mit.csail.sdg.squander.annotations.FreshObjects.cls

(

)

[package]

class of the object to be created

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

int edu.mit.csail.sdg.squander.annotations.FreshObjects.num

(

)

number of instances to be created

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

Class<?> [] edu.mit.csail.sdg.squander.annotations.FreshObjects.typeParams

(

)

type parameters of cls (if any)

Definition at line 23 of file FreshObjects.java.

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/FreshObjects.java