com.sun.tools.javac.code.Types.rewriteQuantifiers()方法的使用及代码示例

x33g5p2x  于2022-01-30 转载在 其他  
字(1.0k)|赞(0)|评价(0)|浏览(152)

本文整理了Java中com.sun.tools.javac.code.Types.rewriteQuantifiers()方法的一些代码示例,展示了Types.rewriteQuantifiers()的具体用法。这些代码示例主要来源于Github/Stackoverflow/Maven等平台,是从一些精选项目中提取出来的代码,具有较强的参考意义,能在一定程度帮忙到你。Types.rewriteQuantifiers()方法的具体详情如下:
包路径:com.sun.tools.javac.code.Types
类名称:Types
方法名:rewriteQuantifiers

Types.rewriteQuantifiers介绍

[英]Rewrite all type variables (universal quantifiers) in the given type to wildcards (existential quantifiers). This is used to determine if a cast is allowed. For example, if high is true and T is rewritten to List. Since List can be cast to List with a warning.
[中]将给定类型中的所有类型变量(通用量词)重写为通配符(存在量词)。这用于确定是否允许强制转换。例如,如果high为true,则T被重写为List。因为列表可以被强制转换为带有警告的列表。

代码示例

代码示例来源:origin: org.kohsuke.sorcerer/sorcerer-javac

private Type relaxBound(Type t) {
  if (t.hasTag(TYPEVAR)) {
    while (t.hasTag(TYPEVAR))
      t = t.getUpperBound();
    t = rewriteQuantifiers(t, true, true);
  }
  return t;
}
// </editor-fold>

代码示例来源:origin: konsoletyper/teavm-javac

private Type relaxBound(Type t) {
  if (t.hasTag(TYPEVAR)) {
    while (t.hasTag(TYPEVAR))
      t = t.getUpperBound();
    t = rewriteQuantifiers(t, true, true);
  }
  return t;
}
// </editor-fold>

相关文章

Types类方法