RenameMembers.java

package is.L42.connected.withSafeOperators;

import java.util.ArrayList;
import java.util.Collections;
import java.util.HashMap;
import java.util.List;
import java.util.Optional;

import ast.Ast;
import ast.ExpCore;
import ast.Ast.Doc;
import ast.Ast.MethodSelector;
import ast.Ast.MethodSelectorX;
import ast.Ast.NormType;
import ast.Ast.Path;
import ast.Ast.Type;
import ast.ExpCore.Block;
import ast.ExpCore.ClassB;
import ast.ExpCore.MCall;
import ast.ExpCore.Block.Dec;
import ast.ExpCore.Block.On;
import ast.ExpCore.ClassB.Member;
import ast.ExpCore.ClassB.MethodImplemented;
import ast.ExpCore.ClassB.MethodWithType;
import ast.Util.PathPath;
import auxiliaryGrammar.Locator;
import programReduction.Program;
import coreVisitors.CloneVisitorWithProgram;
import coreVisitors.From;
import tools.Map;

public class RenameMembers extends coreVisitors.CloneWithPath{
  CollectedLocatorsMap maps;//ClassB start;
  public RenameMembers(CollectedLocatorsMap maps) {
    super();
    this.maps = maps;
  }
  public static  ClassB of(CollectedLocatorsMap maps,ClassB cb){
    return (ClassB)cb.accept(new RenameMembers(maps));
  }
      
    @Override protected Path liftP(Path s) {
        if(s.isPrimitive()){return s;}
        //System.out.print("     "+s);
        assert s.isCore();
        List<Ast.C>cs=s.getCBar();
        if(cs.isEmpty()){return s;}//no need to rename outers
        Locator current=this.getLocator().copy();
        current.toFormerNodeLocator();
        boolean canCut=current.cutUpTo(s.outerNumber());
        if(!canCut){return s;}
        int whereImSize=current.size();
        current.addCs(s.getCBar());
        
        for(Locator nl:maps.nesteds){
          if(whereImSize>nl.size()){continue;}
          //situation: rename: s1 c1->path   current path locator is:  whereIm c cs
          //check whereImSize<=s1Size and  whereIm c cs =s1 _ 
          boolean compatible= current.prefixOf(nl);
          if(!compatible){continue;}
          int extraCs=(current.size()-nl.size());//the class name in nl.that
          Path pi=getDestPath(this.getLocator().getClassNamesPath().size(),nl,s,extraCs);
          //TODO:can be made more efficient without creating the listPaths
          return pi;
          }
        return s;
        }
 

      private Path getDestPath(int myDept,Locator nl, Path s, int extraCs) {
        assert extraCs>=0:extraCs;
        Path result=null;
        if (nl.getAnnotation() instanceof Path){result=(Path)nl.getAnnotation();}
        List<Ast.C>cs=s.getCBar();
        if(result==null){
          assert nl.getAnnotation()!=null;
          assert nl.getAnnotation() instanceof String:
            nl.getAnnotation();
          List<Ast.C>newCs=new ArrayList<>(cs);
          newCs.set(cs.size()-1-extraCs,Ast.C.of((String)nl.getAnnotation()));
          return Path.outer(s.outerNumber(),newCs);
          }
        List<Ast.C> path =cs.subList(cs.size()-extraCs,cs.size());
        for(Ast.C si:path){
          result=result.pushC(si);
        }
        return result.setNewOuter(result.outerNumber()+myDept);
      }
      
    }