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

Types介绍

[英]Utility class containing various operations on types.

Unless other names are more illustrative, the following naming conventions should be observed in this file: t If the first argument to an operation is a type, it should be named t. s Similarly, if the second argument to an operation is a type, it should be named s. ts If an operations takes a list of types, the first should be named ts. ss A second list of types should be named ss.

This is NOT part of any supported API. If you write code that depends on this, you do so at your own risk. This code and its internal interfaces are subject to change or deletion without notice.
[中]包含对类型的各种操作的实用程序类。
除非其他名称更具说明性，否则在此文件中应遵守以下命名约定：t如果操作的第一个参数是类型，则应将其命名为t.s。类似地，如果操作的第二个参数是类型，则应将其命名为s.ts如果操作采用类型列表，第一个应命名为ts。第二个类型列表应命名为ss。
这不是任何受支持的API的一部分。如果您编写的代码依赖于此，那么您将自担风险。本代码及其内部接口如有更改或删除，恕不另行通知。

代码示例

代码示例来源：origin: google/error-prone

private GuardedBySymbolResolver(
  ClassSymbol enclosingClass, CompilationUnitTree compilationUnit, Context context, Tree leaf) {
 this.compilationUnit = (JCCompilationUnit) compilationUnit;
 this.enclosingClass = enclosingClass;
 this.context = context;
 this.types = Types.instance(context);
 this.decl = leaf;
}

代码示例来源：origin: google/error-prone

boolean isKnownCheckedException(VisitorState state, Type type) {
  Types types = state.getTypes();
  Symtab symtab = state.getSymtab();
  // Check erasure for generics.
  type = types.erasure(type);
  return
  // Has to be some Exception: A variable of type Throwable might be an Error.
  types.isSubtype(type, symtab.exceptionType)
    // Has to be some subtype: A variable of type Exception might be a RuntimeException.
    && !types.isSameType(type, symtab.exceptionType)
    // Can't be of type RuntimeException.
    && !types.isSubtype(type, symtab.runtimeExceptionType);
 }
};

代码示例来源：origin: google/error-prone

private static boolean isAssignableTo(Type type, Supplier<Type> supplier, VisitorState state) {
 Type to = supplier.get(state);
 if (to == null) {
  // the type couldn't be loaded
  return false;
 }
 to = state.getTypes().erasure(to);
 return state.getTypes().isAssignable(type, to);
}

代码示例来源：origin: google/error-prone

/** Returns true if {@code erasure(s) == erasure(t)}. */
public static boolean isSameType(Type s, Type t, VisitorState state) {
 if (s == null || t == null) {
  return false;
 }
 Types types = state.getTypes();
 return types.isSameType(types.erasure(s), types.erasure(t));
}

代码示例来源：origin: google/error-prone

/** Returns true if {@code erasure(s)} is castable to {@code erasure(t)}. */
public static boolean isCastable(Type s, Type t, VisitorState state) {
 if (s == null || t == null) {
  return false;
 }
 Types types = state.getTypes();
 return types.isCastable(types.erasure(s), types.erasure(t));
}

代码示例来源：origin: google/error-prone

static boolean equivalentExprs(Unifier unifier, JCExpression expr1, JCExpression expr2) {
 return expr1.type != null
   && expr2.type != null
   && Types.instance(unifier.getContext()).isSameType(expr2.type, expr1.type)
   && expr2.toString().equals(expr1.toString());
}

代码示例来源：origin: google/error-prone

@Override
 public Description matchMethodInvocation(
   MethodInvocationTree methodInvocationTree, VisitorState visitorState) {
  if (!TO_ARRAY_MATCHER.matches(methodInvocationTree, visitorState)) {
   return NO_MATCH;
  }
  Types types = visitorState.getTypes();
  Type variableType =
    types.elemtype(getType(getOnlyElement(methodInvocationTree.getArguments())));
  if (variableType == null) {
   return NO_MATCH;
  }

  Type collectionType =
    types.asSuper(
      ASTHelpers.getReceiverType(methodInvocationTree),
      visitorState.getSymbolFromString("java.util.Collection"));
  List<Type> typeArguments = collectionType.getTypeArguments();

  if (!typeArguments.isEmpty()
    && !types.isCastable(
      types.erasure(variableType), types.erasure(getOnlyElement(typeArguments)))) {
   return describeMatch(methodInvocationTree);
  }
  return NO_MATCH;
 }
}

