public PhLocated(final Phi phi, final int lne, final int pos, final String loc) {
        this.origin = phi;
        this.line = lne;
        this.position = pos;
        this.location = loc;