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

Class TypeCookie

The class javax.servlet.http.Cookie.

Import path

import semmle.code.java.frameworks.Servlets

Direct supertypes

Indirect supertypes

Inherited predicates

commonSubtype

A common (reflexive, transitive) subtype of the erasures of types t1 and t2, if it exists.

from RefType
compilerGeneratedReason

Gets the reason this element was generated by the compiler, if any.

from Element
contains

Holds if this element transitively contains the specified element e.

from Element
declaresField

Holds if this type declares a field with the specified name.

from RefType
declaresMethod

Holds if this type declares a method with the specified name.

from RefType
declaresMethod

Holds if this type declares a method with the specified name and number of parameters.

from RefType
extendsOrImplements

Holds if t is an immediate super-type of this type using only the immediate extends or implements relationships. In particular, this excludes parameter containment sub-typing for parameterized types.

from RefType
fromSource

Holds if this element pertains to a source file.

from Element
getACallable

Gets a method or constructor declared in this type.

from RefType
getAConstructor

Gets a constructor declared in this type.

from RefType
getADeclaredAnnotation

Gets an annotation that is declared on this element, excluding inherited annotations. The retention policy of the annotation type is not considered.

from Annotatable
getADescendant

Gets a direct or indirect descendant of this type, including itself.

from RefType
getAField

Gets a field declared in this type.

from RefType
getAMember

Gets a member declared in this type.

from RefType
getAMethod

Gets a method declared in this type.

from RefType
getAModifier

Gets a modifier of this element.

from Modifiable
getAPermittedSubtype

Gets a permitted subtype in case this class or interface is a sealed class (Java 17 feature).

from ClassOrInterface
getAPrimaryQlClass

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

from Class
getASourceSupertype

Gets the source declaration of a direct supertype of this type, excluding itself.

from RefType
getAStrictAncestor

Gets a direct or indirect supertype of this type. This does not include itself, unless this type is part of a cycle in the type hierarchy.

from RefType
getASubtype

Gets a direct subtype of this type.

from RefType
getASupertype

Gets a direct supertype of this type.

from RefType
getAnAncestor

Gets a direct or indirect supertype of this type, including itself.

from RefType
getAnAnnotation

Gets an annotation that applies to this class.

from Class
getAnAssociatedAnnotation

Gets an annotation associated with this element, that is: - An annotation directly present on this element, or - An annotation indirectly present on this element (in the form of a repeated annotation), or - If an annotation of a type is neither directly nor indirectly present the result is an associated inherited annotation (recursively)

from Annotatable
getCompanionObject

Get the companion object of this class or interface, if any.

from ClassOrInterface
getCompilationUnit

Gets the compilation unit in which this type is declared.

from RefType
getDoc

Cast this element to a Documentable.

from Element
getEnclosingType

Gets the type in which this reference type is enclosed, if any.

from RefType
getErasure

Gets the erasure of this type.

from Type
getFile

Gets the file associated with this element.

from Top
getLocation

Gets the source location for this element.

from Top
getMetrics

Cast this reference type to a class that provides access to metrics information.

from RefType
getName

Gets the name of this element.

from Element
getNestedName

Gets the nested name of this type.

from RefType
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
getNumberOfMethods

Gets the number of methods declared in this type.

from RefType
getPackage

Gets the package in which this type is declared.

from RefType
getPrimaryQlClasses

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

from Top
getQualifiedName

Gets the qualified name of this type, consisting of the package name followed by a . and the name of this type.

from RefType
getSourceDeclaration

Gets the source declaration of this type.

from ClassOrInterface
getTotalNumberOfLines

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

from Top
getTypeDescriptor

Gets the JVM descriptor for this type, as used in bytecode.

from RefType
hasAnnotation

Holds if this element has an annotation, including inherited annotations. The retention policy of the annotation type is not considered.

from Annotatable
hasAnnotation

Holds if this element has the specified annotation, including inherited annotations. The retention policy of the annotation type is not considered.

