00001 00005 package edu.mit.csail.sdg.squander.spec; 00006 00007 import edu.mit.csail.sdg.squander.parser.JFSLParserException; 00008 00009 00015 public class TypeCheckException extends JFSLParserException { 00016 private static final long serialVersionUID = -6673030100868748117L; 00017 private final String src; 00018 00019 public TypeCheckException(String msg, Throwable t) { 00020 super(msg, t); 00021 this.src = null; 00022 } 00023 00024 public TypeCheckException(String msg) { 00025 this(msg, (String)null); 00026 } 00027 00028 public TypeCheckException(String msg, String src) { 00029 super(msg); 00030 this.src = src; 00031 } 00032 00033 public String getSrc() { 00034 return src; 00035 } 00036 00037 }