SwitchExpression

java.lang.Object
- org.aspectj.org.eclipse.jdt.internal.compiler.ast.ASTNode
- - org.aspectj.org.eclipse.jdt.internal.compiler.ast.Statement
  - - org.aspectj.org.eclipse.jdt.internal.compiler.ast.Expression
    - - org.aspectj.org.eclipse.jdt.internal.compiler.ast.SwitchStatement
      - org.aspectj.org.eclipse.jdt.internal.compiler.ast.SwitchExpression

All Implemented Interfaces:: IPolyExpression, TypeConstants, TypeIds

public class SwitchExpression
extends SwitchStatement
implements IPolyExpression

Nested Class Summary
- Nested classes/interfaces inherited from interface org.aspectj.org.eclipse.jdt.internal.compiler.lookup.TypeConstants
  TypeConstants.BoundCheckStatus, TypeConstants.CloseMethodRecord, TypeConstants.DangerousMethod

Field Summary

Fields
Modifier and Type Field and Description

boolean containsTry

boolean resolveAll

java.util.List<Expression> resultExpressions
- Fields inherited from class org.aspectj.org.eclipse.jdt.internal.compiler.ast.SwitchStatement
  blockStart, BREAKING, breakLabel, CASE, caseCount, cases, defaultCase, ESCAPING, explicitDeclarations, expression, FALLTHROUGH, nConstants, scope, statements, switchLabeledRules, synthetic
- Fields inherited from class org.aspectj.org.eclipse.jdt.internal.compiler.ast.Expression
  constant, implicitConversion, NO_EXPRESSIONS, resolvedType, statementEnd
- Fields inherited from class org.aspectj.org.eclipse.jdt.internal.compiler.ast.Statement
  COMPLAINED_FAKE_REACHABLE, COMPLAINED_UNREACHABLE, NOT_COMPLAINED
- Fields inherited from class org.aspectj.org.eclipse.jdt.internal.compiler.ast.ASTNode
  Bit1, Bit10, Bit11, Bit12, Bit13, Bit14, Bit15, Bit16, Bit17, Bit18, Bit19, Bit2, Bit20, Bit21, Bit22, Bit23, Bit24, Bit25, Bit26, Bit27, Bit28, Bit29, Bit3, Bit30, Bit31, Bit32, Bit32L, Bit33L, Bit34L, Bit35L, Bit36L, Bit37L, Bit38L, Bit39L, Bit4, Bit40L, Bit41L, Bit42L, Bit43L, Bit44L, Bit45L, Bit46L, Bit47L, Bit48L, Bit49L, Bit5, Bit50L, Bit51L, Bit52L, Bit53L, Bit54L, Bit55L, Bit56L, Bit57L, Bit58L, Bit59L, Bit6, Bit60L, Bit61L, Bit62L, Bit63L, Bit64L, Bit7, Bit8, Bit9, bits, BlockExit, CanBeStatic, ContainsAssertion, DepthMASK, DepthSHIFT, DidResolve, DisableUnnecessaryCastCheck, DiscardEnclosingInstance, DocumentedCasesOmitted, DocumentedFallthrough, Empty, ErrorInSignature, FirstAssignmentToLocal, GenerateCheckcast, HasAbstractMethods, HasAllMethodBodies, HasBeenGenerated, HasBeenResolved, HasFunctionalInterfaceTypes, HasLocalType, HasSyntaxErrors, HasTypeAnnotations, IgnoreNoEffectAssignCheck, IgnoreRawTypeCheck, inModule, InsideExpressionStatement, InsideJavadoc, INVOCATION_ARGUMENT_OK, INVOCATION_ARGUMENT_UNCHECKED, INVOCATION_ARGUMENT_WILDCARD, IsAdditionalDeclarator, IsAnnotationDefaultValue, IsAnonymousType, IsAnySubRoutineEscaping, IsArgument, IsCanonicalConstructor, IsCapturedOuterLocal, IsCompoundAssigned, IsDefaultConstructor, IsDiamond, IsElseIfStatement, IsElseStatementUnreachable, IsForeachElementVariable, IsImplicit, IsImplicitThis, IsImplicitUnit, IsLocalDeclarationReachable, IsLocalType, IsMemberType, IsNonNull, IsReachable, IsRecordComponent, IsRecovered, IsReturnedValue, IsSecondaryType, IsSecretYieldValueUsage, IsStrictlyAssigned, IsSubRoutineEscaping, IsSuperType, IsSynchronized, IsSynthetic, IsThenStatementUnreachable, IsTryBlockExiting, IsTypeElided, IsUnionType, IsUsefulEmptyStatement, IsVarArgs, LabelUsed, NeededScope, NeedFreeReturn, NeedReceiverGenericCast, NO_ARGUMENTS, OnDemand, OperatorMASK, OperatorSHIFT, OverridingMethodWithSupercall, ParenthesizedMASK, ParenthesizedSHIFT, ResolveJavadoc, RestrictiveFlagMASK, ReturnTypeIDMASK, ShadowsOuterLocal, sourceEnd, sourceStart, SuperAccess, ThenExit, Unchecked, UndocumentedEmptyBlock, UnnecessaryCast, UnsafeCast, Used
