V-Index (Tai-e 0.2.2 API)

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

V

validate() - Method in class pascal.taie.ir.exp.ArithmeticExp
validate() - Method in class pascal.taie.ir.exp.BitwiseExp
validate() - Method in class pascal.taie.ir.exp.ComparisonExp
validate() - Method in class pascal.taie.ir.exp.ConditionExp
validate() - Method in class pascal.taie.ir.exp.ShiftExp
value() - Element in annotation interface pascal.taie.analysis.pta.plugin.util.InvokeHandlers
value() - Method in record class pascal.taie.language.annotation.BooleanElement: Returns the value of the value record component.
value() - Method in record class pascal.taie.language.annotation.DoubleElement: Returns the value of the value record component.
value() - Method in record class pascal.taie.language.annotation.FloatElement: Returns the value of the value record component.
value() - Method in record class pascal.taie.language.annotation.IntElement: Returns the value of the value record component.
value() - Method in record class pascal.taie.language.annotation.LongElement: Returns the value of the value record component.
value() - Method in record class pascal.taie.language.annotation.StringElement: Returns the value of the value record component.
value() - Method in record class pascal.taie.util.collection.TwoKeyMap.Entry: Returns the value of the value record component.
Value - Class in pascal.taie.analysis.dataflow.analysis.constprop: Represents lattice values in constant propagation.
valueOf(String) - Static method in enum class pascal.taie.analysis.bugfinder.Severity: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class pascal.taie.analysis.graph.callgraph.CallKind: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class pascal.taie.analysis.graph.cfg.CFGEdge.Kind: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class pascal.taie.analysis.graph.flowgraph.FlowKind: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class pascal.taie.analysis.pta.core.solver.EmptyParamProvider: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class pascal.taie.analysis.pta.core.solver.Identity: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class pascal.taie.analysis.pta.plugin.util.DummyModel: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class pascal.taie.config.Scope: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class pascal.taie.ir.exp.ArithmeticExp.Op: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class pascal.taie.ir.exp.BitwiseExp.Op: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class pascal.taie.ir.exp.ComparisonExp.Op: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class pascal.taie.ir.exp.ConditionExp.Op: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class pascal.taie.ir.exp.MethodHandle.Kind: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class pascal.taie.ir.exp.NullLiteral: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class pascal.taie.ir.exp.ShiftExp.Op: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class pascal.taie.ir.stmt.Monitor.Op: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class pascal.taie.language.classes.Modifier: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class pascal.taie.language.generics.BaseType: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class pascal.taie.language.generics.TypeArgument.Kind: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class pascal.taie.language.generics.VoidDescriptor: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class pascal.taie.language.type.BottomType: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class pascal.taie.language.type.NullType: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class pascal.taie.language.type.PrimitiveType: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class pascal.taie.language.type.VoidType: Returns the enum constant of this class with the specified name.
values() - Static method in enum class pascal.taie.analysis.bugfinder.Severity: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class pascal.taie.analysis.graph.callgraph.CallKind: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class pascal.taie.analysis.graph.cfg.CFGEdge.Kind: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class pascal.taie.analysis.graph.flowgraph.FlowKind: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class pascal.taie.analysis.pta.core.solver.EmptyParamProvider: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class pascal.taie.analysis.pta.core.solver.Identity: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class pascal.taie.analysis.pta.plugin.util.DummyModel: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class pascal.taie.config.Scope: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class pascal.taie.ir.exp.ArithmeticExp.Op: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class pascal.taie.ir.exp.BitwiseExp.Op: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class pascal.taie.ir.exp.ComparisonExp.Op: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class pascal.taie.ir.exp.ConditionExp.Op: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class pascal.taie.ir.exp.MethodHandle.Kind: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class pascal.taie.ir.exp.NullLiteral: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class pascal.taie.ir.exp.ShiftExp.Op: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class pascal.taie.ir.stmt.Monitor.Op: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class pascal.taie.language.classes.Modifier: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class pascal.taie.language.generics.BaseType: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class pascal.taie.language.generics.TypeArgument.Kind: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class pascal.taie.language.generics.VoidDescriptor: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class pascal.taie.language.type.BottomType: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class pascal.taie.language.type.NullType: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class pascal.taie.language.type.PrimitiveType: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class pascal.taie.language.type.VoidType: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Method in class pascal.taie.util.collection.AbstractHybridMap
values() - Method in class pascal.taie.util.collection.AbstractMultiMap
values() - Method in class pascal.taie.util.collection.AbstractTwoKeyMap
values() - Method in interface pascal.taie.util.collection.MultiMap
values() - Method in interface pascal.taie.util.collection.TwoKeyMap
var - Variable in class pascal.taie.ir.stmt.SwitchStmt: The variable holding the condition value of the switch-statement.
Var - Class in pascal.taie.ir.exp: Representation of method/constructor parameters, lambda parameters, exception parameters, and local variables.
Var(JMethod, String, Type, int) - Constructor for class pascal.taie.ir.exp.Var
Var(JMethod, String, Type, int, Literal) - Constructor for class pascal.taie.ir.exp.Var
VAR_HANDLE - Static variable in class pascal.taie.language.classes.ClassNames
VARARGS - Enum constant in enum class pascal.taie.language.classes.Modifier
VarNode - Class in pascal.taie.analysis.graph.flowgraph
VERIFY_ERROR - Static variable in class pascal.taie.language.classes.ClassNames
Views - Class in pascal.taie.util.collection: Provides unmodifiable view collections.
VIRTUAL - Enum constant in enum class pascal.taie.analysis.graph.callgraph.CallKind
visit(ArithmeticExp) - Method in interface pascal.taie.ir.exp.ExpVisitor
visit(ArrayAccess) - Method in interface pascal.taie.ir.exp.ExpVisitor
visit(ArrayLengthExp) - Method in interface pascal.taie.ir.exp.ExpVisitor
visit(BitwiseExp) - Method in interface pascal.taie.ir.exp.ExpVisitor
visit(CastExp) - Method in interface pascal.taie.ir.exp.ExpVisitor
visit(ClassLiteral) - Method in interface pascal.taie.ir.exp.ExpVisitor
visit(ComparisonExp) - Method in interface pascal.taie.ir.exp.ExpVisitor
visit(ConditionExp) - Method in interface pascal.taie.ir.exp.ExpVisitor
visit(DoubleLiteral) - Method in interface pascal.taie.ir.exp.ExpVisitor
visit(FloatLiteral) - Method in interface pascal.taie.ir.exp.ExpVisitor
visit(InstanceFieldAccess) - Method in interface pascal.taie.ir.exp.ExpVisitor
visit(InstanceOfExp) - Method in interface pascal.taie.ir.exp.ExpVisitor
visit(IntLiteral) - Method in interface pascal.taie.ir.exp.ExpVisitor
visit(InvokeDynamic) - Method in interface pascal.taie.ir.exp.ExpVisitor
visit(InvokeInterface) - Method in interface pascal.taie.ir.exp.ExpVisitor
visit(InvokeSpecial) - Method in interface pascal.taie.ir.exp.ExpVisitor
visit(InvokeStatic) - Method in interface pascal.taie.ir.exp.ExpVisitor
visit(InvokeVirtual) - Method in interface pascal.taie.ir.exp.ExpVisitor
visit(LongLiteral) - Method in interface pascal.taie.ir.exp.ExpVisitor
visit(MethodHandle) - Method in interface pascal.taie.ir.exp.ExpVisitor
visit(MethodType) - Method in interface pascal.taie.ir.exp.ExpVisitor
visit(NegExp) - Method in interface pascal.taie.ir.exp.ExpVisitor
visit(NewArray) - Method in interface pascal.taie.ir.exp.ExpVisitor
visit(NewInstance) - Method in interface pascal.taie.ir.exp.ExpVisitor
visit(NewMultiArray) - Method in interface pascal.taie.ir.exp.ExpVisitor
visit(NullLiteral) - Method in interface pascal.taie.ir.exp.ExpVisitor
visit(ShiftExp) - Method in interface pascal.taie.ir.exp.ExpVisitor
visit(StaticFieldAccess) - Method in interface pascal.taie.ir.exp.ExpVisitor
visit(StringLiteral) - Method in interface pascal.taie.ir.exp.ExpVisitor
visit(Var) - Method in interface pascal.taie.ir.exp.ExpVisitor
visit(AssignLiteral) - Method in interface pascal.taie.ir.stmt.StmtVisitor
visit(Binary) - Method in interface pascal.taie.ir.stmt.StmtVisitor
visit(Cast) - Method in interface pascal.taie.ir.stmt.StmtVisitor
visit(Catch) - Method in interface pascal.taie.ir.stmt.StmtVisitor
visit(Copy) - Method in interface pascal.taie.ir.stmt.StmtVisitor
visit(Goto) - Method in interface pascal.taie.ir.stmt.StmtVisitor
visit(If) - Method in interface pascal.taie.ir.stmt.StmtVisitor
visit(InstanceOf) - Method in interface pascal.taie.ir.stmt.StmtVisitor
visit(Invoke) - Method in interface pascal.taie.ir.stmt.StmtVisitor
visit(LoadArray) - Method in interface pascal.taie.ir.stmt.StmtVisitor
visit(LoadField) - Method in interface pascal.taie.ir.stmt.StmtVisitor
visit(LookupSwitch) - Method in interface pascal.taie.ir.stmt.StmtVisitor
visit(Monitor) - Method in interface pascal.taie.ir.stmt.StmtVisitor
visit(New) - Method in interface pascal.taie.ir.stmt.StmtVisitor
visit(Nop) - Method in interface pascal.taie.ir.stmt.StmtVisitor
visit(Return) - Method in interface pascal.taie.ir.stmt.StmtVisitor
visit(StoreArray) - Method in interface pascal.taie.ir.stmt.StmtVisitor
visit(StoreField) - Method in interface pascal.taie.ir.stmt.StmtVisitor
visit(TableSwitch) - Method in interface pascal.taie.ir.stmt.StmtVisitor
visit(Throw) - Method in interface pascal.taie.ir.stmt.StmtVisitor
visit(Unary) - Method in interface pascal.taie.ir.stmt.StmtVisitor
visitDefault(Exp) - Method in interface pascal.taie.ir.exp.ExpVisitor
visitDefault(Stmt) - Method in interface pascal.taie.ir.stmt.StmtVisitor
VOID - Enum constant in enum class pascal.taie.language.generics.VoidDescriptor
VOID - Enum constant in enum class pascal.taie.language.type.VoidType
VOID - Static variable in class pascal.taie.language.classes.ClassNames
VoidDescriptor - Enum Class in pascal.taie.language.generics: In JVM Spec.
VoidType - Enum Class in pascal.taie.language.type
VOLATILE - Enum constant in enum class pascal.taie.language.classes.Modifier

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