Index

A B C D E F G H I J K L M N O P R S T U V W X Z
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form

L

LAMBDA_ALTMETAFACTORY - Static variable in class pascal.taie.language.classes.Signatures

LAMBDA_METAFACTORY - Static variable in class pascal.taie.language.classes.Signatures

LambdaAnalysis - Class in pascal.taie.analysis.pta.plugin.invokedynamic

LambdaAnalysis() - Constructor for class pascal.taie.analysis.pta.plugin.invokedynamic.LambdaAnalysis

LE - Enum constant in enum class pascal.taie.ir.exp.ConditionExp.Op

length() - Method in interface pascal.taie.util.collection.IBitSet

Returns the "logical size" of this BitSet: the index of the highest set bit in the BitSet plus one.

length() - Method in class pascal.taie.util.collection.RegularBitSet

length() - Method in class pascal.taie.util.collection.SparseBitSet

lineNumber - Variable in class pascal.taie.analysis.pta.plugin.reflection.LogItem

lineNumber - Variable in class pascal.taie.ir.stmt.Invoke

LINKAGE_ERROR - Static variable in class pascal.taie.language.classes.ClassNames

Lists - Class in pascal.taie.util.collection

Utility methods for List.

Literal - Interface in pascal.taie.ir.exp

Representation of literals.

LiveVariable - Class in pascal.taie.analysis.dataflow.analysis

Implementation of live variable analysis.

LiveVariable(AnalysisConfig) - Constructor for class pascal.taie.analysis.dataflow.analysis.LiveVariable

load(String) - Static method in class pascal.taie.analysis.pta.plugin.reflection.LogItem

LoadArray - Class in pascal.taie.ir.stmt

Representation of load array statement, e.g., x = a[..].

LoadArray(Var, ArrayAccess) - Constructor for class pascal.taie.ir.stmt.LoadArray

loadClass(String) - Method in interface pascal.taie.language.classes.JClassLoader

LoadField - Class in pascal.taie.ir.stmt

Representation of following load field statements: load instance field: x = o.f load static field: x = T.f

LoadField(Var, FieldAccess) - Constructor for class pascal.taie.ir.stmt.LoadField

LOCAL_ASSIGN - Enum constant in enum class pascal.taie.analysis.graph.flowgraph.FlowKind

LoggerConfigs - Class in pascal.taie.config

Utility class for configuring the log4j2 logger.

LogItem - Class in pascal.taie.analysis.pta.plugin.reflection

Represents log items.

logRuntimeInfo() - Static method in class pascal.taie.util.RuntimeInfoLogger

Logs runtime information, including environment details and Tai-e version/commit information.

LONG - Enum constant in enum class pascal.taie.language.generics.BaseType

LONG - Enum constant in enum class pascal.taie.language.type.LongType

LONG - Static variable in class pascal.taie.language.classes.ClassNames

LongElement - Record Class in pascal.taie.language.annotation

LongElement(long) - Constructor for record class pascal.taie.language.annotation.LongElement

Creates an instance of a LongElement record class.

LongLiteral - Class in pascal.taie.ir.exp

Representation of long literals.

LongType - Enum Class in pascal.taie.language.type

longValue() - Method in class pascal.taie.util.MutableInt

LOOKUP - Static variable in class pascal.taie.language.classes.ClassNames

LookupModel - Class in pascal.taie.analysis.pta.plugin.invokedynamic

Models java.lang.invoke.MethodHandles.Lookup.find*(...).

LookupSwitch - Class in pascal.taie.ir.stmt

LookupSwitch(Var, List<Integer>) - Constructor for class pascal.taie.ir.stmt.LookupSwitch

LT - Enum constant in enum class pascal.taie.ir.exp.ConditionExp.Op

LValue - Interface in pascal.taie.ir.exp

Marker interface for all left-hand-side value.

A B C D E F G H I J K L M N O P R S T U V W X Z
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form