- Fields inherited from interface org.aspectj.org.eclipse.jdt.internal.compiler.lookup.TypeConstants
  ANNOTATION, ANNOTATION_PREFIX, ANNOTATION_SUFFIX, ANONYM_PREFIX, ANONYM_SUFFIX, ANONYMOUS_METHOD, APACHE, APACHE_DBUTILS, APACHE_IOUTILS, ASSERT_CLASS, ASSERT_FALSE, ASSERT_NOTNULL, ASSERT_NULL, ASSERT_TRUE, AUTOMATIC_MODULE_NAME, AUTOWIRED, BEANS, BOOLEAN, BYTE, CAPTURE18, CHANNELS, CHAR, CharArray_JAVA_IO_OBJECTINPUTSTREAM, CharArray_JAVA_IO_OBJECTOUTPUTSTREAM, CharArray_JAVA_IO_OBJECTSTREAMFIELD, CharArray_JAVA_LANG_ANNOTATION_ANNOTATION, CharArray_JAVA_LANG_ENUM, CharArray_JAVA_LANG_OBJECT, CharArray_JAVA_LANG_RECORD, CharArray_JAVA_LANG_RECORD_SLASH, CHECK_ARGUMENT, CHECK_NOT_NULL, CHECK_STATE, CLINIT, CLONE, CLOSE, CLOSE_QUIETLY, closeMethods, COM, COM_GOOGLE_COMMON_BASE_PRECONDITIONS, COM_GOOGLE_INJECT_INJECT, COMMONS, COMPILER, CONSTRAINT_EQUAL, CONSTRAINT_EXTENDS, CONSTRAINT_SUPER, CONTAINS, CONTAINS_ALL, CONTAINS_KEY, CONTAINS_VALUE, CORE, DEFAULT_LOCATION__ARRAY_CONTENTS, DEFAULT_LOCATION__FIELD, DEFAULT_LOCATION__PARAMETER, DEFAULT_LOCATION__RETURN_TYPE, DEFAULT_LOCATION__TYPE_ARGUMENT, DEFAULT_LOCATION__TYPE_BOUND, DEFAULT_LOCATION__TYPE_PARAMETER, DESERIALIZE_LAMBDA, DOM, DOUBLE, ECLIPSE, EQUALS, FACTORY, FLOAT, FLUENT_RESOURCE_CLASSES, FOR_REMOVAL, FRAMEWORK, GET, GETCLASS, GOOGLE, GUAVA_CLOSEABLES, HASHCODE, INDEX_OF, INIT, INJECT_PACKAGE, INJECT_TYPE, INT, INTERNAL, INVOKE, IO, IS_INSTANCE, IS_NOTNULL, IS_NULL, IS_TRUE, ITYPEBINDING, JAVA, JAVA_BASE, JAVA_IO, JAVA_IO_CLOSEABLE, JAVA_IO_EXTERNALIZABLE, JAVA_IO_IOEXCEPTION, JAVA_IO_OBJECTINPUTSTREAM, JAVA_IO_OBJECTOUTPUTSTREAM, JAVA_IO_OBJECTSTREAMEXCEPTION, JAVA_IO_PRINTSTREAM, JAVA_IO_RESOURCE_FREE_CLOSEABLES, JAVA_IO_SERIALIZABLE, JAVA_IO_WRAPPER_CLOSEABLES, JAVA_LANG, JAVA_LANG_ANNOTATION, JAVA_LANG_ANNOTATION_ANNOTATION, JAVA_LANG_ANNOTATION_DOCUMENTED, JAVA_LANG_ANNOTATION_ELEMENTTYPE, JAVA_LANG_ANNOTATION_INHERITED, JAVA_LANG_ANNOTATION_REPEATABLE, JAVA_LANG_ANNOTATION_RETENTION, JAVA_LANG_ANNOTATION_RETENTIONPOLICY, JAVA_LANG_ANNOTATION_TARGET, JAVA_LANG_ASSERTIONERROR, JAVA_LANG_AUTOCLOSEABLE, JAVA_LANG_BOOLEAN, JAVA_LANG_BYTE, JAVA_LANG_CHARACTER, JAVA_LANG_CLASS, JAVA_LANG_CLASSNOTFOUNDEXCEPTION, JAVA_LANG_CLONEABLE, JAVA_LANG_DEPRECATED, JAVA_LANG_DOUBLE, JAVA_LANG_ENUM, JAVA_LANG_ERROR, JAVA_LANG_EXCEPTION, JAVA_LANG_FLOAT, JAVA_LANG_FUNCTIONAL_INTERFACE, JAVA_LANG_ILLEGALARGUMENTEXCEPTION, JAVA_LANG_INCOMPATIBLECLASSCHANGEERROR, JAVA_LANG_INTEGER, JAVA_LANG_INVOKE_LAMBDAMETAFACTORY, JAVA_LANG_INVOKE_METHODHANDLE_$_POLYMORPHICSIGNATURE, JAVA_LANG_INVOKE_METHODHANDLE_POLYMORPHICSIGNATURE, JAVA_LANG_INVOKE_METHODHANDLES, JAVA_LANG_INVOKE_SERIALIZEDLAMBDA, JAVA_LANG_ITERABLE, JAVA_LANG_LONG, JAVA_LANG_NOCLASSDEFERROR, JAVA_LANG_NOSUCHFIELDERROR, JAVA_LANG_OBJECT, JAVA_LANG_OVERRIDE, JAVA_LANG_RECORD, JAVA_LANG_REFLECT_CONSTRUCTOR, JAVA_LANG_REFLECT_FIELD, JAVA_LANG_REFLECT_METHOD, JAVA_LANG_RUNTIME_OBJECTMETHODS, JAVA_LANG_RUNTIMEEXCEPTION, JAVA_LANG_SAFEVARARGS, JAVA_LANG_SHORT, JAVA_LANG_STRING, JAVA_LANG_STRINGBUFFER, JAVA_LANG_STRINGBUILDER, JAVA_LANG_SUPPRESSWARNINGS, JAVA_LANG_SYSTEM, JAVA_LANG_THROWABLE, JAVA_LANG_VOID, JAVA_NIO_FILE_FILES, JAVA_UTIL_ARRAYS, JAVA_UTIL_COLLECTION, JAVA_UTIL_ITERATOR, JAVA_UTIL_LIST, JAVA_UTIL_MAP, JAVA_UTIL_OBJECTS, JAVA_UTIL_STREAM, JAVA_UTIL_ZIP_WRAPPER_CLOSEABLES, JAVAX, JAVAX_ANNOTATION_INJECT_INJECT, JAVAX_RMI_CORBA_STUB, JDT, JUNIT, JUNIT_FRAMEWORK_ASSERT, JUPITER, LAMBDA_TYPE, LANG, LANG3, LAST_INDEX_OF, LENGTH, LONG, LOOKUP, MAIN, META_INF_MANIFEST_MF, METHOD_SOURCE, MODULE_INFO_CLASS_NAME, MODULE_INFO_CLASS_NAME_STRING, MODULE_INFO_FILE_NAME, MODULE_INFO_FILE_NAME_STRING, MODULE_INFO_NAME, MODULE_INFO_NAME_STRING, NIO, NON_NULL, NOT_NULL, NULL, OBJECT, OPTIONAL, ORG, ORG_APACHE_COMMONS_LANG_VALIDATE, ORG_APACHE_COMMONS_LANG3_VALIDATE, ORG_ECLIPSE_CORE_RUNTIME_ASSERT, ORG_ECLIPSE_JDT_CORE_DOM_ITYPEBINDING, ORG_ECLIPSE_JDT_INTERNAL_COMPILER_LOOKUP_TYPEBINDING, ORG_JUNIT_ASSERT, ORG_JUNIT_METHOD_SOURCE, ORG_SPRING_AUTOWIRED, OTHER_WRAPPER_CLOSEABLES, PACKAGE_INFO_NAME, PARAMS, PROVIDER, READOBJECT, READRESOLVE, RECORD_CLASS, RECORD_RESTRICTED_IDENTIFIER, REFLECT, REMOVE, REMOVE_ALL, REQUIRE_NON_NULL, REQUIRED, RESOURCE_FREE_CLOSEABLE_J_U_STREAMS, RETAIN_ALL, RUNTIME, SERIALPERSISTENTFIELDS, SERIALVERSIONUID, SHORT, SINCE, SPRING, SYNTHETIC_ACCESS_METHOD_PREFIX, SYNTHETIC_ASSERT_DISABLED, SYNTHETIC_CLASS, SYNTHETIC_ENCLOSING_INSTANCE_PREFIX, SYNTHETIC_ENUM_CONSTANT_INITIALIZATION_METHOD_PREFIX, SYNTHETIC_ENUM_VALUES, SYNTHETIC_OUTER_LOCAL_PREFIX, SYNTHETIC_STATIC_FACTORY, SYNTHETIC_SWITCH_ENUM_TABLE, TOSTRING, TYPE, TYPE_PARAMETER_TARGET, TYPE_USE_TARGET, TYPEBINDING, UPPER_ANNOTATION_TYPE, UPPER_CLASS, UPPER_CONSTRUCTOR, UPPER_FIELD, UPPER_LOCAL_VARIABLE, UPPER_METHOD, UPPER_MODULE, UPPER_PACKAGE, UPPER_PARAMETER, UPPER_RECORD_COMPONENT, UPPER_RUNTIME, UPPER_SOURCE, UTIL, VALIDATE_CLASS, VALUE, VALUEOF, VALUES, VAR, VOID, WILDCARD_CAPTURE, WILDCARD_CAPTURE_NAME_PREFIX, WILDCARD_CAPTURE_NAME_SUFFIX, WILDCARD_CAPTURE_SIGNABLE_NAME_SUFFIX, WILDCARD_EXTENDS, WILDCARD_MINUS, WILDCARD_NAME, WILDCARD_PLUS, WILDCARD_STAR, WILDCARD_SUPER, WRITEOBJECT, WRITEREPLACE, ZIP
