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

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

addInvariant(Source src)	edu.mit.csail.sdg.squander.spec.ClassSpec
addSpecField(JField field)	edu.mit.csail.sdg.squander.spec.ClassSpec
addSpecFieldSource(Source src)	edu.mit.csail.sdg.squander.spec.ClassSpec
addSuper(ClassSpec superClsSpec)	edu.mit.csail.sdg.squander.spec.ClassSpec
addUsedField(JField field)	edu.mit.csail.sdg.squander.spec.ClassSpec	[private]
ClassSpec(JType.Unary jtype, JavaScene javaScene)	edu.mit.csail.sdg.squander.spec.ClassSpec
ClassSpec(Class clz, JType.Unary[] typeParams, JavaScene javaScene)	edu.mit.csail.sdg.squander.spec.ClassSpec
clz()	edu.mit.csail.sdg.squander.spec.ClassSpec
ensureField(String name)	edu.mit.csail.sdg.squander.spec.ClassSpec
ensureField(String name, boolean recurse)	edu.mit.csail.sdg.squander.spec.ClassSpec
extractSpecFieldName(Source src)	edu.mit.csail.sdg.squander.spec.ClassSpec	[private]
findField(String name)	edu.mit.csail.sdg.squander.spec.ClassSpec
hasSpecField(String name)	edu.mit.csail.sdg.squander.spec.ClassSpec
invariants	edu.mit.csail.sdg.squander.spec.ClassSpec	[private]
invariants()	edu.mit.csail.sdg.squander.spec.ClassSpec
invariantSources	edu.mit.csail.sdg.squander.spec.ClassSpec	[private]
isEmpty()	edu.mit.csail.sdg.squander.spec.ClassSpec
javaScene	edu.mit.csail.sdg.squander.spec.ClassSpec	[private]
jtype	edu.mit.csail.sdg.squander.spec.ClassSpec	[private]
jtype()	edu.mit.csail.sdg.squander.spec.ClassSpec
setSubs(Collection< ClassSpec > subs)	edu.mit.csail.sdg.squander.spec.ClassSpec
specFields()	edu.mit.csail.sdg.squander.spec.ClassSpec
specFieldSources	edu.mit.csail.sdg.squander.spec.ClassSpec	[private]
subs	edu.mit.csail.sdg.squander.spec.ClassSpec	[private]
subs()	edu.mit.csail.sdg.squander.spec.ClassSpec
supers	edu.mit.csail.sdg.squander.spec.ClassSpec	[private]
toString()	edu.mit.csail.sdg.squander.spec.ClassSpec
translateSpecs(ForgeScene forgeScene)	edu.mit.csail.sdg.squander.spec.ClassSpec
typecheck()	edu.mit.csail.sdg.squander.spec.ClassSpec
typeParams()	edu.mit.csail.sdg.squander.spec.ClassSpec
usedFields	edu.mit.csail.sdg.squander.spec.ClassSpec	[private]
usedFields()	edu.mit.csail.sdg.squander.spec.ClassSpec
usedFieldsAll()	edu.mit.csail.sdg.squander.spec.ClassSpec