edu.mit.csail.sdg.squander.spec.TypeCheckException Class Reference
[Specification]

Inherits edu::mit::csail::sdg::squander::parser::JFSLParserException.

Inherited by edu.mit.csail.sdg.squander.spec.ArityMismatchException, and edu.mit.csail.sdg.squander.spec.IncompatibleTypesException.

Collaboration diagram for edu.mit.csail.sdg.squander.spec.TypeCheckException:

[legend]

List of all members.

Public Member Functions
	TypeCheckException (String msg, Throwable t)
	TypeCheckException (String msg)
	TypeCheckException (String msg, String src)
String	getSrc ()
Private Attributes
final String	src
Static Private Attributes
static final long	serialVersionUID = -6673030100868748117L

---

Detailed Description

Indicates an error in type checking phase.

Author:

kuat

Definition at line 15 of file TypeCheckException.java.

---

Constructor & Destructor Documentation

edu.mit.csail.sdg.squander.spec.TypeCheckException.TypeCheckException	(	String	msg,
		Throwable	t
	)

Definition at line 19 of file TypeCheckException.java.

References edu.mit.csail.sdg.squander.spec.TypeCheckException.src.

edu.mit.csail.sdg.squander.spec.TypeCheckException.TypeCheckException

(

String

msg

)

Definition at line 24 of file TypeCheckException.java.

edu.mit.csail.sdg.squander.spec.TypeCheckException.TypeCheckException	(	String	msg,
		String	src
	)

Definition at line 28 of file TypeCheckException.java.

---

Member Function Documentation

String edu.mit.csail.sdg.squander.spec.TypeCheckException.getSrc

(

)

Definition at line 33 of file TypeCheckException.java.

References edu.mit.csail.sdg.squander.spec.TypeCheckException.src.

---

Member Data Documentation

final long edu.mit.csail.sdg.squander.spec.TypeCheckException.serialVersionUID = -6673030100868748117L [static, private]

Reimplemented in edu.mit.csail.sdg.squander.spec.ArityMismatchException, and edu.mit.csail.sdg.squander.spec.IncompatibleTypesException.

Definition at line 16 of file TypeCheckException.java.

final String edu.mit.csail.sdg.squander.spec.TypeCheckException.src [private]

Definition at line 17 of file TypeCheckException.java.

Referenced by edu.mit.csail.sdg.squander.spec.TypeCheckException.getSrc(), and edu.mit.csail.sdg.squander.spec.TypeCheckException.TypeCheckException().

---

The documentation for this class was generated from the following file:

• src/edu/mit/csail/sdg/squander/spec/TypeCheckException.java