- Fields inherited from interface org.aspectj.org.eclipse.jdt.internal.compiler.lookup.TypeIds
  BitAnyNullAnnotation, BitAutoCloseable, BitCloseable, BitCollection, BitList, BitMap, BitNonNullAnnotation, BitNonNullByDefaultAnnotation, BitNullableAnnotation, BitResourceFreeCloseable, BitUninitialized, BitUninternedType, BitWrapperCloseable, Boolean2Boolean, Boolean2Int, Boolean2String, BOXING, Byte2Byte, Byte2Char, Byte2Double, Byte2Float, Byte2Int, Byte2Long, Byte2Short, Byte2String, Char2Byte, Char2Char, Char2Double, Char2Float, Char2Int, Char2Long, Char2Short, Char2String, COMPILE_TYPE_MASK, Double2Byte, Double2Char, Double2Double, Double2Float, Double2Int, Double2Long, Double2Short, Double2String, Float2Byte, Float2Char, Float2Double, Float2Float, Float2Int, Float2Long, Float2Short, Float2String, IMPLICIT_CONVERSION_MASK, InheritableBits, Int2Byte, Int2Char, Int2Double, Int2Float, Int2Int, Int2Long, Int2Short, Int2String, Long2Byte, Long2Char, Long2Double, Long2Float, Long2Int, Long2Long, Long2Short, Long2String, NoId, Null2Null, Null2String, Object2boolean, Object2byte, Object2char, Object2double, Object2float, Object2int, Object2long, Object2Object, Object2short, Object2String, Short2Byte, Short2Char, Short2Double, Short2Float, Short2Int, Short2Long, Short2Short, Short2String, String2String, T_boolean, T_byte, T_char, T_ComGoogleCommonBasePreconditions, T_ComGoogleInjectInject, T_double, T_float, T_int, T_JavaIoException, T_JavaIoExternalizable, T_JavaIoObjectStreamException, T_JavaIoPrintStream, T_JavaIoSerializable, T_JavaLangAnnotationAnnotation, T_JavaLangAnnotationDocumented, T_JavaLangAnnotationElementType, T_JavaLangAnnotationInherited, T_JavaLangAnnotationRepeatable, T_JavaLangAnnotationRetention, T_JavaLangAnnotationRetentionPolicy, T_JavaLangAnnotationTarget, T_JavaLangAssertionError, T_JavaLangAutoCloseable, T_JavaLangBoolean, T_JavaLangByte, T_JavaLangCharacter, T_JavaLangClass, T_JavaLangClassNotFoundException, T_JavaLangCloneable, T_JavaLangDeprecated, T_JavaLangDouble, T_JavaLangEnum, T_JavaLangError, T_JavaLangException, T_JavaLangFloat, T_JavaLangFunctionalInterface, T_JavaLangIllegalArgumentException, T_JavaLangInteger, T_JavaLangInvokeMethodHandlePolymorphicSignature, T_JavaLangIterable, T_JavaLangLong, T_JavaLangNoClassDefError, T_JavaLangObject, T_JavaLangOverride, T_JavaLangRecord, T_JavaLangReflectConstructor, T_JavaLangReflectField, T_JavaLangReflectMethod, T_JavaLangRuntimeException, T_JavaLangSafeVarargs, T_JavaLangShort, T_JavaLangString, T_JavaLangStringBuffer, T_JavaLangStringBuilder, T_JavaLangSuppressWarnings, T_JavaLangSystem, T_JavaLangThrowable, T_JavaLangVoid, T_JavaUtilCollection, T_JavaUtilIterator, T_JavaUtilList, T_JavaUtilMap, T_JavaUtilObjects, T_JavaxInjectInject, T_JunitFrameworkAssert, T_LastWellKnownTypeId, T_long, T_null, T_OrgApacheCommonsLang3Validate, T_OrgApacheCommonsLangValidate, T_OrgEclipseCoreRuntimeAssert, T_OrgJunitAssert, T_OrgJunitJupiterParamsProviderMethodSource, T_OrgSpringframeworkBeansFactoryAnnotationAutowired, T_short, T_undefined, T_void, UNBOXING

