Changeset 3116

Show
Ignore:
Timestamp:
11/27/08 06:28:37 (12 months ago)
Author:
sukyoungryu
Message:

[ast refactoring] Eliminated unnecessary interfaces: GenericDecl?, GenericDeclWithParams?, HasWhere?, and HasParams?

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/ProjectFortress/astgen/Fortress.ast

    r3115 r3116  
    8989         */ 
    9090        interface Generic(List<StaticParam> staticParams); 
    91             interface GenericWithParams() extends HasParams; 
    92             interface GenericDecl(); 
    93                 interface GenericDeclWithParams() extends GenericWithParams; 
    94  
    95         /** 
    96          * with value parameters 
    97          * implemented by object declarations and object expressions in components 
    98          * or APIs 
    99          */ 
    100         interface HasParams(Option<List<Param>> params, 
    101                             List<Decl> decls); 
    102         /** 
    103          * with a where clause 
    104          * implemented by trait and object declarations in components or APIs 
    105          */ 
    106         interface HasWhere(Option<WhereClause> where); 
     91            interface GenericWithParams(Option<List<Param>> params, 
     92                                        List<Decl> decls); 
    10793        /** 
    10894         * templates 
    10995         */ 
    11096        interface TemplateGap(Id gapId, List<Id> templateParams); 
    111  
    11297        /** 
    11398         * A syntax transformation 
    … …  
    116101                                        java.util.Map<String,Level> variables, 
    117102                                        java.util.List<String> syntaxParameters); 
    118  
    119103        /** 
    120104         * Repeated expression inside a syntax transformation template 
    … …  
    211195                                             = Option.<WhereClause>none(), 
    212196                                         List<Decl> decls) 
    213                                          implements HasWhere, GenericDecl; 
     197                                         implements Generic; 
    214198                    /** 
    215199                     * trait declaration in components or APIs 
    … …  
    257241                    TraitDecl(List<BaseType> excludes = Collections.<BaseType>emptyList(), 
    258242                              Option<List<BaseType>> comprises 
    259                                   = Option.<List<BaseType>>none()) implements GenericDecl; 
     243                                  = Option.<List<BaseType>>none()) implements Generic; 
    260244                    /** 
    261245                     * object declaration in components or APIs 
    … …  
    301285                                   = Option.<List<BaseType>>none(), 
    302286                               Option<Contract> contract = Option.<Contract>none()) 
    303                               implements GenericDeclWithParams; 
     287                              implements GenericWithParams; 
    304288                /** 
    305289                 * variable declaration in components or APIs 
    … …  
    361345                       Option<Expr> body, 
    362346                       Option<Id> implementsUnambiguousName = Option.<Id>none()) 
    363                       implements Applicable, GenericDecl; 
     347                      implements Applicable, Generic; 
    364348                /** 
    365349                 * Overloading specification