tree 55816eb63505f5f2c65c9298d4412fea3eed1bf4
parent 857fe960a02834c0d6b8792dcc0af8143995cb1f
author Sameer Abu Asal <sasal@google.com> 1361312701 -0800
committer Sameer Abu Asal <sasal@google.com> 1364573639 -0700

Refactoring type verification in Art.

Each type now has its own class instead of one class with enums.

Improved test cases for reg_type. Added test cases for testing precision, Merge,
Dump messages, etc.

Fixed bugs for:
        1- Creating precise references in cache was ignoring the passed parameter
        for reference types and only creating precise for final classes. Now creating
        for final classes or if boolean set to true.
        2- Precise constants were created if precise boolean passed as false ( and vice
           versa ). Fixed.

Change-Id: Ia5450d6c732f848e6b94298e43e8cfb819897fc6