Fields
Modifier and Type	Field and Description
`boolean`	`containsTry`
`boolean`	`resolveAll`
`java.util.List<Expression>`	`resultExpressions`

Constructor Summary

Constructors
Constructor and Description

SwitchExpression()

Constructors
Constructor and Description
`SwitchExpression()`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`protected void`	`addSecretTryResultVariable()`
`FlowInfo`	`analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)`
`boolean`	`checkNPE(BlockScope skope, FlowContext flowContext, FlowInfo flowInfo, int ttlForFieldCheck)` Check this expression against potential NPEs, which may occur: if the expression is the receiver in a field access, qualified allocation, array reference or message send incl.
`protected void`	`completeNormallyCheck(BlockScope blockScope)`
`protected boolean`	`computeConversions(BlockScope blockScope, TypeBinding targetType)`
`TypeBinding`	`expectedType()` Simpler notion of expected type, suitable for code assist purposes.
`void`	`generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)` Every expression is responsible for generating its implicit conversion when necessary.
`ExpressionContext`	`getExpressionContext()`
`protected int`	`getFallThroughState(Statement stmt, BlockScope blockScope)`
`Expression[]`	`getPolyExpressions()` Returns contained poly expressions, result could be 0, 1 or more (for conditional expression)
`protected boolean`	`ignoreMissingDefaultCase(CompilerOptions compilerOptions, boolean isEnumSwitch)`
`boolean`	`isBoxingCompatibleWith(TypeBinding targetType, Scope skope)`
`boolean`	`isCompatibleWith(TypeBinding left, Scope skope)`
`boolean`	`isFunctionalType()`
`boolean`	`isPertinentToApplicability(TypeBinding targetType, MethodBinding method)`
`boolean`	`isPolyExpression()`
`boolean`	`isPotentiallyCompatibleWith(TypeBinding targetType, Scope scope1)`
`boolean`	`isTrulyExpression()`
`void`	`loadStoredTypesAndKeep(CodeStream codeStream)`
`protected boolean`	`needToCheckFlowInAbsenceOfDefaultBranch()`
`int`	`nullStatus(FlowInfo flowInfo, FlowContext flowContext)`
`protected void`	`reportMissingEnumConstantCase(BlockScope upperScope, FieldBinding enumConstant)`
`TypeBinding`	`resolveType(BlockScope upperScope)` Resolve the type of this expression in the context of a blockScope
`TypeBinding`	`resolveTypeInternal(BlockScope upperScope)`
`void`	`setExpectedType(TypeBinding expectedType)` Record the type expectation before this expression is typechecked.
`void`	`setExpressionContext(ExpressionContext context)`
`boolean`	`sIsMoreSpecific(TypeBinding s, TypeBinding t, Scope skope)`
`protected void`	`statementGenerateCode(BlockScope currentScope, CodeStream codeStream, Statement statement)`
`void`	`traverse(ASTVisitor visitor, BlockScope blockScope)` Traverse an expression in the context of a blockScope

