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 ParTypeDecl extends Parameterization {
017    
018        //syn String name();
019         
020        //syn String name();
021        int getNumArgument();
022    
023         
024        Access getArgument(int index);
025    
026         
027        public String typeName();
028    
029         
030        SimpleSet localFields(String name);
031    
032         
033        HashMap localMethodsSignatureMap();
034    public TypeDecl substitute(TypeVariable typeVariable);
035    
036    public int numTypeParameter();
037    
038    public TypeVariable typeParameter(int index);
039    
040    public Access substitute(Parameterization parTypeDecl);
041    
042    public Access createQualifiedAccess();
043    
044    public void transformation();
045    
046      /**
047       * @attribute syn
048       * @aspect Generics
049       * @declaredat /home/jesper/svn/JastAddJ/Java1.5Frontend/Generics.jrag:244
050       */
051      @SuppressWarnings({"unchecked", "cast"})
052      public boolean isParameterizedType();
053      /**
054       * @attribute syn
055       * @aspect Generics
056       * @declaredat /home/jesper/svn/JastAddJ/Java1.5Frontend/Generics.jrag:245
057       */
058      @SuppressWarnings({"unchecked", "cast"})
059      public boolean isRawType();
060      /**
061       * @attribute syn
062       * @aspect GenericsTypeCheck
063       * @declaredat /home/jesper/svn/JastAddJ/Java1.5Frontend/Generics.jrag:380
064       */
065      @SuppressWarnings({"unchecked", "cast"})
066      public boolean sameArgument(ParTypeDecl decl);
067      /**
068       * @attribute syn
069       * @aspect LookupParTypeDecl
070       * @declaredat /home/jesper/svn/JastAddJ/Java1.5Frontend/Generics.jrag:577
071       */
072      @SuppressWarnings({"unchecked", "cast"})
073      public boolean sameSignature(Access a);
074      /**
075       * @attribute syn
076       * @aspect LookupParTypeDecl
077       * @declaredat /home/jesper/svn/JastAddJ/Java1.5Frontend/Generics.jrag:612
078       */
079      @SuppressWarnings({"unchecked", "cast"})
080      public boolean sameSignature(ArrayList list);
081      /**
082       * @attribute syn
083       * @aspect GenericsParTypeDecl
084       * @declaredat /home/jesper/svn/JastAddJ/Java1.5Frontend/GenericsParTypeDecl.jrag:30
085       */
086      @SuppressWarnings({"unchecked", "cast"})
087      public String nameWithArgs();
088      /**
089       * @attribute inh
090       * @aspect GenericsParTypeDecl
091       * @declaredat /home/jesper/svn/JastAddJ/Java1.5Frontend/GenericsParTypeDecl.jrag:45
092       */
093      public TypeDecl genericDecl();
094    }