From a2af142a453621414c494bf58be9a6e0fcb69538 Mon Sep 17 00:00:00 2001 From: Aosen Xiong Date: Thu, 19 Dec 2024 12:24:34 -0500 Subject: [PATCH 1/3] Javadoc --- framework/src/test/java/viewpointtest/quals/A.java | 1 + framework/src/test/java/viewpointtest/quals/B.java | 1 + framework/src/test/java/viewpointtest/quals/Bottom.java | 1 + framework/src/test/java/viewpointtest/quals/PolyVP.java | 1 + .../src/test/java/viewpointtest/quals/ReceiverDependentQual.java | 1 + framework/src/test/java/viewpointtest/quals/Top.java | 1 + 6 files changed, 6 insertions(+) diff --git a/framework/src/test/java/viewpointtest/quals/A.java b/framework/src/test/java/viewpointtest/quals/A.java index 3578a501ec2..8bee242159e 100644 --- a/framework/src/test/java/viewpointtest/quals/A.java +++ b/framework/src/test/java/viewpointtest/quals/A.java @@ -8,6 +8,7 @@ import java.lang.annotation.RetentionPolicy; import java.lang.annotation.Target; +/** The A qualifier. */ @Documented @Retention(RetentionPolicy.RUNTIME) @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER}) diff --git a/framework/src/test/java/viewpointtest/quals/B.java b/framework/src/test/java/viewpointtest/quals/B.java index 1fc36246149..957096b3c9f 100644 --- a/framework/src/test/java/viewpointtest/quals/B.java +++ b/framework/src/test/java/viewpointtest/quals/B.java @@ -8,6 +8,7 @@ import java.lang.annotation.RetentionPolicy; import java.lang.annotation.Target; +/** The B qualifier. */ @Documented @Retention(RetentionPolicy.RUNTIME) @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER}) diff --git a/framework/src/test/java/viewpointtest/quals/Bottom.java b/framework/src/test/java/viewpointtest/quals/Bottom.java index 753d57fad71..1cdcd149e9d 100644 --- a/framework/src/test/java/viewpointtest/quals/Bottom.java +++ b/framework/src/test/java/viewpointtest/quals/Bottom.java @@ -10,6 +10,7 @@ import java.lang.annotation.RetentionPolicy; import java.lang.annotation.Target; +/** The Bottom qualifier. */ @Documented @Retention(RetentionPolicy.RUNTIME) @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER}) diff --git a/framework/src/test/java/viewpointtest/quals/PolyVP.java b/framework/src/test/java/viewpointtest/quals/PolyVP.java index 0904ee3f094..de3a609d94e 100644 --- a/framework/src/test/java/viewpointtest/quals/PolyVP.java +++ b/framework/src/test/java/viewpointtest/quals/PolyVP.java @@ -8,6 +8,7 @@ import java.lang.annotation.RetentionPolicy; import java.lang.annotation.Target; +/** The {@link PolyVP} qualifier is a polymorphic qualifier in this hierarchy. */ @Documented @Retention(RetentionPolicy.RUNTIME) @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER}) diff --git a/framework/src/test/java/viewpointtest/quals/ReceiverDependentQual.java b/framework/src/test/java/viewpointtest/quals/ReceiverDependentQual.java index 434561e183d..8174b1e3830 100644 --- a/framework/src/test/java/viewpointtest/quals/ReceiverDependentQual.java +++ b/framework/src/test/java/viewpointtest/quals/ReceiverDependentQual.java @@ -8,6 +8,7 @@ import java.lang.annotation.RetentionPolicy; import java.lang.annotation.Target; +/** The {@link ReceiverDependentQual} qualifier. */ @Documented @Retention(RetentionPolicy.RUNTIME) @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER}) diff --git a/framework/src/test/java/viewpointtest/quals/Top.java b/framework/src/test/java/viewpointtest/quals/Top.java index 84b39223cdc..e98647e51f1 100644 --- a/framework/src/test/java/viewpointtest/quals/Top.java +++ b/framework/src/test/java/viewpointtest/quals/Top.java @@ -9,6 +9,7 @@ import java.lang.annotation.RetentionPolicy; import java.lang.annotation.Target; +/** The Top qualifier. */ @Documented @Retention(RetentionPolicy.RUNTIME) @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER}) From 20dd6415f80e10415fc49092c97a1aaf71b9d70f Mon Sep 17 00:00:00 2001 From: Aosen Xiong Date: Thu, 19 Dec 2024 12:27:36 -0500 Subject: [PATCH 2/3] Add link --- framework/src/test/java/viewpointtest/quals/B.java | 2 +- framework/src/test/java/viewpointtest/quals/Bottom.java | 2 +- framework/src/test/java/viewpointtest/quals/Top.java | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/framework/src/test/java/viewpointtest/quals/B.java b/framework/src/test/java/viewpointtest/quals/B.java index 957096b3c9f..1ac4eb1323b 100644 --- a/framework/src/test/java/viewpointtest/quals/B.java +++ b/framework/src/test/java/viewpointtest/quals/B.java @@ -8,7 +8,7 @@ import java.lang.annotation.RetentionPolicy; import java.lang.annotation.Target; -/** The B qualifier. */ +/** The {@link B} qualifier. */ @Documented @Retention(RetentionPolicy.RUNTIME) @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER}) diff --git a/framework/src/test/java/viewpointtest/quals/Bottom.java b/framework/src/test/java/viewpointtest/quals/Bottom.java index 1cdcd149e9d..f29d139501c 100644 --- a/framework/src/test/java/viewpointtest/quals/Bottom.java +++ b/framework/src/test/java/viewpointtest/quals/Bottom.java @@ -10,7 +10,7 @@ import java.lang.annotation.RetentionPolicy; import java.lang.annotation.Target; -/** The Bottom qualifier. */ +/** The {@link Bottom} qualifier. */ @Documented @Retention(RetentionPolicy.RUNTIME) @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER}) diff --git a/framework/src/test/java/viewpointtest/quals/Top.java b/framework/src/test/java/viewpointtest/quals/Top.java index e98647e51f1..7f76f1f363c 100644 --- a/framework/src/test/java/viewpointtest/quals/Top.java +++ b/framework/src/test/java/viewpointtest/quals/Top.java @@ -9,7 +9,7 @@ import java.lang.annotation.RetentionPolicy; import java.lang.annotation.Target; -/** The Top qualifier. */ +/** The {@link Top} qualifier. */ @Documented @Retention(RetentionPolicy.RUNTIME) @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER}) From 0d7b24603001542740403ec8f1b13f616b75e390 Mon Sep 17 00:00:00 2001 From: Aosen Xiong Date: Sat, 21 Dec 2024 01:54:10 -0500 Subject: [PATCH 3/3] Remove link and uniform the text --- framework/src/test/java/viewpointtest/quals/B.java | 2 +- framework/src/test/java/viewpointtest/quals/Bottom.java | 2 +- framework/src/test/java/viewpointtest/quals/Lost.java | 6 +++--- framework/src/test/java/viewpointtest/quals/PolyVP.java | 2 +- .../java/viewpointtest/quals/ReceiverDependentQual.java | 2 +- framework/src/test/java/viewpointtest/quals/Top.java | 2 +- 6 files changed, 8 insertions(+), 8 deletions(-) diff --git a/framework/src/test/java/viewpointtest/quals/B.java b/framework/src/test/java/viewpointtest/quals/B.java index 1ac4eb1323b..957096b3c9f 100644 --- a/framework/src/test/java/viewpointtest/quals/B.java +++ b/framework/src/test/java/viewpointtest/quals/B.java @@ -8,7 +8,7 @@ import java.lang.annotation.RetentionPolicy; import java.lang.annotation.Target; -/** The {@link B} qualifier. */ +/** The B qualifier. */ @Documented @Retention(RetentionPolicy.RUNTIME) @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER}) diff --git a/framework/src/test/java/viewpointtest/quals/Bottom.java b/framework/src/test/java/viewpointtest/quals/Bottom.java index f29d139501c..1cdcd149e9d 100644 --- a/framework/src/test/java/viewpointtest/quals/Bottom.java +++ b/framework/src/test/java/viewpointtest/quals/Bottom.java @@ -10,7 +10,7 @@ import java.lang.annotation.RetentionPolicy; import java.lang.annotation.Target; -/** The {@link Bottom} qualifier. */ +/** The Bottom qualifier. */ @Documented @Retention(RetentionPolicy.RUNTIME) @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER}) diff --git a/framework/src/test/java/viewpointtest/quals/Lost.java b/framework/src/test/java/viewpointtest/quals/Lost.java index ade8ff1d01b..38e215c5293 100644 --- a/framework/src/test/java/viewpointtest/quals/Lost.java +++ b/framework/src/test/java/viewpointtest/quals/Lost.java @@ -9,11 +9,11 @@ import java.lang.annotation.Target; /** - * The {@link Lost} qualifier indicates that a relationship cannot be expressed. It is the result of + * The Lost qualifier indicates that a relationship cannot be expressed. It is the result of * viewpoint adaptation that combines {@link Top} and {@link ReceiverDependentQual}. * - *

It is not reflexive in the subtyping relationship and the only subtype for {@link Lost} is - * {@link Bottom}. + *

It is not reflexive in the subtyping relationship and the only subtype for Lost is {@link + * Bottom}. */ @Documented @Retention(RetentionPolicy.RUNTIME) diff --git a/framework/src/test/java/viewpointtest/quals/PolyVP.java b/framework/src/test/java/viewpointtest/quals/PolyVP.java index de3a609d94e..c89a201cc80 100644 --- a/framework/src/test/java/viewpointtest/quals/PolyVP.java +++ b/framework/src/test/java/viewpointtest/quals/PolyVP.java @@ -8,7 +8,7 @@ import java.lang.annotation.RetentionPolicy; import java.lang.annotation.Target; -/** The {@link PolyVP} qualifier is a polymorphic qualifier in this hierarchy. */ +/** The PolyVP qualifier is a polymorphic qualifier in this hierarchy. */ @Documented @Retention(RetentionPolicy.RUNTIME) @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER}) diff --git a/framework/src/test/java/viewpointtest/quals/ReceiverDependentQual.java b/framework/src/test/java/viewpointtest/quals/ReceiverDependentQual.java index 8174b1e3830..cb8adfc0635 100644 --- a/framework/src/test/java/viewpointtest/quals/ReceiverDependentQual.java +++ b/framework/src/test/java/viewpointtest/quals/ReceiverDependentQual.java @@ -8,7 +8,7 @@ import java.lang.annotation.RetentionPolicy; import java.lang.annotation.Target; -/** The {@link ReceiverDependentQual} qualifier. */ +/** The ReceiverDependentQual qualifier. */ @Documented @Retention(RetentionPolicy.RUNTIME) @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER}) diff --git a/framework/src/test/java/viewpointtest/quals/Top.java b/framework/src/test/java/viewpointtest/quals/Top.java index 7f76f1f363c..e98647e51f1 100644 --- a/framework/src/test/java/viewpointtest/quals/Top.java +++ b/framework/src/test/java/viewpointtest/quals/Top.java @@ -9,7 +9,7 @@ import java.lang.annotation.RetentionPolicy; import java.lang.annotation.Target; -/** The {@link Top} qualifier. */ +/** The Top qualifier. */ @Documented @Retention(RetentionPolicy.RUNTIME) @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})