tree 2da009e751d7ab90b3ca028767f6302358c70539
parent 1aae273f8827bcbfff6b00c5babd77a111852272
author Ian Rogers <irogers@google.com> 1349981576 -0700
committer Ian Rogers <irogers@google.com> 1349981576 -0700

Add notion of precise register types to verifier.

When a class may have sub-classes we don't know if a method is
overridden. Add an ability to the verifier to track when we have precise
type information. This allows the verifier differentiate the case of having
something that must be of the type from the case where something is that
type or its sub-classes.

Change-Id: I9995be7d6c147db3b22aa390b776d9c2eb93edd8