Maurizio Cimadamore
|
b03ad3ae09
|
7175911: Simplify error reporting API in Check.CheckContext interface
Make error messages generated during Check.checkType more uniform and more scalable
Reviewed-by: jjg, dlsmith
|
2012-08-02 18:22:41 +01:00 |
|
Maurizio Cimadamore
|
9b1e54dae3
|
7151492: Encapsulate check logic into Attr.ResultInfo
ResultInfo class should be used to make attribution code transparent w.r.t. check logic being used
Reviewed-by: jjg, dlsmith
|
2012-03-26 15:28:22 +01:00 |
|
Maurizio Cimadamore
|
47f6d8a95e
|
7002070: If catch clause has an incompatible type, error pointer points to first exception type in list
Attribution should check each component of a disjunctive type separately, rather than checking the corresponding lub()
Reviewed-by: jjg
|
2010-12-06 11:50:37 +00:00 |
|