edu.mit.csail.sdg.squander.spec.MethodSpec Member List

This is the complete list of members for edu.mit.csail.sdg.squander.spec.MethodSpec, including all inherited members.

addCase(Source requires, Source ensures, Source modifies, boolean exceptional)	edu.mit.csail.sdg.squander.spec.MethodSpec	[package]
addFreshObj(Class<?> cls, Class<?>[] typeParams, int num)	edu.mit.csail.sdg.squander.spec.MethodSpec	[package]
addOptions(Options opt)	edu.mit.csail.sdg.squander.spec.MethodSpec
cases	edu.mit.csail.sdg.squander.spec.MethodSpec	[private]
cases()	edu.mit.csail.sdg.squander.spec.MethodSpec
freshObj	edu.mit.csail.sdg.squander.spec.MethodSpec	[private]
freshObjects()	edu.mit.csail.sdg.squander.spec.MethodSpec
helper	edu.mit.csail.sdg.squander.spec.MethodSpec	[private]
isHelper()	edu.mit.csail.sdg.squander.spec.MethodSpec
isPure()	edu.mit.csail.sdg.squander.spec.MethodSpec
isTrivial()	edu.mit.csail.sdg.squander.spec.MethodSpec
makeHelper()	edu.mit.csail.sdg.squander.spec.MethodSpec	[package]
makePure()	edu.mit.csail.sdg.squander.spec.MethodSpec	[package]
mergeCasesWith(MethodSpec ms)	edu.mit.csail.sdg.squander.spec.MethodSpec	[package]
MethodSpec()	edu.mit.csail.sdg.squander.spec.MethodSpec	[package]
options	edu.mit.csail.sdg.squander.spec.MethodSpec	[private]
options()	edu.mit.csail.sdg.squander.spec.MethodSpec
pre2cs	edu.mit.csail.sdg.squander.spec.MethodSpec	[private]
pure	edu.mit.csail.sdg.squander.spec.MethodSpec	[private]
translateSpecs(ForgeEnv env, ForgeScene forgeScene)	edu.mit.csail.sdg.squander.spec.MethodSpec
typecheck(JavaScene javaScene)	edu.mit.csail.sdg.squander.spec.MethodSpec