代码示例来源：origin: google/error-prone

/** Returns true if {@code erasure(s) <: erasure(t)}. */
public static boolean isSubtype(Type s, Type t, VisitorState state) {
 if (s == null || t == null) {
  return false;
 }
 if (SUBTYPE_UNDEFINED.contains(s.getTag()) || SUBTYPE_UNDEFINED.contains(t.getTag())) {
  return false;
 }
 Types types = state.getTypes();
 return types.isSubtype(types.erasure(s), types.erasure(t));
}

代码示例来源：origin: google/error-prone

/**
  * Given an {@link ExpressionTree} that represents an argument of array type, rewrites it to wrap
  * it in a call to either {@link java.util.Arrays#hashCode} if it is single dimensional, or {@link
  * java.util.Arrays#deepHashCode} if it is multidimensional.
  */
 private static String rewriteArrayArgument(ExpressionTree arg, VisitorState state) {
  Types types = state.getTypes();
  Type argType = ASTHelpers.getType(arg);
  Preconditions.checkState(types.isArray(argType), "arg must be of array type");
  if (types.isArray(types.elemtype(argType))) {
   return "Arrays.deepHashCode(" + state.getSourceForNode(arg) + ")";
  } else {
   return "Arrays.hashCode(" + state.getSourceForNode(arg) + ")";
  }
 }
}

代码示例来源：origin: google/error-prone

Type type = getType(exception);
do {
 type = state.getTypes().supertype(type);
 exceptionsBySuper.put(type.tsym, exception);
} while (!state.getTypes().isSameType(type, state.getSymtab().objectType));

代码示例来源：origin: google/error-prone

/** Removes the message argument if it is present. */
private void removeMessageArgumentIfPresent(VisitorState state, List<Type> argumentTypes) {
 if (argumentTypes.size() == 2) {
  return;
 }
 Types types = state.getTypes();
 Type firstType = argumentTypes.get(0);
 if (types.isSameType(firstType, state.getSymtab().stringType)) {
  argumentTypes.remove(0);
 }
}

代码示例来源：origin: google/error-prone

private boolean isCheckedException(Type type) {
  return !state.getTypes().isAssignable(type, state.getSymtab().errorType)
    && !state.getTypes().isAssignable(type, state.getSymtab().runtimeExceptionType);
 }
}

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

void validateAnnotationType(DiagnosticPosition pos, Type type) {
  if (type.isPrimitive()) return;
  if (types.isSameType(type, syms.stringType)) return;
  if ((type.tsym.flags() & Flags.ENUM) != 0) return;
  if ((type.tsym.flags() & Flags.ANNOTATION) != 0) return;
  if (types.lowerBound(type).tsym == syms.classType.tsym) return;
  if (types.isArray(type) && !types.isArray(types.elemtype(type))) {
    validateAnnotationType(pos, types.elemtype(type));
    return;
  }
  log.error(pos, "invalid.annotation.member.type");
}

代码示例来源：origin: google/error-prone

