Class UnlikelyArgumentCheck

java.lang.Object

org.aspectj.org.eclipse.jdt.internal.compiler.ast.UnlikelyArgumentCheck

public class UnlikelyArgumentCheck
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
final TypeConstants.DangerousMethod	dangerousMethod
final TypeBinding	expectedType
final TypeBinding	typeToCheck
final TypeBinding	typeToReport

Method Summary

Modifier and Type	Method	Description
static UnlikelyArgumentCheck	createUnlikelyArgumentCheck(TypeConstants.DangerousMethod dangerousMethod, TypeBinding typeToCheck, TypeBinding expectedType, TypeBinding typeToReport)
static UnlikelyArgumentCheck	determineCheckForNonStaticSingleArgumentMethod(TypeBinding argumentType, Scope scope, char[] selector, TypeBinding actualReceiverType, TypeBinding[] parameters)	When targeting a well-known dangerous method, returns an UnlikelyArgumentCheck object that contains the types to check against each other and to report
static UnlikelyArgumentCheck	determineCheckForStaticTwoArgumentMethod(TypeBinding secondParameter, Scope scope, char[] selector, TypeBinding firstParameter, TypeBinding[] parameters, TypeBinding actualReceiverType)
boolean	isDangerous(BlockScope currentScope)	Check if the invocation is likely a bug.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

dangerousMethod

public final TypeConstants.DangerousMethod dangerousMethod

typeToCheck

public final TypeBinding typeToCheck

expectedType

public final TypeBinding expectedType

typeToReport

public final TypeBinding typeToReport

Method Details

createUnlikelyArgumentCheck

public static UnlikelyArgumentCheck createUnlikelyArgumentCheck(TypeConstants.DangerousMethod dangerousMethod,
 TypeBinding typeToCheck,
 TypeBinding expectedType,
 TypeBinding typeToReport)

isDangerous

public boolean isDangerous(BlockScope currentScope)

Check if the invocation is likely a bug.

Returns:

false, if the typeToCheck does not seem to related to the expectedType

determineCheckForNonStaticSingleArgumentMethod

public static UnlikelyArgumentCheck determineCheckForNonStaticSingleArgumentMethod(TypeBinding argumentType,
 Scope scope,
 char[] selector,
 TypeBinding actualReceiverType,
 TypeBinding[] parameters)

When targeting a well-known dangerous method, returns an UnlikelyArgumentCheck object that contains the types to check against each other and to report

determineCheckForStaticTwoArgumentMethod

public static UnlikelyArgumentCheck determineCheckForStaticTwoArgumentMethod(TypeBinding secondParameter,
 Scope scope,
 char[] selector,
 TypeBinding firstParameter,
 TypeBinding[] parameters,
 TypeBinding actualReceiverType)