CodeQL library for Java/Kotlin
codeql/java-all 4.2.1-dev (changelog, source)
Search

Class FreshCollection

A new expression that allocates a fresh, empty collection.

Import path

import semmle.code.java.Collections

Direct supertypes

Indirect supertypes

Inherited predicates

callsSuper

Holds if this constructor call is an explicit call to super(...).

from ConstructorCall
callsThis

Holds if this constructor call is an explicit call to this(...).

from ConstructorCall
getAChildExpr

Gets a child of this expression.

from Expr
getAPrimaryQlClass

Gets the name of a primary CodeQL class to which this element belongs.

from ClassInstanceExpr
getATypeArgument

Gets a type argument of the type of the created instance.

from ClassInstanceExpr
getAnArgument

Gets an argument provided to the constructor of this class instance creation expression.

from ClassInstanceExpr
getAnEnclosingStmt

Gets a statement that directly or transitively contains this expression, if any. This is equivalent to this.getEnclosingStmt().getEnclosingStmt*().

from Expr
getAnonymousClass

Gets the anonymous class created by this class instance creation expression, if any.

from ClassInstanceExpr
getArgument

Gets the argument provided to the constructor of this class instance creation expression at the specified (zero-based) position.

from ClassInstanceExpr
getBasicBlock

Gets the basic block in which this expression occurs, if any.

from Expr
getCallee

Gets the target callable of this call.

from Call
getCaller

Gets the callable invoking this call.

from Call
getCompilationUnit

Gets the compilation unit in which this expression occurs.

from Expr
getConstructedType

Gets the type of the object instantiated by this constructor call.

from ConstructorCall
getConstructor

Gets the constructor invoked by this class instance creation expression.

from ClassInstanceExpr
getControlFlowNode

Gets the ControlFlowNode corresponding to this expression.

from Expr
getEnclosingCallable

Gets the immediately enclosing callable of this class instance creation expression.

from ClassInstanceExpr
getEnclosingStmt

Gets the immediately enclosing statement of this class instance creation expression.

from ClassInstanceExpr
getFile

Gets the file associated with this element.

from Top
getHalsteadID

This statement’s Halstead ID (used to compute Halstead metrics).

from Expr
getIndex

Gets the index of this expression as a child of its parent.

from Expr
getKind

Gets the kind of this expression.

from Expr
getKotlinType

Gets the Kotlin type of this expression.

from Expr
getLocation

Gets the source location for this element.

from Top
getNumArgument

Gets the number of arguments provided to the constructor of the class instance creation expression.

from ClassInstanceExpr
getNumberOfCommentLines

Gets the number of comment lines that this element ranges over.

from Top
getNumberOfLinesOfCode

Gets the number of lines of code that this element ranges over.

from Top
getParent

Gets the parent of this expression.

from Expr
getPrimaryQlClasses

Gets a comma-separated list of the names of the primary CodeQL classes to which this element belongs.

from Top
getQualifier

Gets the qualifier of this class instance creation expression, if any.

from ClassInstanceExpr
getTotalNumberOfLines

Gets the total number of lines that this element ranges over, including lines of code, comment and whitespace-only lines.

from Top
getType

Gets the type of this expression.

from Expr
getTypeArgument

Gets the type argument of the type of the created instance, at the specified (zero-based) position.

from ClassInstanceExpr
getTypeName

Gets the access to the type that is instantiated or subclassed by this class instance creation expression.

from ClassInstanceExpr
getUnderlyingExpr

Gets the underlying expression looking through casts and not-nulls, if any. Otherwise just gets this expression.

from Expr
hasLocationInfo

Holds if this element is at the specified location. The location spans column startcolumn of line startline to column endcolumn of line endline in file filepath. For more information, see Locations.

from Top
isCompileTimeConstant

Holds if this expression is a compile-time constant.

from Expr
isDiamond

Holds if this class instance creation expression has an empty type argument list of the form <>.

from ClassInstanceExpr
isInStaticContext

Holds if this expression occurs in a static context.

from Expr
isNthChildOf

Holds if this expression is the child of the specified parent at the specified (zero-based) position.

from Expr
isParenthesized

Holds if this expression is parenthesized.

from Expr
toString

Gets a printable representation of this expression.

from ClassInstanceExpr

Charpred