Methods inherited from class org.aspectj.org.eclipse.jdt.internal.compiler.ast.SwitchStatement
branchChainTo, completesByContinue, doesNotCompleteNormally, generateCode, generateCodeForStringSwitch, printExpression, printStatement, resolve

Methods inherited from class org.aspectj.org.eclipse.jdt.internal.compiler.ast.Expression
analyseCode, checkCastTypesCompatibility, checkNPE, checkNPEbyUnboxing, checkUnsafeCast, computeConversion, computeNullStatus, containsPatternVariable, forcedToBeRaw, generateOptimizedBoolean, generateOptimizedStringConcatenation, generateOptimizedStringConcatenationCreation, getDirectBinding, initializePatternVariables, isCompactableOperation, isConstantValueOfTypeAssignableToType, isConstantValueRepresentable, isExactMethodReference, isPolyExpression, isTypeReference, localVariableBinding, markAsNonNull, nullAnnotatedVariableBinding, optimizedBooleanConstant, optimizedNullComparisonConstant, postConversionType, print, resolveExpressionExpecting, resolveExpressionType, resolveType, resolveTypeExpecting, reusableJSRTarget, statementExpression, tagAsNeedCheckCast, tagAsUnnecessaryCast, toTypeReference, traverse, updateFlowOnBooleanResult

