Uploaded image for project: 'JDK'
  1. JDK
  2. JDK-8255733

[type-restrictions] Enhance Javac to help with generation of test files for type restrictions experiments

    XMLWordPrintable

    Details

    • Type: Bug
    • Status: Resolved
    • Priority: P4
    • Resolution: Not an Issue
    • Affects Version/s: repo-valhalla
    • Fix Version/s: repo-valhalla
    • Component/s: tools
    • Labels:
      None
    • Subcomponent:
    • CPU:
      generic
    • OS:
      generic

      Description

      Note from Frederic:

      In the current type-restrictions branch, javac has the option -XDflattenWithTypeRestrictions
      to generate class files with an erased type (the value projection) in descriptors and a sharp
      type in the RestrictedField attribute. But in order to be able to really evaluate the type
      restriction model, I think we need a way to generate class file with only the erased type,
      to simulate ‘old client’ classes not aware of the specialization.

      We could generate this classes manually, but this is a long and fastidious work, and it would
      fill our test directories with JASM files. It sounds more appealing to have an option in javac
      to generate this kind of classes. The changes don’t look so big, javac would just have to
      generate same class files as with -XDflattenWithTypeRestrictions minus the RestrictedField
      attributes.

        Attachments

          Issue Links

            Activity

              People

              Assignee:
              sadayapalam Srikanth Adayapalam
              Reporter:
              sadayapalam Srikanth Adayapalam
              Votes:
              0 Vote for this issue
              Watchers:
              2 Start watching this issue

                Dates

                Created:
                Updated:
                Resolved: