CompositeSpecProvider(ISpecProvider...providers) | edu.mit.csail.sdg.squander.spec.CompositeSpecProvider | |
extractClassSpec(JType.Unary jtype) | edu.mit.csail.sdg.squander.spec.CompositeSpecProvider | |
extractFieldSpec(Field field, JType.Unary declaringType) | edu.mit.csail.sdg.squander.spec.CompositeSpecProvider | |
edu::mit::csail::sdg::squander::spec::ISpecProvider.extractFieldSpec(Field field, Unary declaringType) | edu.mit.csail.sdg.squander.spec.ISpecProvider | |
extractMethodSpec(Method method, NameSpace ns) | edu.mit.csail.sdg.squander.spec.CompositeSpecProvider | |
providers | edu.mit.csail.sdg.squander.spec.CompositeSpecProvider | [private] |