package soot.JastAddJ;
import java.util.HashSet;import java.util.LinkedHashSet;import java.io.File;import java.util.*;import beaver.*;import java.util.ArrayList;import java.util.zip.*;import java.io.*;import java.io.FileNotFoundException;import java.util.Collection;import soot.*;import soot.util.*;import soot.jimple.*;import soot.coffi.ClassFile;import soot.coffi.method_info;import soot.coffi.CONSTANT_Utf8_info;import soot.tagkit.SourceFileTag;import soot.coffi.CoffiMethodSource;
public interface MemberSubstitutor extends Parameterization {
// Declared in Generics.jrag at line 676
TypeDecl original();
// Declared in Generics.jrag at line 677
void addBodyDecl(BodyDecl b);
// Declared in Generics.jrag at line 678
TypeDecl substitute(TypeVariable typeVariable);
// Declared in Generics.jrag at line 925
@SuppressWarnings({"unchecked", "cast"}) public HashMap localMethodsSignatureMap();
// Declared in Generics.jrag at line 940
@SuppressWarnings({"unchecked", "cast"}) public SimpleSet localFields(String name);
// Declared in Generics.jrag at line 955
@SuppressWarnings({"unchecked", "cast"}) public SimpleSet localTypeDecls(String name);
// Declared in Generics.jrag at line 985
@SuppressWarnings({"unchecked", "cast"}) public Collection constructors();
}