CollectPaths0.java

package coreVisitors;

import java.util.ArrayList;
import java.util.List;
import tools.Map;
import ast.ExpCore;
import ast.Ast.*;
import ast.ExpCore.ClassB;

public class CollectPaths0 extends PropagatorVisitor{

  protected List<Path> paths=new ArrayList<Path>();
  public static List<Path> of(ExpCore e){
    CollectPaths0 cp=new CollectPaths0();
    e.accept(cp);
    return cp.paths;
  }
  public static List<Path> of(ClassB.MethodWithType mwt){
    CollectPaths0 cp=new CollectPaths0();
    cp.visit(mwt);
    return cp.paths;
  }
  @Override protected void liftP(Path s) { 
    if(!s.isPrimitive()){paths.add(s);}
    }
  public Void visit(ClassB s) {return null;}  
}