#3722

pending completion

Build # #3722

Build Type

push

github actions

Committed by

adangel

Commit Message

Suppress MissingOverride for Chars::isEmpty (#4291)

Run Details

67270 of 127658 relevant lines covered (52.7%)

0.53 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

54.29

/pmd-java/src/main/java/net/sourceforge/pmd/lang/java/types/CaptureMatcher.java

/*
 * BSD-style license; for more info see http://pmd.sourceforge.net/license.html
 */

package net.sourceforge.pmd.lang.java.types;

import java.util.Objects;
import java.util.function.Function;

import org.checkerframework.checker.nullness.qual.NonNull;
import org.checkerframework.checker.nullness.qual.Nullable;
import org.pcollections.HashTreePSet;
import org.pcollections.PSet;

import net.sourceforge.pmd.lang.java.symbols.JTypeParameterSymbol;
import net.sourceforge.pmd.lang.java.symbols.SymbolicValue.SymAnnot;

/**
 * Test only. This binds to the first capture variable it tests equal
 * with, and keeps the same binding forever.
 */
final class CaptureMatcher implements JTypeVar {

    private final JWildcardType wild;
    private @Nullable JTypeVar captured = null;

    CaptureMatcher(JWildcardType wild) {
        this.wild = wild;
    }

    @Override
    public TypeSystem getTypeSystem() {
        return wild.getTypeSystem();
    }

    @Override
    public boolean isCaptured() {
        return true;
    }

    @Override
    public JTypeVar withAnnotations(PSet<SymAnnot> newTypeAnnots) {
        throw new UnsupportedOperationException("this is a test only object which should only be used for equals");
    }

    @Override
    public JTypeVar withUpperBound(@NonNull JTypeMirror newUB) {
        throw new UnsupportedOperationException("this is a test only object which should only be used for equals");
    }

    @Override
    public PSet<SymAnnot> getTypeAnnotations() {
        if (captured != null) {
            return captured.getTypeAnnotations();
        }
        return HashTreePSet.empty();
    }

    @Override
    public @Nullable JTypeParameterSymbol getSymbol() {
        return null; // captured
    }

    @Override
    public @NonNull String getName() {
        if (captured != null) {
            return captured.getName();
        }
        throw new UnsupportedOperationException("this is a test only object which should only be used for equals");
    }

    @Override
    public @NonNull JTypeMirror getUpperBound() {
        return captured != null ? captured.getUpperBound() : getTypeSystem().OBJECT;
    }

    @Override
    public @NonNull JTypeMirror getLowerBound() {
        return captured != null ? captured.getLowerBound() : getTypeSystem().NULL_TYPE;
    }

    @Override
    public boolean isCaptureOf(JWildcardType wildcard) {
        return this.wild.equals(wildcard);
    }

    @Override
    public @Nullable JWildcardType getCapturedOrigin() {
        return wild;
    }

    @Override
    public JTypeVar cloneWithBounds(JTypeMirror lower, JTypeMirror upper) {
        throw new UnsupportedOperationException("this is a test only object which should only be used for equals");
    }

    @Override
    public JTypeVar substInBounds(Function<? super SubstVar, ? extends @NonNull JTypeMirror> substitution) {
        throw new UnsupportedOperationException("this is a test only object which should only be used for equals");
    }

    @Override
    public boolean equals(Object o) {
        if (this == o) {
            return true;
        }
        if (!(o instanceof JTypeVar)) {
            return false;
        }
        if (captured != null) {
            return captured.equals(o);
        }

        JTypeVar that = (JTypeVar) o;
        if (!Objects.equals(that.getCapturedOrigin(), this.getCapturedOrigin())) {
            return false;
        }
        this.captured = that;
        return true;
    }

    @Override
    public int hashCode() {
        throw new UnsupportedOperationException("this is a test only object which should only be used for equals");
    }

    @Override
    public String toString() {
        return captured == null ? "unbound capture matcher"
                                : "bound(" + captured.toString() + ")";
    }
}

1	/*
2	* BSD-style license; for more info see http://pmd.sourceforge.net/license.html
3	*/
4
5	package net.sourceforge.pmd.lang.java.types;
6
7	import java.util.Objects;
8	import java.util.function.Function;
9
10	import org.checkerframework.checker.nullness.qual.NonNull;
11	import org.checkerframework.checker.nullness.qual.Nullable;
12	import org.pcollections.HashTreePSet;
13	import org.pcollections.PSet;
14
15	import net.sourceforge.pmd.lang.java.symbols.JTypeParameterSymbol;
16	import net.sourceforge.pmd.lang.java.symbols.SymbolicValue.SymAnnot;
17
18	/**
19	* Test only. This binds to the first capture variable it tests equal
20	* with, and keeps the same binding forever.
21	*/
22	final class CaptureMatcher implements JTypeVar {
23
24	private final JWildcardType wild;
25	private @Nullable JTypeVar captured = null;	1✔
26
27	CaptureMatcher(JWildcardType wild) {	1✔
28	this.wild = wild;	1✔
29	}	1✔
30
31	@Override
32	public TypeSystem getTypeSystem() {
33	return wild.getTypeSystem();	×
34	}
35
36	@Override
37	public boolean isCaptured() {
38	return true;	1✔
39	}
40
41	@Override
42	public JTypeVar withAnnotations(PSet<SymAnnot> newTypeAnnots) {
43	throw new UnsupportedOperationException("this is a test only object which should only be used for equals");	×
44	}
45
46	@Override
47	public JTypeVar withUpperBound(@NonNull JTypeMirror newUB) {
48	throw new UnsupportedOperationException("this is a test only object which should only be used for equals");	×
49	}
50
51	@Override
52	public PSet<SymAnnot> getTypeAnnotations() {
53	if (captured != null) {	×
54	return captured.getTypeAnnotations();	×
55	}
56	return HashTreePSet.empty();	×
57	}
58
59	@Override
60	public @Nullable JTypeParameterSymbol getSymbol() {
61	return null; // captured	×
62	}
63
64	@Override
65	public @NonNull String getName() {
66	if (captured != null) {	×
67	return captured.getName();	×
68	}
69	throw new UnsupportedOperationException("this is a test only object which should only be used for equals");	×
70	}
71
72	@Override
73	public @NonNull JTypeMirror getUpperBound() {
74	return captured != null ? captured.getUpperBound() : getTypeSystem().OBJECT;	1✔
75	}
76
77	@Override
78	public @NonNull JTypeMirror getLowerBound() {
79	return captured != null ? captured.getLowerBound() : getTypeSystem().NULL_TYPE;	1✔
80	}
81
82	@Override
83	public boolean isCaptureOf(JWildcardType wildcard) {
84	return this.wild.equals(wildcard);	1✔
85	}
86
87	@Override
88	public @Nullable JWildcardType getCapturedOrigin() {
89	return wild;	1✔
90	}
91
92	@Override
93	public JTypeVar cloneWithBounds(JTypeMirror lower, JTypeMirror upper) {
94	throw new UnsupportedOperationException("this is a test only object which should only be used for equals");	×
95	}
96
97	@Override
98	public JTypeVar substInBounds(Function<? super SubstVar, ? extends @NonNull JTypeMirror> substitution) {
99	throw new UnsupportedOperationException("this is a test only object which should only be used for equals");	×
100	}
101
102	@Override
103	public boolean equals(Object o) {
104	if (this == o) {	1✔
105	return true;	×
106	}
107	if (!(o instanceof JTypeVar)) {	1✔
108	return false;	×
109	}
110	if (captured != null) {	1✔
111	return captured.equals(o);	1✔
112	}
113
114	JTypeVar that = (JTypeVar) o;	1✔
115	if (!Objects.equals(that.getCapturedOrigin(), this.getCapturedOrigin())) {	1✔
116	return false;	×
117	}
118	this.captured = that;	1✔
119	return true;	1✔
120	}
121
122	@Override
123	public int hashCode() {
124	throw new UnsupportedOperationException("this is a test only object which should only be used for equals");	×
125	}
126
127	@Override
128	public String toString() {
129	return captured == null ? "unbound capture matcher"	1✔
130	: "bound(" + captured.toString() + ")";	1✔
131	}
132	}

pmd / pmd / #3722

Source File Press 'n' to go to next uncovered line, 'b' for previous

Source File
Press 'n' to go to next uncovered line, 'b' for previous