Methods inherited from class org.aspectj.org.eclipse.jdt.internal.compiler.ast.Statement
analyseArguments, breaksOut, checkAgainstNullTypeAnnotation, complainIfUnreachable, continuesAtOuterLabel, findConstructorBinding, generateArguments, invocationTargetType, isBoxingCompatible, isEmptyBlock, isKnowDeadCodePattern, isValidJavaStatement, resolveCase

Methods inherited from class org.aspectj.org.eclipse.jdt.internal.compiler.ast.ASTNode
acceptPotentiallyCompatibleMethods, checkingPotentialCompatibility, checkInvocationArguments, concreteStatement, copySE8AnnotationsToType, handleNonNullByDefault, isFieldUseDeprecated, isImplicitThis, isMethodUseDeprecated, isQualifiedSuper, isSuper, isThis, isTypeUseDeprecated, isUnqualifiedSuper, printAnnotations, printIndent, printModifiers, receiverIsImplicitThis, resolveAnnotations, resolveAnnotations, resolveAnnotations, resolveDeprecatedAnnotations, resolvePolyExpressionArguments, sourceEnd, sourceStart, toString

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.aspectj.org.eclipse.jdt.internal.compiler.ast.IPolyExpression
invocationTargetType, isPolyExpression, resolveExpressionExpecting

Methods inherited from interface org.aspectj.org.eclipse.jdt.internal.compiler.lookup.TypeIds
getCategory

- Field Detail
  - resultExpressions
```
public java.util.List<Expression> resultExpressions
```
  - resolveAll
```
public boolean resolveAll
```
  - containsTry
```
public boolean containsTry
```
- Constructor Detail
  - SwitchExpression
```
public SwitchExpression()
```
- Method Detail
  - setExpressionContext
```
public void setExpressionContext(ExpressionContext context)
```
    Specified by:
    
    setExpressionContext in interface IPolyExpression
    
    Overrides:
    
    setExpressionContext in class Expression
  - setExpectedType
```
public void setExpectedType(TypeBinding expectedType)
```
    Description copied from class: Expression
    
    Record the type expectation before this expression is typechecked. e.g. String s = foo();, foo() will be tagged as being expected of type String Used to trigger proper inference of generic method invocations.
    
    Specified by:
    
    setExpectedType in interface IPolyExpression
    
    Overrides:
    
    setExpectedType in class Expression
    
    Parameters:
    
    expectedType - The type denoting an expectation in the context of an assignment conversion
  - getExpressionContext
```
public ExpressionContext getExpressionContext()
```
    Specified by:
    
    getExpressionContext in interface IPolyExpression
    
    Overrides:
    
    getExpressionContext in class Statement
  - ignoreMissingDefaultCase
```
protected boolean ignoreMissingDefaultCase(CompilerOptions compilerOptions,
                                           boolean isEnumSwitch)
```
    Overrides:
    
    ignoreMissingDefaultCase in class SwitchStatement
  - reportMissingEnumConstantCase
