Don't always mark array types as precise.

Array types are always final, as they cannot be sub-classed, they may be
assigned by types that aren't themselves, e.g. Object[] may be assigned a
String[]. Introduce CannotBeAssignedFromOtherTypes to capture this property
and use in the verifier instead of IsFinal to mark things as precise.

Change-Id: I34debd3164ca1b876be94b6722457cee6e1e9bd3
3 files changed
tree: 2f42e40ccb002fbdce22c1d2d64e1f666ba09649
  1. .gitignore
  3. build/
  4. jdwpspy/
  5. src/
  6. test/
  7. tools/