> This patch adds new tests of fields layouts and the substitutability method 
> using randomly generated methods.
> In its current form, the value class generator is limited to the JEP 401 
> model, meaning it doesn't support null-restricted fields nor non-atomic 
> values.
> 
> The value class generator (ValueClassGenerator.java) is used by 
> ValueRandomLayoutTest.java which runs the FieldLayoutAnalyzer on all 
> generated classes to verify invariants of layouts.
> The value class generator is also used by ValueComparisonTest.java which 
> tests the substitutability method. The generated value classes have a set of 
> pre-computed values than can be used for instance initializations and value 
> comparisons.
> 
> Testing in progress tier1-4
> 
> Fred

Frederic Parain has updated the pull request incrementally with one additional 
commit since the last revision:

  Fix work directory, identation and other minor fixes

-------------

Changes:
  - all: https://git.openjdk.org/valhalla/pull/2202/files
  - new: https://git.openjdk.org/valhalla/pull/2202/files/2be10987..36b82d5d

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=valhalla&pr=2202&range=01
 - incr: https://webrevs.openjdk.org/?repo=valhalla&pr=2202&range=00-01

  Stats: 345 lines in 5 files changed: 78 ins; 71 del; 196 mod
  Patch: https://git.openjdk.org/valhalla/pull/2202.diff
  Fetch: git fetch https://git.openjdk.org/valhalla.git pull/2202/head:pull/2202

PR: https://git.openjdk.org/valhalla/pull/2202

Reply via email to