```
protected void reportMissingEnumConstantCase(BlockScope upperScope,
                                             FieldBinding enumConstant)
```
    Overrides:
    
    reportMissingEnumConstantCase in class SwitchStatement
  - getFallThroughState
```
protected int getFallThroughState(Statement stmt,
                                  BlockScope blockScope)
```
    Overrides:
    
    getFallThroughState in class SwitchStatement
  - checkNPE
```
public boolean checkNPE(BlockScope skope,
                        FlowContext flowContext,
                        FlowInfo flowInfo,
                        int ttlForFieldCheck)
```
    Description copied from class: Expression
    Check this expression against potential NPEs, which may occur:
    - if the expression is the receiver in a field access, qualified allocation, array reference or message send incl. implicit message sends like it happens for the collection in a foreach statement.
    - if the expression is subject to unboxing
    - if the expression is the exception in a throw statement
    If a risk of NPE is detected report it to the context. If the expression denotes a local variable, mark it as checked, which affects the flow info.
    Overrides:
    
    checkNPE in class Expression
    
    Parameters:
    
    skope - the scope of the analysis
    
    flowContext - the current flow context
    
    flowInfo - the upstream flow info; caveat: may get modified
    
    ttlForFieldCheck - if this is a reference to a field we will mark that field as nonnull for the specified timeToLive
    
    Returns:
    
    could this expression be checked by the current implementation?
  - completeNormallyCheck
```
protected void completeNormallyCheck(BlockScope blockScope)
```
    Overrides:
    
    completeNormallyCheck in class SwitchStatement
  - needToCheckFlowInAbsenceOfDefaultBranch
```
protected boolean needToCheckFlowInAbsenceOfDefaultBranch()
```
    Overrides:
    
    needToCheckFlowInAbsenceOfDefaultBranch in class SwitchStatement
  - getPolyExpressions
```
public Expression[] getPolyExpressions()
```
    Description copied from class: Expression
    
    Returns contained poly expressions, result could be 0, 1 or more (for conditional expression)
    
    Specified by:
    
    getPolyExpressions in interface IPolyExpression
    
    Overrides:
    
    getPolyExpressions in class Expression
  - isPertinentToApplicability
```
public boolean isPertinentToApplicability(TypeBinding targetType,
                                          MethodBinding method)
```
    Specified by:
    
    isPertinentToApplicability in interface IPolyExpression
    
    Overrides:
    
    isPertinentToApplicability in class Expression
  - isPotentiallyCompatibleWith
```
public boolean isPotentiallyCompatibleWith(TypeBinding targetType,
                                           Scope scope1)
```
    Specified by:
    
    isPotentiallyCompatibleWith in interface IPolyExpression
    
    Overrides:
    
    isPotentiallyCompatibleWith in class Expression
  - isFunctionalType
```
public boolean isFunctionalType()
```
    Specified by:
    
    isFunctionalType in interface IPolyExpression
    
    Overrides:
    
    isFunctionalType in class Expression
  - nullStatus
```
public int nullStatus(FlowInfo flowInfo,
                      FlowContext flowContext)
```
    Overrides:
    
    nullStatus in class Expression
  - statementGenerateCode
```
protected void statementGenerateCode(BlockScope currentScope,
                                     CodeStream codeStream,
                                     Statement statement)
```
    Overrides:
    
    statementGenerateCode in class SwitchStatement
  - loadStoredTypesAndKeep
```
public void loadStoredTypesAndKeep(CodeStream codeStream)
```
  - generateCode
```
public void generateCode(BlockScope currentScope,
                         CodeStream codeStream,
                         boolean valueRequired)
```
    Description copied from class: Expression
    
    Every expression is responsible for generating its implicit conversion when necessary.
    
    Overrides:
    
    generateCode in class SwitchStatement
    
    Parameters:
    
    currentScope - org.aspectj.org.eclipse.jdt.internal.compiler.lookup.BlockScope
    
    codeStream - org.aspectj.org.eclipse.jdt.internal.compiler.codegen.CodeStream
    
    valueRequired - boolean
  - computeConversions
```
protected boolean computeConversions(BlockScope blockScope,
                                     TypeBinding targetType)
```
  - resolveType
```
public TypeBinding resolveType(BlockScope upperScope)
```
    Description copied from class: Expression
    
    Resolve the type of this expression in the context of a blockScope
    
    Specified by:
    
    resolveType in interface IPolyExpression
    
    Overrides:
    
    resolveType in class Expression
    
    Returns:
    
    Return the actual type of this expression after resolution
  - resolveTypeInternal
