00001 00005 package edu.mit.csail.sdg.squander.spec; 00006 00007 import java.lang.reflect.Field; 00008 import java.lang.reflect.Method; 00009 import java.util.List; 00010 00011 import edu.mit.csail.sdg.squander.spec.JType.Unary; 00012 00013 00014 public interface ISpecProvider { 00015 00016 public List<Source> extractClassSpec(JType.Unary jtype); 00017 00018 public List<Source> extractFieldSpec(Field field, Unary declaringType); 00019 00020 public MethodSpec extractMethodSpec(Method method, NameSpace ns); 00021 00022 }