Location.java

package is.L42.connected.withSafeOperators.location;

import java.util.ArrayList;
import java.util.List;

import ast.ExpCore;
import ast.Expression;
import ast.Ast.Position;
import is.L42.connected.withSafeOperators.pluginWrapper.RefactorErrors;
import is.L42.connected.withSafeOperators.pluginWrapper.RefactorErrors.NotAvailable;

public interface Location {
  static <T> T listAccess(List<T> list, int that) throws NotAvailable{
    try{return list.get(that);}
    catch(IndexOutOfBoundsException e){throw new RefactorErrors.NotAvailable();}
    }
  Location location();
  Doc doc();
  boolean equalequal(Object that);
  String toS();
  Cacher<List<Origin>> protectedOrigins();
  static abstract class LocationImpl<T extends Expression.HasPos, L extends Location> implements Location{
    protected Cacher<List<Origin>> protectedOrigins;
    T inner;
    L location;
    @Override
    public L location() {return location;}
    public LocationImpl(T inner, L location){
      this.inner=inner;
      this.location=location;
      this.protectedOrigins=new Cacher<List<Origin>>(){
        public List<Origin> cache(){
          List<Origin> origins=new ArrayList<>();
          Position pi=inner.getP();
          while(true){
            if (pi==null || pi==Position.noInfo){return origins;}
            origins.add(new Origin(pi.getFile(),pi.getLine1(),pi.getLine2(),pi.getPos1(),pi.getPos2()));
            pi=pi.get_next();
            }}};}
    @Override public Cacher<List<Origin>> protectedOrigins(){return protectedOrigins;}
    @Override
    public int hashCode() {
    final int prime = 31;
    int result = 1;
    result = prime * result + ((inner == null) ? 0 : inner.hashCode());
    result = prime * result + ((location == null) ? 0 : location.hashCode());
    return result;
    }
    @Override
    public boolean equals(Object obj) {
    if (this == obj)
        return true;
    if (obj == null)
        return false;
    if (getClass() != obj.getClass())
        return false;
    LocationImpl<?, ?> other = (LocationImpl<?, ?>) obj;
    if (inner == null) {
    if (other.inner != null)
        return false;
    } else if (!inner.equals(other.inner))
        return false;
    if (location == null) {
    if (other.location != null)
        return false;
    } else if (!location.equals(other.location))
        return false;
    return true;
    }
    
    }
  default int originSize() {
    return protectedOrigins().get().size();
    }
  default Origin origin(int that) throws NotAvailable{
    return Location.listAccess(protectedOrigins().get(), that);
    }
  }