edu.mit.csail.sdg.squander.spec.MethodSpec.CaseSource Class Reference

Collaboration diagram for edu.mit.csail.sdg.squander.spec.MethodSpec.CaseSource:

[legend]

List of all members.

Public Member Functions
Source	preSrc ()
Source	postSrc ()
Source	frameSrc ()
boolean	exceptional ()
ForgeExpression	pre ()
ForgeExpression	post ()
Frame	frame ()
Package Functions
	CaseSource (Source requires, Source ensures, Source modifies, boolean exceptional)
Private Attributes
Source	preSrc
Source	pstSrc
Source	frmSrc
boolean	exceptional
ForgeExpression	pre
ForgeExpression	pst
Frame	frm

---

Detailed Description

Specification case source

Definition at line 30 of file MethodSpec.java.

---

Constructor & Destructor Documentation

edu.mit.csail.sdg.squander.spec.MethodSpec.CaseSource.CaseSource	(	Source	requires,
		Source	ensures,
		Source	modifies,
		boolean	exceptional
	)			[package]

Definition at line 49 of file MethodSpec.java.

References edu.mit.csail.sdg.squander.spec.MethodSpec.CaseSource.frmSrc, edu.mit.csail.sdg.squander.spec.MethodSpec.CaseSource.preSrc(), and edu.mit.csail.sdg.squander.spec.MethodSpec.CaseSource.pstSrc.

---

Member Function Documentation

boolean edu.mit.csail.sdg.squander.spec.MethodSpec.CaseSource.exceptional

(

)

Definition at line 43 of file MethodSpec.java.

Frame edu.mit.csail.sdg.squander.spec.MethodSpec.CaseSource.frame

(

)

Definition at line 47 of file MethodSpec.java.

References edu.mit.csail.sdg.squander.spec.MethodSpec.CaseSource.frm.

Source edu.mit.csail.sdg.squander.spec.MethodSpec.CaseSource.frameSrc

(

)

Definition at line 42 of file MethodSpec.java.

References edu.mit.csail.sdg.squander.spec.MethodSpec.CaseSource.frmSrc.

ForgeExpression edu.mit.csail.sdg.squander.spec.MethodSpec.CaseSource.post

(

)

Definition at line 46 of file MethodSpec.java.

References edu.mit.csail.sdg.squander.spec.MethodSpec.CaseSource.pst.

Source edu.mit.csail.sdg.squander.spec.MethodSpec.CaseSource.postSrc

(

)

Definition at line 41 of file MethodSpec.java.

References edu.mit.csail.sdg.squander.spec.MethodSpec.CaseSource.pstSrc.

Referenced by edu.mit.csail.sdg.squander.spec.MethodSpec.addCase().

ForgeExpression edu.mit.csail.sdg.squander.spec.MethodSpec.CaseSource.pre

(

)

Definition at line 45 of file MethodSpec.java.

Source edu.mit.csail.sdg.squander.spec.MethodSpec.CaseSource.preSrc

(

)

Definition at line 40 of file MethodSpec.java.

Referenced by edu.mit.csail.sdg.squander.spec.MethodSpec.CaseSource.CaseSource().

---

Member Data Documentation

boolean edu.mit.csail.sdg.squander.spec.MethodSpec.CaseSource.exceptional [private]

Definition at line 34 of file MethodSpec.java.

Referenced by edu.mit.csail.sdg.squander.spec.MethodSpec.addCase().

Frame edu.mit.csail.sdg.squander.spec.MethodSpec.CaseSource.frm [private]

Definition at line 38 of file MethodSpec.java.

Referenced by edu.mit.csail.sdg.squander.spec.MethodSpec.CaseSource.frame().

Source edu.mit.csail.sdg.squander.spec.MethodSpec.CaseSource.frmSrc [private]

Definition at line 33 of file MethodSpec.java.

Referenced by edu.mit.csail.sdg.squander.spec.MethodSpec.addCase(), edu.mit.csail.sdg.squander.spec.MethodSpec.CaseSource.CaseSource(), and edu.mit.csail.sdg.squander.spec.MethodSpec.CaseSource.frameSrc().

ForgeExpression edu.mit.csail.sdg.squander.spec.MethodSpec.CaseSource.pre [private]

Definition at line 36 of file MethodSpec.java.

Source edu.mit.csail.sdg.squander.spec.MethodSpec.CaseSource.preSrc [private]

Definition at line 31 of file MethodSpec.java.

ForgeExpression edu.mit.csail.sdg.squander.spec.MethodSpec.CaseSource.pst [private]

Definition at line 37 of file MethodSpec.java.

Referenced by edu.mit.csail.sdg.squander.spec.MethodSpec.CaseSource.post().

Source edu.mit.csail.sdg.squander.spec.MethodSpec.CaseSource.pstSrc [private]

Definition at line 32 of file MethodSpec.java.

Referenced by edu.mit.csail.sdg.squander.spec.MethodSpec.CaseSource.CaseSource(), and edu.mit.csail.sdg.squander.spec.MethodSpec.CaseSource.postSrc().

---

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

• src/edu/mit/csail/sdg/squander/spec/MethodSpec.java