org.checkerframework.qualframework.base

Interface QualifiedTypes<Q>

public interface QualifiedTypes<Q>

Helper functions for various manipulations of QualifiedTypeMirrors.

Method Summary

Modifier and Type	Method and Description
List<QualifiedTypeMirror<Q>>	expandVarArgs(QualifiedTypeMirror.QualifiedExecutableType<Q> method, List<? extends ExpressionTree> args) Returns the method parameters for the invoked method, with the same number of arguments passed in the methodInvocation tree.

Method Detail

expandVarArgs

List<QualifiedTypeMirror<Q>> expandVarArgs(QualifiedTypeMirror.QualifiedExecutableType<Q> method,
                                           List<? extends ExpressionTree> args)

Returns the method parameters for the invoked method, with the same number of arguments passed in the methodInvocation tree. If the invoked method is not a vararg method or it is a vararg method but the invocation passes an array to the vararg parameter, it would simply return the method parameters. Otherwise, it would return the list of parameters as if the vararg is expanded to match the size of the passed arguments.

Parameters:

method - the method's type

args - the arguments to the method invocation

Returns:

the types that the method invocation arguments need to be subtype of