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

Class UnlikelyArgumentCheck

java.lang.Object

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

public class UnlikelyArgumentCheck
extends java.lang.Object

Field Summary

Fields

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

Method Summary

Modifier and Type	Method and Description
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 Detail

dangerousMethod

public final TypeConstants.DangerousMethod dangerousMethod

typeToCheck

public final TypeBinding typeToCheck

expectedType

public final TypeBinding expectedType

typeToReport

public final TypeBinding typeToReport

Method Detail

isDangerous

public boolean isDangerous(BlockScope currentScope)

Check if the invocation is likely a bug.

Parameters:

currentScope -

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)