populate attribute spelling list index for ASaP attributes so they can be pretty printed with real syntaxes; also fixed misc coding style issues.
small tweaks.
it is always safe to delete a null pointer in C++.
Increment the iterator before it's being erased because erase an element from std map will invalidate the iterator to make it not incrementable.
Removed code of old typechecking pass which has been replaced by the TypeBuilder pass
Merge branch 'asp' of github.com:hanm/clang into asp
It is always safe to delete a null pointer in C++
Added support for BinAdd, BinSub expressions, and constants in typechecking.
Constants are supported by ignoring null ASaP Types which correspond to constants.
Added typechecking for declaration statemts with initializations.
Fixed support for correct substitution in typechecking and assigning 'this' to an lvalue
Updated test to reflect slightly different error format, and inserted indentation
Added support for checking return statements and moved ASaPType into its own file
Adding new test focusing on assignments
small tweaks on coding style.
Merge branch 'asp' of github.com:hanm/clang into asp
For global helper functions, Clang perfer using static non member function over function in anonymous namespace.
removed unused declaration.
Adding support for typechecking C++ Member function calls.
Ported EffectChecker to use ASaPTypes and updatad Effect constructors
to make private copies of the Rpl arg, so we don't have to explicitly
copy the Rpls.
Parsing RPLs with '::' specifiers (but ignoring them for now)