FilesExpand file tree

main

/

testSuite

/

Copy path

Directory actions

More options

More options

Directory actions

More options

More options

Latest commit

 

History

History

History

main

/

testSuite

/

Copy path

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
classes		classes
field_updates		field_updates
math		math
CorrectAfterIfUsingScope.java		CorrectAfterIfUsingScope.java
CorrectAlias.java		CorrectAlias.java
CorrectAliasExpressions.java		CorrectAliasExpressions.java
CorrectAliasMultiple.java		CorrectAliasMultiple.java
CorrectArithmeticBinaryOperations.java		CorrectArithmeticBinaryOperations.java
CorrectAssignementAfterDeclaration.java		CorrectAssignementAfterDeclaration.java
CorrectBareBooleanIf.java		CorrectBareBooleanIf.java
CorrectBitwiseConstantArgument.java		CorrectBitwiseConstantArgument.java
CorrectBooleanLitAndInvocations.java		CorrectBooleanLitAndInvocations.java
CorrectBoxedTypes.java		CorrectBoxedTypes.java
CorrectCallResultReceiver.java		CorrectCallResultReceiver.java
CorrectChainedVariableReferences.java		CorrectChainedVariableReferences.java
CorrectCharLiteralComparisons.java		CorrectCharLiteralComparisons.java
CorrectChars.java		CorrectChars.java
CorrectCombinedNestedFields.java		CorrectCombinedNestedFields.java
CorrectConstructorReceiver.java		CorrectConstructorReceiver.java
CorrectConstructorReceiverRefinedArgument.java		CorrectConstructorReceiverRefinedArgument.java
CorrectDeferredCallbackState.java		CorrectDeferredCallbackState.java
CorrectDependentRefinements.java		CorrectDependentRefinements.java
CorrectDistinctClassFields.java		CorrectDistinctClassFields.java
CorrectDotNotationIncrementOnce.java		CorrectDotNotationIncrementOnce.java
CorrectDotNotationTrafficLight.java		CorrectDotNotationTrafficLight.java
CorrectEarlyReturn.java		CorrectEarlyReturn.java
CorrectEmptyLoopBody.java		CorrectEmptyLoopBody.java
CorrectEnumConstantInCondition.java		CorrectEnumConstantInCondition.java
CorrectEnumField.java		CorrectEnumField.java
CorrectEnumParam.java		CorrectEnumParam.java
CorrectEnumRefinement.java		CorrectEnumRefinement.java
CorrectEnumUsage.java		CorrectEnumUsage.java
CorrectEnumWithMethod.java		CorrectEnumWithMethod.java
CorrectFPArithmetic.java		CorrectFPArithmetic.java
CorrectFieldReadResolution.java		CorrectFieldReadResolution.java
CorrectFieldWriteBeforeTypeDeclaration.java		CorrectFieldWriteBeforeTypeDeclaration.java
CorrectFunctionCallSameVariableName.java		CorrectFunctionCallSameVariableName.java
CorrectFunctionDeclarations.java		CorrectFunctionDeclarations.java
CorrectFunctionInInvocation.java		CorrectFunctionInInvocation.java
CorrectFunctionInvocation.java		CorrectFunctionInvocation.java
CorrectFunctionsTutorial.java		CorrectFunctionsTutorial.java
CorrectIfThen.java		CorrectIfThen.java
CorrectImageWriteParamModes.java		CorrectImageWriteParamModes.java
CorrectImplies.java		CorrectImplies.java
CorrectInstanceof.java		CorrectInstanceof.java
CorrectInterfaceMethodBodies.java		CorrectInterfaceMethodBodies.java
CorrectInterfaceStateSet.java		CorrectInterfaceStateSet.java
CorrectIteratorReturnHasNext.java		CorrectIteratorReturnHasNext.java
CorrectLongUsage.java		CorrectLongUsage.java
CorrectLoopCondition.java		CorrectLoopCondition.java
CorrectLoopFreshReceivers.java		CorrectLoopFreshReceivers.java
CorrectLoopPostState.java		CorrectLoopPostState.java
CorrectLoopStateFixpoint.java		CorrectLoopStateFixpoint.java
CorrectLoopStateNone.java		CorrectLoopStateNone.java
CorrectMethodInvocation.java		CorrectMethodInvocation.java
CorrectModernJavaSyntax.java		CorrectModernJavaSyntax.java
CorrectNestedIfCallComparison.java		CorrectNestedIfCallComparison.java
CorrectNoRefinements.java		CorrectNoRefinements.java
CorrectNullLiterals.java		CorrectNullLiterals.java
CorrectOperatorAssignments.java		CorrectOperatorAssignments.java
CorrectOperatorPrecedence.java		CorrectOperatorPrecedence.java
CorrectOuterFieldAfterNestedClass.java		CorrectOuterFieldAfterNestedClass.java
CorrectReadSpecificAssignment.java		CorrectReadSpecificAssignment.java
CorrectRecord.java		CorrectRecord.java
CorrectRecursion.java		CorrectRecursion.java
CorrectRepeatedParameterCondition.java		CorrectRepeatedParameterCondition.java
CorrectSearchIndexIntArray.java		CorrectSearchIndexIntArray.java
CorrectSearchValueIndexArray.java		CorrectSearchValueIndexArray.java
CorrectSimple.java		CorrectSimple.java
CorrectSimpleAssignment.java		CorrectSimpleAssignment.java
CorrectSimpleIfElse.java		CorrectSimpleIfElse.java
CorrectSourceStaticFinalInPredicate.java		CorrectSourceStaticFinalInPredicate.java
CorrectSpecificFunctionInvocation.java		CorrectSpecificFunctionInvocation.java
CorrectStateChangeFromUnion.java		CorrectStateChangeFromUnion.java
CorrectStateHintGuards.java		CorrectStateHintGuards.java
CorrectStateValues.java		CorrectStateValues.java
CorrectStaticFinalCharInPredicate.java		CorrectStaticFinalCharInPredicate.java
CorrectStaticFinalConstant.java		CorrectStaticFinalConstant.java
CorrectStaticFinalInAlias.java		CorrectStaticFinalInAlias.java
CorrectStaticFinalInPredicate.java		CorrectStaticFinalInPredicate.java
CorrectStaticFinalUsedAsArgument.java		CorrectStaticFinalUsedAsArgument.java
CorrectStaticImportInPredicate.java		CorrectStaticImportInPredicate.java
CorrectStringArrayLength.java		CorrectStringArrayLength.java
CorrectStringConcat.java		CorrectStringConcat.java
CorrectTernaryConditionInBranch.java		CorrectTernaryConditionInBranch.java
CorrectTernaryExpression.java		CorrectTernaryExpression.java
CorrectTrafficLightRGB.java		CorrectTrafficLightRGB.java
CorrectUnaryOperators.java		CorrectUnaryOperators.java
CorrectUnknownMethodInComparison.java		CorrectUnknownMethodInComparison.java
CorrectUnknownMethodInComparisonState.java		CorrectUnknownMethodInComparisonState.java
CorrectUnresolvedArrayElement.java		CorrectUnresolvedArrayElement.java
CorrectUnresolvedBinaryOperator.java		CorrectUnresolvedBinaryOperator.java
CorrectUnresolvedFieldDeclaringType.java		CorrectUnresolvedFieldDeclaringType.java
CorrectUnresolvedFieldWrite.java		CorrectUnresolvedFieldWrite.java
CorrectUnresolvedLambdaParameter.java		CorrectUnresolvedLambdaParameter.java
CorrectUnresolvedUnaryOperator.java		CorrectUnresolvedUnaryOperator.java
CorrectUsingAfterIf.java		CorrectUsingAfterIf.java
CorrectVarLocal.java		CorrectVarLocal.java
CorrectVarargsCall.java		CorrectVarargsCall.java
CorrectYieldRefinedConstructor.java		CorrectYieldRefinedConstructor.java
View all files