tree 183afb5dfc1f4e6fb81f14707caffa558d31dbcc
parent 7ea5dafc81b2bba7cabad26130bb75dc8f709803
author Vladimir Marko <vmarko@google.com> 1390586118 +0000
committer Vladimir Marko <vmarko@google.com> 1390908162 +0000

Refactor verification results.

Rename VerificationMethodsData to VerificationResults.
Create new class VerifiedMethod to hold all the data for
a given method.

Change-Id: Ife1ac67cede20f3a2f9c7f5345f08a851cf1ed20