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

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

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

[legend]

List of all members.

Public Member Functions
	IncompatibleTypesException (JType t1, JType t2, int pos, String expr)
JType	getT1 ()
JType	getT2 ()
String	getExpr ()
int	getPos ()
Private Attributes
final JType	t1
final JType	t2
final String	expr
final int	pos
Static Private Attributes
static final long	serialVersionUID = 9096734998607169611L

---

Detailed Description

Definition at line 7 of file IncompatibleTypesException.java.

---

Constructor & Destructor Documentation

edu.mit.csail.sdg.squander.spec.IncompatibleTypesException.IncompatibleTypesException	(	JType	t1,
		JType	t2,
		int	pos,
		String	expr
	)

Definition at line 15 of file IncompatibleTypesException.java.

---

Member Function Documentation

String edu.mit.csail.sdg.squander.spec.IncompatibleTypesException.getExpr

(

)

Definition at line 31 of file IncompatibleTypesException.java.

References edu.mit.csail.sdg.squander.spec.IncompatibleTypesException.expr.

int edu.mit.csail.sdg.squander.spec.IncompatibleTypesException.getPos

(

)

Definition at line 35 of file IncompatibleTypesException.java.

References edu.mit.csail.sdg.squander.spec.IncompatibleTypesException.pos.

JType edu.mit.csail.sdg.squander.spec.IncompatibleTypesException.getT1

(

)

Definition at line 23 of file IncompatibleTypesException.java.

References edu.mit.csail.sdg.squander.spec.IncompatibleTypesException.t1.

JType edu.mit.csail.sdg.squander.spec.IncompatibleTypesException.getT2

(

)

Definition at line 27 of file IncompatibleTypesException.java.

References edu.mit.csail.sdg.squander.spec.IncompatibleTypesException.t2.

---

Member Data Documentation

final String edu.mit.csail.sdg.squander.spec.IncompatibleTypesException.expr [private]

Definition at line 12 of file IncompatibleTypesException.java.

Referenced by edu.mit.csail.sdg.squander.spec.IncompatibleTypesException.getExpr().

final int edu.mit.csail.sdg.squander.spec.IncompatibleTypesException.pos [private]

Definition at line 13 of file IncompatibleTypesException.java.

Referenced by edu.mit.csail.sdg.squander.spec.IncompatibleTypesException.getPos().

final long edu.mit.csail.sdg.squander.spec.IncompatibleTypesException.serialVersionUID = 9096734998607169611L [static, private]

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

Definition at line 9 of file IncompatibleTypesException.java.

final JType edu.mit.csail.sdg.squander.spec.IncompatibleTypesException.t1 [private]

Definition at line 11 of file IncompatibleTypesException.java.

Referenced by edu.mit.csail.sdg.squander.spec.IncompatibleTypesException.getT1().

final JType edu.mit.csail.sdg.squander.spec.IncompatibleTypesException.t2 [private]

Definition at line 11 of file IncompatibleTypesException.java.

Referenced by edu.mit.csail.sdg.squander.spec.IncompatibleTypesException.getT2().

---

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

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