| /dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/taglets/ |
| H A D | ThrowsTaglet.java | 204 TypeMirror substituteType = typeSubstitutions.get(excName); in throwsTagsOutput() local
208 … (substituteType != null && alreadyDocumented.contains(substituteType.toString()))) { in throwsTagsOutput()
214 result.add(writer.throwsTagOutput(e, dt, substituteType)); in throwsTagsOutput()
215 if (substituteType != null) { in throwsTagsOutput()
216 alreadyDocumented.add(substituteType.toString()); in throwsTagsOutput()
|
| H A D | TagletWriter.java | 203 …abstract Content throwsTagOutput(Element element, ThrowsTree throwsTag, TypeMirror substituteType); in throwsTagOutput() argument
|
| /dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/taglets/ |
| H A D | ThrowsTaglet.java | 204 TypeMirror substituteType = typeSubstitutions.get(excName); in throwsTagsOutput() local
208 … (substituteType != null && alreadyDocumented.contains(substituteType.toString()))) { in throwsTagsOutput()
214 result.add(writer.throwsTagOutput(e, dt, substituteType)); in throwsTagsOutput()
215 if (substituteType != null) { in throwsTagsOutput()
216 alreadyDocumented.add(substituteType.toString()); in throwsTagsOutput()
|
| H A D | TagletWriter.java | 203 …abstract Content throwsTagOutput(Element element, ThrowsTree throwsTag, TypeMirror substituteType); in throwsTagOutput() argument
|
| /dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/taglets/ |
| H A D | ThrowsTaglet.java | 198 TypeMirror substituteType = typeSubstitutions.get(excName); in throwsTagsOutput() local
202 … (substituteType != null && alreadyDocumented.contains(substituteType.toString()))) { in throwsTagsOutput()
208 result.add(writer.throwsTagOutput(e, dt, substituteType)); in throwsTagsOutput()
209 if (substituteType != null) { in throwsTagsOutput()
210 alreadyDocumented.add(substituteType.toString()); in throwsTagsOutput()
|
| H A D | TagletWriter.java | 197 …ed abstract Content throwsTagOutput(Element element, DocTree throwsTag, TypeMirror substituteType); in throwsTagOutput() argument
|
| /dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/taglets/ |
| H A D | ThrowsTaglet.java | 194 TypeMirror substituteType = typeSubstitutions.get(excName); in throwsTagsOutput() local
198 … (substituteType != null && alreadyDocumented.contains(substituteType.toString()))) { in throwsTagsOutput()
204 result.add(writer.throwsTagOutput(e, dt, substituteType)); in throwsTagsOutput()
205 if (substituteType != null) { in throwsTagsOutput()
206 alreadyDocumented.add(substituteType.toString()); in throwsTagsOutput()
|
| H A D | TagletWriter.java | 196 …ed abstract Content throwsTagOutput(Element element, DocTree throwsTag, TypeMirror substituteType); in throwsTagOutput() argument
|
| /dports/lang/purescript/purescript-0.14.5/src/Language/PureScript/TypeChecker/ |
| H A D | Unify.hs | 8 , substituteType
72 …r ("No kind for unification variable ?" <> T.pack (show u))) (pure . substituteType subst . snd) .…
81 substituteType :: Substitution -> SourceType -> SourceType
82 substituteType sub = everywhereOnTypes go function
88 Just t -> substituteType sub t
111 …rorMessageHint (ErrorUnifyingTypes t1 t2) $ unifyTypes' (substituteType sub t1) (substituteType su…
|
| H A D | TypeSearch.hs | 66 let expP = P.overTypes (P.substituteType subst) (elab dummyExpression)
70 let constraint' = P.mapConstraintArgs (map (P.substituteType subst)) constraint
101 let solvedRow = toRowPair <$> fst (rowToList (substituteType subst rowType))
103 pure (solvedRow, filter (\x -> checkAccessor tcS (substituteType subst resultType) x) solvedRow)
|
| H A D | Entailment.hs | 214 let kinds'' = map (substituteType latestSubst) kinds'
215 tys'' = map (substituteType latestSubst) tys'
260 … subst' <- lift . lift $ withFreshTypes tcd (fmap (substituteType currentSubst) subst)
265 let subst'' = fmap (substituteType currentSubst') subst'
323 (substituteType currentSubst . replaceAllTypeVars (M.toList subst) $ instKind)
324 (substituteType currentSubst tyKind)
|
| H A D | Types.hs | 98 let ty' = substituteType currentSubst ty
187 replaceTypes subst = onTypesInErrorMessage (substituteType subst)
201 (substituteType subst)
202 (uncurry TSAfter (typeSearch cons env st (substituteType subst ty)))
211 …p ts sub = first (map (second (first (second (overTypes (substituteType sub) *** substituteType su…
855 checkFunctionApplication' fn (substituteType subst fnTy) arg
|
| /dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.jdt.core/org.eclipse.jdt.core/compiler/org/eclipse/jdt/internal/compiler/lookup/ |
| H A D | CaptureBinding18.java | 197 TypeBinding substituteInferenceVariable(InferenceVariable var, TypeBinding substituteType) { in substituteInferenceVariable() argument
204 …Superclass = (ReferenceBinding) currentSuperclass.substituteInferenceVariable(var, substituteType); in substituteInferenceVariable()
215 …erface = (ReferenceBinding) currentSuperInterface.substituteInferenceVariable(var, substituteType); in substituteInferenceVariable()
233 currentBound = currentBound.substituteInferenceVariable(var, substituteType); in substituteInferenceVariable()
245 currentFirstBound = this.firstBound.substituteInferenceVariable(var, substituteType); in substituteInferenceVariable()
|
| H A D | CaptureBinding.java | 489 TypeBinding substituteInferenceVariable(InferenceVariable var, TypeBinding substituteType) { in substituteInferenceVariable() argument
493 TypeBinding substitutedWildcard = this.wildcard.substituteInferenceVariable(var, substituteType); in substituteInferenceVariable()
499 substitute.lowerBound = this.lowerBound.substituteInferenceVariable(var, substituteType); in substituteInferenceVariable()
501 substitute.firstBound = this.firstBound.substituteInferenceVariable(var, substituteType); in substituteInferenceVariable()
503 …e.superclass = (ReferenceBinding) this.superclass.substituteInferenceVariable(var, substituteType); in substituteInferenceVariable()
508 …s[i] = (ReferenceBinding) this.superInterfaces[i].substituteInferenceVariable(var, substituteType); in substituteInferenceVariable()
|
| H A D | InferenceVariable.java | 166 TypeBinding substituteInferenceVariable(InferenceVariable var, TypeBinding substituteType) { in substituteInferenceVariable() argument
168 return substituteType; in substituteInferenceVariable()
|
| H A D | ArrayBinding.java | 135 TypeBinding substituteInferenceVariable(InferenceVariable var, TypeBinding substituteType) { in substituteInferenceVariable() argument
136 …eBinding substitutedLeaf = this.leafComponentType.substituteInferenceVariable(var, substituteType); in substituteInferenceVariable()
|
| /dports/java/eclipse-ecj/eclipse-ecj-4.4.2_1/org/eclipse/jdt/internal/compiler/lookup/ |
| H A D | CaptureBinding18.java | 149 TypeBinding substituteInferenceVariable(InferenceVariable var, TypeBinding substituteType) { in substituteInferenceVariable() argument
156 …Superclass = (ReferenceBinding) currentSuperclass.substituteInferenceVariable(var, substituteType); in substituteInferenceVariable()
167 …erface = (ReferenceBinding) currentSuperInterface.substituteInferenceVariable(var, substituteType); in substituteInferenceVariable()
185 currentBound = currentBound.substituteInferenceVariable(var, substituteType); in substituteInferenceVariable()
|
| H A D | InferenceVariable.java | 64 TypeBinding substituteInferenceVariable(InferenceVariable var, TypeBinding substituteType) { in substituteInferenceVariable() argument
66 return substituteType; in substituteInferenceVariable()
|
| H A D | ArrayBinding.java | 128 TypeBinding substituteInferenceVariable(InferenceVariable var, TypeBinding substituteType) { in substituteInferenceVariable() argument
129 …eBinding substitutedLeaf = this.leafComponentType.substituteInferenceVariable(var, substituteType); in substituteInferenceVariable()
|
| H A D | TypeVariableBinding.java | 527 TypeBinding substituteInferenceVariable(InferenceVariable var, TypeBinding substituteType) { in substituteInferenceVariable() argument
534 …Superclass = (ReferenceBinding) currentSuperclass.substituteInferenceVariable(var, substituteType); in substituteInferenceVariable()
545 …erface = (ReferenceBinding) currentSuperInterface.substituteInferenceVariable(var, substituteType); in substituteInferenceVariable()
|
| /dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/ |
| H A D | TagletWriterImpl.java | 299 … public Content throwsTagOutput(Element element, ThrowsTree throwsTag, TypeMirror substituteType) { in throwsTagOutput() argument
304 if (substituteType != null) { in throwsTagOutput()
306 substituteType)); in throwsTagOutput()
|
| /dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/ |
| H A D | TagletWriterImpl.java | 318 public Content throwsTagOutput(Element element, DocTree throwsTag, TypeMirror substituteType) { in throwsTagOutput() argument
323 if (substituteType != null) { in throwsTagOutput()
325 substituteType)); in throwsTagOutput()
|
| /dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/ |
| H A D | TagletWriterImpl.java | 344 public Content throwsTagOutput(Element element, DocTree throwsTag, TypeMirror substituteType) { in throwsTagOutput() argument
349 if (substituteType != null) { in throwsTagOutput()
351 substituteType)); in throwsTagOutput()
|
| /dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/ |
| H A D | TagletWriterImpl.java | 390 … public Content throwsTagOutput(Element element, ThrowsTree throwsTag, TypeMirror substituteType) { in throwsTagOutput() argument
395 if (substituteType != null) { in throwsTagOutput()
397 substituteType)); in throwsTagOutput()
|
| /dports/lang/purescript/purescript-0.14.5/src/Language/PureScript/TypeChecker/Entailment/ |
| H A D | Coercible.hs | 284 pure ( substituteType subst kind
285 , substituteType subst a'
286 , substituteType subst b'
|