public interface JL7TypeSystem extends JL5TypeSystem
SERIALIZE_MEMBERS_WITH_CONTAINER| Modifier and Type | Method and Description |
|---|---|
ClassType |
AutoCloseable() |
JL5ProcedureInstance |
callValid(JL5ProcedureInstance mi,
java.util.List<? extends Type> argTypes,
java.util.List<? extends ReferenceType> actualTypeArgs,
Type expectedReturnType) |
DiamondType |
diamondType(Position pos,
JL5ParsedClassType base) |
ConstructorInstance |
findConstructor(ClassType container,
java.util.List<? extends Type> argTypes,
java.util.List<? extends ReferenceType> typeArgs,
ClassType currClass,
Type expectedObjectType,
boolean fromClient) |
accessibleFromPackage, allAncestorsOf, Annotation, AnnotationElementType, AnnotationElementValueAnnotation, AnnotationElementValueArray, AnnotationElementValueConstant, annotationElemInstance, applyCaptureConversion, areOverrideEquivalent, areReturnTypeSubstitutable, arrayOf, boxingConversion, callValid, canBeRaw, checkAnnotationValueConstant, checkDuplicateAnnotations, checkIntersectionBounds, checkMethodNameClash, Class, classAndEnclosingTypeVariables, constructorInstance, createAnnotations, createClassType, createClassType, Enum, enumInstance, equals, erasureSubst, erasureSubst, erasureType, findAnnotation, findConstructor, findEnumConstant, findEnumConstant, findEnumConstant, findEnumConstant, findFieldOrEnum, findGenericSupertype, findMethod, flagsForBits, glb, glb, hasSameSignature, instantiate, instantiate, instantiate, instantiateInnerClassFromContext, intersectionType, isBaseCastValid, isContained, isImplicitCastValidChain, isPrimitiveWrapper, isReifiable, isRetainedAnnotation, isSubSignature, isUncheckedConversion, isValidAnnotationValueType, Iterable, Iterator, lub, methodCallValid, methodInstance, NoAnnotations, numericConversionBaseValid, OverrideAnnotation, primitiveTypeOfWrapper, rawClass, rawClass, RetentionAnnotation, TargetAnnotation, toRawType, typeVariable, unboxingConversion, unknownReferenceType, unknownTypeVariable, wildCardType, wildCardType, wrapperClassOfPrimitiveinstantiate, mutablePClass, subst, substAbstract, ArithmeticException, arrayOf, arrayOf, arrayOf, arrayOf, ArrayStoreException, Boolean, Byte, callValid, canCoerceToString, canOverride, Char, checkAccessFlags, checkClassConformance, checkConstructorFlags, checkCycles, checkFieldFlags, checkInitializerFlags, checkInterfaceFieldFlags, checkLocalClassFlags, checkLocalFlags, checkMemberClassFlags, checkMethodFlags, checkOverride, checkTopLevelClassFlags, Class, classAccessible, classAccessible, classAccessibleFromPackage, ClassCastException, classContextResolver, classContextResolver, classFileLazyClassInitializer, Cloneable, constructorInstance, createClassContextResolver, createClassType, createClassType, createContext, createNewFlag, createPackage, createPackage, createPackageContextResolver, defaultClassInitializer, defaultConstructor, defaultPackageImports, descendsFrom, deserializedClassInitializer, Double, Error, Exception, extensionInfo, fieldInstance, Final, findConstructor, findConstructor, findConstructor, findField, findField, findField, findField, findImplementingMethod, findMemberClass, findMemberClass, findMemberClass, findMethod, findMethod, findMethod, Float, forName, getTransformedClassName, getTypeEncoderRootSet, hasAccessibleMethodNamed, hasEnclosingInstance, hasFormals, hasMethod, hasMethodNamed, implemented, importTable, importTable, initialize, initializerInstance, Int, Interface, interfaces, isAccessible, isAccessible, isAccessible, isAccessible, isAccessible, isCanonical, isCastValid, isEnclosed, isImplicitCastValid, isInherited, isMember, isSameMethod, isSubtype, isThrowable, isUncheckedException, leastCommonAncestor, legalAbstractMethodFlags, legalAccessFlags, legalConstructorFlags, legalFieldFlags, legalInitializerFlags, legalInterfaceFieldFlags, legalLocalClassFlags, legalLocalFlags, legalMemberClassFlags, legalMethodFlags, legalTopLevelClassFlags, loadedResolver, localInstance, Long, methodCallValid, methodInstance, moreSpecific, Native, NoFlags, Null, NullPointerException, numericConversionValid, numericConversionValid, Object, OutOfBoundsException, overrides, packageContextResolver, packageContextResolver, packageContextResolver, packageEquals, packageExists, packageForName, packageForName, parsedResolver, placeHolder, placeHolder, primitiveForName, Private, promote, promote, Protected, Public, restoreSystemResolver, RuntimeException, saveSystemResolver, Serializable, Short, Static, staticTarget, StrictFP, String, superType, Synchronized, systemResolver, Throwable, throwsSubset, Transient, translateArray, translateClass, translatePackage, translatePrimitive, typeEquals, typeForName, uncheckedExceptions, unknownPackage, unknownQualifier, unknownType, Void, Volatile, wrapperTypeStringClassType AutoCloseable()
DiamondType diamondType(Position pos, JL5ParsedClassType base)
ConstructorInstance findConstructor(ClassType container, java.util.List<? extends Type> argTypes, java.util.List<? extends ReferenceType> typeArgs, ClassType currClass, Type expectedObjectType, boolean fromClient) throws SemanticException
SemanticExceptionJL5ProcedureInstance callValid(JL5ProcedureInstance mi, java.util.List<? extends Type> argTypes, java.util.List<? extends ReferenceType> actualTypeArgs, Type expectedReturnType)