001    package AST;
002    
003    import java.util.HashSet;
004    import java.io.File;
005    import java.util.*;
006    import beaver.*;
007    import java.util.ArrayList;
008    import java.util.zip.*;
009    import java.io.*;
010    import java.io.FileNotFoundException;
011    import java.util.Collection;
012    /**
013      * @ast interface
014     * 
015     */
016    public interface MemberSubstitutor extends Parameterization {
017    
018         
019        TypeDecl original();
020    
021        
022       void addBodyDecl(BodyDecl b);
023    
024         
025        TypeDecl substitute(TypeVariable typeVariable);
026      /**
027       * @attribute syn
028       * @aspect LookupParTypeDecl
029       * @declaredat /home/jesper/svn/JastAddJ/Java1.5Frontend/Generics.jrag:1084
030       */
031      @SuppressWarnings({"unchecked", "cast"})
032      public HashMap localMethodsSignatureMap();
033      /**
034       * @attribute syn
035       * @aspect LookupParTypeDecl
036       * @declaredat /home/jesper/svn/JastAddJ/Java1.5Frontend/Generics.jrag:1119
037       */
038      @SuppressWarnings({"unchecked", "cast"})
039      public SimpleSet localFields(String name);
040      /**
041       * @attribute syn
042       * @aspect LookupParTypeDecl
043       * @declaredat /home/jesper/svn/JastAddJ/Java1.5Frontend/Generics.jrag:1154
044       */
045      @SuppressWarnings({"unchecked", "cast"})
046      public SimpleSet localTypeDecls(String name);
047      /**
048       * @attribute syn
049       * @aspect LookupParTypeDecl
050       * @declaredat /home/jesper/svn/JastAddJ/Java1.5Frontend/Generics.jrag:1213
051       */
052      @SuppressWarnings({"unchecked", "cast"})
053      public Collection constructors();
054    }