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
CorrectBooleanLitAndInvocations.java		CorrectBooleanLitAndInvocations.java
CorrectBoxedTypes.java		CorrectBoxedTypes.java
CorrectChainedVariableReferences.java		CorrectChainedVariableReferences.java
CorrectChars.java		CorrectChars.java
CorrectDependentRefinements.java		CorrectDependentRefinements.java
CorrectDotNotationIncrementOnce.java		CorrectDotNotationIncrementOnce.java
CorrectDotNotationTrafficLight.java		CorrectDotNotationTrafficLight.java
CorrectEnumField.java		CorrectEnumField.java
CorrectEnumParam.java		CorrectEnumParam.java
CorrectEnumRefinement.java		CorrectEnumRefinement.java
CorrectEnumUsage.java		CorrectEnumUsage.java
CorrectFPArithmetic.java		CorrectFPArithmetic.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
CorrectLongUsage.java		CorrectLongUsage.java
CorrectMethodInvocation.java		CorrectMethodInvocation.java
CorrectNoRefinements.java		CorrectNoRefinements.java
CorrectOperatorPrecedence.java		CorrectOperatorPrecedence.java
CorrectPrimitiveNumbersTypes.java		CorrectPrimitiveNumbersTypes.java
CorrectReadSpecificAssignment.java		CorrectReadSpecificAssignment.java
CorrectRecursion.java		CorrectRecursion.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
CorrectStaticFinalCharInPredicate.java		CorrectStaticFinalCharInPredicate.java
CorrectStaticFinalConstant.java		CorrectStaticFinalConstant.java
CorrectStaticFinalInPredicate.java		CorrectStaticFinalInPredicate.java
CorrectStaticImportInPredicate.java		CorrectStaticImportInPredicate.java
CorrectStringConcat.java		CorrectStringConcat.java
CorrectTernaryExpression.java		CorrectTernaryExpression.java
CorrectTrafficLightRGB.java		CorrectTrafficLightRGB.java
CorrectUnaryOperators.java		CorrectUnaryOperators.java
CorrectUsingAfterIf.java		CorrectUsingAfterIf.java
ErrorAfterIf.java		ErrorAfterIf.java
ErrorAlias.java		ErrorAlias.java
ErrorAliasArgumentSize.java		ErrorAliasArgumentSize.java
ErrorAliasEmptyArguments.java		ErrorAliasEmptyArguments.java
ErrorAliasNotFound.java		ErrorAliasNotFound.java
ErrorAliasSimple.java		ErrorAliasSimple.java
ErrorAliasTypeMismatch.java		ErrorAliasTypeMismatch.java
ErrorArithmeticBinaryOperations.java		ErrorArithmeticBinaryOperations.java
ErrorArithmeticFP.java		ErrorArithmeticFP.java
ErrorAssignementAfterDeclaration.java		ErrorAssignementAfterDeclaration.java
ErrorAssignmentBeforeReturn.java		ErrorAssignmentBeforeReturn.java
ErrorBooleanFunInvocation.java		ErrorBooleanFunInvocation.java
ErrorBooleanLiteral.java		ErrorBooleanLiteral.java
ErrorBoxedTypes.java		ErrorBoxedTypes.java
ErrorChars.java		ErrorChars.java
ErrorDependentRefinement.java		ErrorDependentRefinement.java
ErrorDotNotationIncrementOnce.java		ErrorDotNotationIncrementOnce.java
ErrorDotNotationMultiple.java		ErrorDotNotationMultiple.java
ErrorDotNotationTrafficLight.java		ErrorDotNotationTrafficLight.java
ErrorEnumFunctionRefinement.java		ErrorEnumFunctionRefinement.java
ErrorEnumNegation.java		ErrorEnumNegation.java
ErrorEnumNull.java		ErrorEnumNull.java
ErrorEnumUsage.java		ErrorEnumUsage.java
ErrorExtraToken.java		ErrorExtraToken.java
ErrorFunctionDeclarations.java		ErrorFunctionDeclarations.java
ErrorFunctionInvocation.java		ErrorFunctionInvocation.java
ErrorGhostArgsTypes.java		ErrorGhostArgsTypes.java
ErrorGhostNotFound.java		ErrorGhostNotFound.java
ErrorGhostNumberArgs.java		ErrorGhostNumberArgs.java
ErrorIfAssignment.java		ErrorIfAssignment.java
ErrorImageWriteParamModes.java		ErrorImageWriteParamModes.java
ErrorImplementationSearchValueIntArray.java		ErrorImplementationSearchValueIntArray.java
ErrorInstanceVarInRefinement.java		ErrorInstanceVarInRefinement.java
ErrorInvalidRefinement.java		ErrorInvalidRefinement.java
ErrorLenZeroIntArray.java		ErrorLenZeroIntArray.java
ErrorLongUsage.java		ErrorLongUsage.java
ErrorLongUsagePredicates.java		ErrorLongUsagePredicates.java
ErrorMissingAliasTypeParameter.java		ErrorMissingAliasTypeParameter.java
ErrorNoRefinementsInVar.java		ErrorNoRefinementsInVar.java
ErrorRecursion.java		ErrorRecursion.java
ErrorSearchIntArray.java		ErrorSearchIntArray.java
ErrorSearchValueIntArray.java		ErrorSearchValueIntArray.java
ErrorSimpleAssignment.java		ErrorSimpleAssignment.java
ErrorSourceStaticFinalInPredicate.java		ErrorSourceStaticFinalInPredicate.java
ErrorSpecificArithmetic.java		ErrorSpecificArithmetic.java
ErrorSpecificValuesIf.java		ErrorSpecificValuesIf.java
ErrorStaticFinalCharInPredicate.java		ErrorStaticFinalCharInPredicate.java
ErrorStaticFinalConstant.java		ErrorStaticFinalConstant.java
View all files