Maurizio Cimadamore d7884e5ae2 8002099: Add support for intersection types in cast expression ...

Add parser and type-checking support for intersection types in cast expressions

Reviewed-by: jjg

2012-11-30 15:14:48 +00:00

..

Check.java

8002099: Add support for intersection types in cast expression

2012-11-30 15:14:48 +00:00

IntersectionTypeInfo.java

8002099: Add support for intersection types in cast expression

2012-11-30 15:14:48 +00:00

Member.java

8002099: Add support for intersection types in cast expression

2012-11-30 15:14:48 +00:00

Model01.java

8002099: Add support for intersection types in cast expression

2012-11-30 15:14:48 +00:00

ModelChecker.java

8002099: Add support for intersection types in cast expression

2012-11-30 15:14:48 +00:00