/*
 * Mutability Detector
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 *
 * Further licensing information for this project can be found in 
 * 		license/LICENSE.txt
 */

package org.mutabilitydetector.locations;

public interface CodeLocation<T extends CodeLocation<T>> extends Comparable<T> {

    String typeName();

    public abstract String prettyPrint();

}

@@ -447,12 +447,620 @@
 Print();
+%0A    %0A    public static class UnknownCodeLocation implements CodeLocation%3CUnknownCodeLocation%3E %7B%0A%0A        public static final UnknownCodeLocation UNKNOWN = new UnknownCodeLocation();%0A        %0A        private UnknownCodeLocation() %7B %7D%0A        %0A        @Override%0A        public int compareTo(UnknownCodeLocation o) %7B%0A            return 0; // There can be only one.%0A        %7D%0A%0A        @Override%0A        public String typeName() %7B%0A            return %22unknown code location%22;%0A        %7D%0A%0A        @Override%0A        public String prettyPrint() %7B%0A            return %22%5BUnknown code location%5D%22;%0A        %7D%0A        %0A    %7D
 %0A%0A%7D%0A

Add an unknown code location to be used when there's unhandled errors.