if (!types.isArray(varargsArgumentType)
  || !types.elemtype(varargsArgumentType).isPrimitive()) {
 return false;
return !(types.isSameType(varargsParamType, varargsArgumentType)
  || types.isSameType(varargsParamType.getComponentType(), varargsArgumentType));

代码示例来源：origin: google/error-prone

/** Gets a human-friendly name for the given {@link Symbol} to use in diagnostics. */
public String getPrettyName(Symbol sym) {
 if (!sym.getSimpleName().isEmpty()) {
  return sym.getSimpleName().toString();
 }
 if (sym.getKind() == ElementKind.ENUM) {
  // anonymous classes for enum constants are identified by the enclosing constant
  // declaration
  return sym.owner.getSimpleName().toString();
 }
 // anonymous classes have an empty name, but a recognizable superclass or interface
 // e.g. refer to `new Runnable() { ... }` as "Runnable"
 Type superType = state.getTypes().supertype(sym.type);
 if (state.getTypes().isSameType(superType, state.getSymtab().objectType)) {
  superType = Iterables.getFirst(state.getTypes().interfaces(sym.type), superType);
 }
 return superType.tsym.getSimpleName().toString();
}

代码示例来源：origin: google/error-prone

private static Stream<MethodSymbol> findSuperMethods(
  MethodSymbol methodSymbol, Types types, boolean skipInterfaces) {
 TypeSymbol owner = (TypeSymbol) methodSymbol.owner;
 return types.closure(owner.type).stream()
   .filter(closureTypes -> skipInterfaces ? !closureTypes.isInterface() : true)
   .map(type -> findSuperMethodInType(methodSymbol, type, types))
   .filter(Objects::nonNull);
}

代码示例来源：origin: google/error-prone

@Override
public Description matchMethod(MethodTree tree, VisitorState state) {
 ClassTree enclosingClazz = ASTHelpers.findEnclosingNode(state.getPath(), ClassTree.class);
 if (tree.getModifiers().getFlags().contains(Modifier.DEFAULT)
   && IS_FUNCTIONAL_INTERFACE.matches(enclosingClazz, state)) {
  Types types = Types.instance(state.context);
  Set<Symbol> functionalSuperInterfaceSams =
    enclosingClazz.getImplementsClause().stream()
      .filter(t -> IS_FUNCTIONAL_INTERFACE.matches(t, state))
      .map(ASTHelpers::getSymbol)
      .map(TypeSymbol.class::cast)
      .map(types::findDescriptorSymbol) // TypeSymbol to single abstract method of the type
      .collect(toImmutableSet());
  // We designate an override of a superinterface SAM "behavior preserving" if it just
  // calls the SAM of this interface.
  Symbol thisInterfaceSam = types.findDescriptorSymbol(ASTHelpers.getSymbol(enclosingClazz));
  // relatively crude: doesn't verify that the same args are passed in the same order
  // so it can get false positives for behavior-preservingness (false negatives for the check)
  TreeVisitor<Boolean, VisitorState> behaviorPreserving =
    new BehaviorPreservingChecker(thisInterfaceSam);
  if (!Collections.disjoint(
      ASTHelpers.findSuperMethods(ASTHelpers.getSymbol(tree), types),
      functionalSuperInterfaceSams)
    && !tree.accept(behaviorPreserving, state)) {
   return describeMatch(tree);
  }
 }
 return Description.NO_MATCH;
}

代码示例来源：origin: google/error-prone

ty = trueTy;
} else {
 ty = Types.instance(unifier.getContext()).lub(trueTy, falseTy);

代码示例来源：origin: google/error-prone

private static boolean isSubtype(Types types, Type t, Type s) {
 return s != null && types.isSubtype(t, s);
}

代码示例来源：origin: google/error-prone

/**
 * Return true if this parameter is assignable to the target parameter. This will consider
 * subclassing, autoboxing and null.
 */
boolean isAssignableTo(Parameter target, VisitorState state) {
 if (state.getTypes().isSameType(type(), Type.noType)
   || state.getTypes().isSameType(target.type(), Type.noType)) {
  return false;
 }
 try {
  return state.getTypes().isAssignable(type(), target.type());
 } catch (CompletionFailure e) {
  // Report completion errors to avoid e.g. https://github.com/bazelbuild/bazel/issues/4105
  Check.instance(state.context)
    .completionError((DiagnosticPosition) state.getPath().getLeaf(), e);
  return false;
 }
}