package edu.neu.ccs.demeterf.demfgen.traversals;

import edu.neu.ccs.demeterf.demfgen.classes.Package;
import edu.neu.ccs.demeterf.demfgen.DemFGenMain;

cdfile "demfgen.cd";
outputdir "./traversals";
outputfactory Traversals;

traversal{
          name: DGPGenTrav;
      function: DemFGenMain$DGPGen;
         start: List(DGPFunc);
      builtins: DGPFunc;
     bypassing: ;
 //inlineOptions: "--parallel" "--partypes:DGPFunc";
}

traversal{
          name: ClassGenTrav;
      function: ClassGen;
       context: ClassGen$PackDesc;
         start: List(CDFile);
      builtins: TypeDefParams Syntax PESubtypeList DoGen DGPUses
                IncludeList PackageDef ImportList LookDef;
     bypassing: ;
 //inlineOptions: "--parallel" "--partypes:CDFile";
}

traversal{
          name: TypeCheckTrav;
      function: TypeCheck;
       context: TypeCheck$Env;
         start: List(CDFile);
      builtins: ;
     bypassing: ;
}

traversal{
          name: ParseGenTrav;
      function: ParseGen$CombStr;
       context: DoGen;
         start: List(TypeDef);
      builtins: TypeDef;
     bypassing: ;
}

traversal{
        name: JJGenTrav;
    function: ParseGen$JJProd;
     context: DoGen;
       start: TypeDef;
    builtins: ;
   bypassing: ;
}

traversal{
        name: ParamArityTrav;
    function: ClassGen$ToList;
       start: TypeDefParams;
    builtins: NameDef;
   bypassing: ;
}

traversal{
        name: TypeArityTrav;
    function: ClassGen$ToTDList;
       start: TypeDefList;
    builtins: TypeDef;
   bypassing: ;
}