```
public TypeBinding resolveTypeInternal(BlockScope upperScope)
```
  - analyseCode
```
public FlowInfo analyseCode(BlockScope currentScope,
                            FlowContext flowContext,
                            FlowInfo flowInfo)
```
    Overrides:
    
    analyseCode in class SwitchStatement
  - addSecretTryResultVariable
```
protected void addSecretTryResultVariable()
```
    Overrides:
    
    addSecretTryResultVariable in class SwitchStatement
  - isPolyExpression
```
public boolean isPolyExpression()
```
    Specified by:
    
    isPolyExpression in interface IPolyExpression
    
    Overrides:
    
    isPolyExpression in class Expression
  - isTrulyExpression
```
public boolean isTrulyExpression()
```
    Overrides:
    
    isTrulyExpression in class SwitchStatement
  - isCompatibleWith
```
public boolean isCompatibleWith(TypeBinding left,
                                Scope skope)
```
    Specified by:
    
    isCompatibleWith in interface IPolyExpression
    
    Overrides:
    
    isCompatibleWith in class Expression
  - isBoxingCompatibleWith
```
public boolean isBoxingCompatibleWith(TypeBinding targetType,
                                      Scope skope)
```
    Specified by:
    
    isBoxingCompatibleWith in interface IPolyExpression
    
    Overrides:
    
    isBoxingCompatibleWith in class Expression
  - sIsMoreSpecific
```
public boolean sIsMoreSpecific(TypeBinding s,
                               TypeBinding t,
                               Scope skope)
```
    Specified by:
    
    sIsMoreSpecific in interface IPolyExpression
    
    Overrides:
    
    sIsMoreSpecific in class Expression
  - expectedType
```
public TypeBinding expectedType()
```
    Description copied from class: Statement
    
    Simpler notion of expected type, suitable for code assist purposes.
    
    Overrides:
    
    expectedType in class Statement
  - traverse
```
public void traverse(ASTVisitor visitor,
                     BlockScope blockScope)
```
    Description copied from class: Expression
    
    Traverse an expression in the context of a blockScope
    
    Overrides:
    
    traverse in class SwitchStatement

Class SwitchExpression

Nested Class Summary

Nested classes/interfaces inherited from interface org.aspectj.org.eclipse.jdt.internal.compiler.lookup.TypeConstants

Field Summary

Fields inherited from class org.aspectj.org.eclipse.jdt.internal.compiler.ast.SwitchStatement

Fields inherited from class org.aspectj.org.eclipse.jdt.internal.compiler.ast.Expression

Fields inherited from class org.aspectj.org.eclipse.jdt.internal.compiler.ast.Statement

Fields inherited from class org.aspectj.org.eclipse.jdt.internal.compiler.ast.ASTNode

Fields inherited from interface org.aspectj.org.eclipse.jdt.internal.compiler.lookup.TypeConstants

Fields inherited from interface org.aspectj.org.eclipse.jdt.internal.compiler.lookup.TypeIds

Constructor Summary

Method Summary

Methods inherited from class org.aspectj.org.eclipse.jdt.internal.compiler.ast.SwitchStatement

Methods inherited from class org.aspectj.org.eclipse.jdt.internal.compiler.ast.Expression

Methods inherited from class org.aspectj.org.eclipse.jdt.internal.compiler.ast.Statement

Methods inherited from class org.aspectj.org.eclipse.jdt.internal.compiler.ast.ASTNode

Methods inherited from class java.lang.Object

Methods inherited from interface org.aspectj.org.eclipse.jdt.internal.compiler.ast.IPolyExpression

Methods inherited from interface org.aspectj.org.eclipse.jdt.internal.compiler.lookup.TypeIds

Field Detail

resultExpressions

resolveAll

containsTry

Constructor Detail

SwitchExpression

Method Detail

setExpressionContext

setExpectedType

getExpressionContext

ignoreMissingDefaultCase

reportMissingEnumConstantCase

getFallThroughState

checkNPE

completeNormallyCheck

needToCheckFlowInAbsenceOfDefaultBranch

getPolyExpressions

isPertinentToApplicability

isPotentiallyCompatibleWith

isFunctionalType

nullStatus

statementGenerateCode

loadStoredTypesAndKeep

generateCode

computeConversions

resolveType

resolveTypeInternal

analyseCode

addSecretTryResultVariable

isPolyExpression

isTrulyExpression

isCompatibleWith

isBoxingCompatibleWith

sIsMoreSpecific

expectedType

traverse