from Annotatable
hasChildElement

Holds if this element is the immediate parent of the specified element e.

from Element
hasDeclaredAnnotation

Holds if this element has a declared annotation, excluding inherited annotations. The retention policy of the annotation type is not considered.

from Annotatable
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
hasMember

Holds if this type declares any members.

from RefType
hasMethod

Holds if this type declares or inherits method m, which is declared in declaringType.

from RefType
hasMethod

Holds if this type declares or inherits method m, which is declared in declaringType. Methods that would be inherited if they were public, but are not inherited due to being package protected, are also included and indicated by hidden being true.

from RefType
hasModifier

Holds if this element has modifier m.

from Modifiable
hasName

Holds if this element has the specified name.

from Element
hasNoModifier

Holds if this element has no modifier.

from Modifiable
hasQualifiedName

Holds if this type is declared in a specified package with the specified name.

from RefType
hasSubtype

Holds if t is an immediate subtype of this type.

from RefType
hasSupertype

Holds if t is an immediate supertype of this type.

from RefType
inherits

Holds if this type declares or inherits the specified member.

from RefType
isAbstract

Holds if this element has an abstract modifier or is implicitly abstract.

from Modifiable
isAnonymous

Holds if this class is an anonymous class.

from Class
isCompilerGenerated

Holds if this is an auxiliary program element generated by the compiler.

from Element
isCrossinline

Holds if this element has a crossinline modifier.

from Modifiable
isDefault

Holds if this element has a default modifier.

from Modifiable
isFileClass

Holds if this class is a Kotlin “file class”, e.g. the class FooKt for top-level entities in Foo.kt.

from Class
isFinal

Holds if this element has a final modifier or is implicitly final.

from Modifiable
isIn

Holds if this element has an in modifier.

from Modifiable
isInline

Holds if this element has an inline modifier.

from Modifiable
isInternal

Holds if this element has an internal modifier.

from Modifiable
isLateinit

Holds if this element has a lateinit modifier.

from Modifiable
isLocal

Holds if this class or interface is local.

from ClassOrInterface
isNative

Holds if this element has a native modifier.

from Modifiable
isNoinline

Holds if this element has a noinline modifier.

from Modifiable
isOut

Holds if this element has an out modifier.

from Modifiable
isPackageProtected

Holds if this class or interface is package protected, that is, neither public nor private nor protected.

from ClassOrInterface
isPrivate

Holds if this element has a private modifier or is implicitly private.

from Modifiable
isProtected

Holds if this element has a protected modifier.

from Modifiable
isPublic

Holds if this element has a public modifier or is implicitly public.

from Modifiable
isReified

Holds if this element has a reified modifier.

from Modifiable
isSealed

Holds if this class or interface is explicitly or implicitly a sealed class (Java 17 feature).

from ClassOrInterface
isSealedKotlin

Holds if this element has a sealed modifier.

from Modifiable
isSourceDeclaration

Holds if this type is the same as its source declaration.

from RefType
isStatic

Holds if this element has a static modifier or is implicitly static.

from Modifiable
isStrictfp

Holds if this element has a strictfp modifier.

from Modifiable
isStub

Holds if this element is from source and classified as a stub implementation. An implementation is considered a stub, if the the path to the source file contains /stubs/.

from Element
isSuspend

Holds if this element has a suspend modifier.

from Modifiable
isSynchronized

Holds if this element has a synchronized modifier.

from Modifiable
isTopLevel

Holds if this is a top-level type, which is not nested inside any other types.

from RefType
isTransient

Holds if this element has a transient modifier.

from Modifiable
isVolatile

Holds if this element has a volatile modifier.

from Modifiable
nestedName

DEPRECATED: Alias for getNestedName.

from RefType
suppressesWarningsAbout

Holds if this or any enclosing Annotatable has a @SuppressWarnings("<category>") annotation attached to it for the specified category.

from Annotatable
toString

Gets a textual representation of this element.

from Top

Charpred