public void pushConverter(Procedure paramProcedure) {
this.loc = ConstrainedLocation.make(this.loc, paramProcedure);
}
public static <T> ConstrainedLocation<T> make(Location<T> base, Procedure converter) {
ConstrainedLocation<T> cloc = new ConstrainedLocation<T>();
cloc.base = base;
cloc.converter = converter;
return cloc;
}
