1 package polyglot.types; 2 3 import polyglot.util.Position; 4 5 14 public class BadSerializationException extends SemanticException { 15 private String className; 16 17 private static String message(String className) { 18 className = className.replace('/', '.'); 19 return "Could not decode Polyglot type information for \"" + 20 className + "\". The most likely cause is " + 21 "that the compiler has " + 22 "been modified since the class file was created. " + 23 "Please delete " + 24 "the class file for \"" + className + 25 "\", and recompile from source."; 26 } 27 public BadSerializationException(String className) { 28 super(message(className)); 29 this.className = className; 30 } 31 32 public BadSerializationException(String className, Position position) { 33 super(message(className), position); 34 this.className = className; 35 } 36 37 public String getClassName() { 38 return className; 39 } 40 } 41 | Popular Tags |