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

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

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

Types.hasSameBounds介绍

[英]Does t have the same bounds for quantified variables as s?
[中]量化变量的界限是否与s相同?

代码示例

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

@Override
public Boolean visitForAll(ForAll t, Type s) {
  if (s.tag != FORALL)
    return false;
  ForAll forAll = (ForAll)s;
  return hasSameBounds(t, forAll)
    && visit(t.qtype, subst(forAll.qtype, forAll.tvars, t.tvars));
}

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

@Override
public Boolean visitForAll(ForAll t, Type s) {
  if (s.tag != FORALL)
    return false;
  ForAll forAll = (ForAll)s;
  return hasSameBounds(t, forAll)
    && visit(t.qtype, subst(forAll.qtype, forAll.tvars, t.tvars));
}

代码示例来源:origin: sc.fiji/javac

@Override
public Boolean visitForAll(ForAll t, Type s) {
  if (s.tag != FORALL)
    return false;
  ForAll forAll = (ForAll)s;
  return hasSameBounds(t, forAll)
    && visit(t.qtype, subst(forAll.qtype, forAll.tvars, t.tvars));
}

代码示例来源:origin: sc.fiji/javac

@Override
public Boolean visitForAll(ForAll t, Type s) {
  if (s.tag != FORALL)
    return false;
  ForAll forAll = (ForAll)s;
  return hasSameBounds(t, forAll)
    && visit(t.qtype, subst(forAll.qtype, forAll.tvars, t.tvars));
}

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

@Override
public Boolean visitForAll(ForAll t, Type s) {
  if (!s.hasTag(FORALL)) {
    return false;
  }
  ForAll forAll = (ForAll)s;
  return hasSameBounds(t, forAll)
    && visit(t.qtype, subst(forAll.qtype, forAll.tvars, t.tvars));
}

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

@Override
public Boolean visitForAll(ForAll t, Type s) {
  if (!s.hasTag(FORALL)) {
    return false;
  }
  ForAll forAll = (ForAll)s;
  return hasSameBounds(t, forAll)
    && visit(t.qtype, subst(forAll.qtype, forAll.tvars, t.tvars));
}

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

@Override
public Boolean visitForAll(ForAll t, Type s) {
  if (!s.hasTag(FORALL))
    return strict ? false : visitMethodType(t.asMethodType(), s);
  ForAll forAll = (ForAll)s;
  return hasSameBounds(t, forAll)
    && visit(t.qtype, subst(forAll.qtype, forAll.tvars, t.tvars));
}

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

@Override
public Boolean visitForAll(ForAll t, Type s) {
  if (!s.hasTag(FORALL))
    return strict ? false : visitMethodType(t.asMethodType(), s);
  ForAll forAll = (ForAll)s;
  return hasSameBounds(t, forAll)
    && visit(t.qtype, subst(forAll.qtype, forAll.tvars, t.tvars));
}

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

types.hasSameBounds((ForAll)mt1, (ForAll)mt2)) {
mt2 = types.subst(mt2, ((ForAll)mt2).tvars, ((ForAll)mt1).tvars);

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

types.hasSameBounds((ForAll)mt1, (ForAll)mt2)) {
mt2 = types.subst(mt2, ((ForAll)mt2).tvars, ((ForAll)mt1).tvars);

相关文章

Types类方法