extractClassSpec(JType.Unary jtype) | 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.ISpecProvider |