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 }
