Description
Implement a 'lint' warning in javac for a 'synchronized' statement whose operand is known to be @ValueBased.
This should apply to an operand expression that has any of:
- A class type, where the named class is declared @ValueBased
- An interface type, where the named interface is declared @ValueBased
- A type variable or intersection type with a @ValueBased bound
This should apply to an operand expression that has any of:
- A class type, where the named class is declared @ValueBased
- An interface type, where the named interface is declared @ValueBased
- A type variable or intersection type with a @ValueBased bound
Attachments
Issue Links
- blocks
-
JDK-8249100 JEP 390: Warnings for Value-Based Classes
-
- Closed
-
- csr for
-
JDK-8256023 [JEP 390] Add 'lint' warning for synchronization attempts on value-based class instances
-
- Closed
-
- duplicates
-
JDK-8203465 Add a lint mode for diagnosing violations of specification for value based classes
-
- Resolved
-
- relates to
-
JDK-8257845 Integrate JEP 390
-
- Resolved
-
-
-
- Resolved
-
(2 links to)