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

K

KEEP_ALL - Static variable in record class pascal.taie.config.Plan

Special element for Plan.keepResult, which means to keep results of all analyses.

keepResult() - Method in record class pascal.taie.config.Plan

Returns the value of the keepResult record component.

key1() - Method in record class pascal.taie.util.collection.TwoKeyMap.Entry

Returns the value of the key1 record component.

key2() - Method in record class pascal.taie.util.collection.TwoKeyMap.Entry

Returns the value of the key2 record component.

keySet() - Method in class pascal.taie.analysis.dataflow.fact.MapFact

keySet() - Method in class pascal.taie.util.collection.AbstractHybridMap

keySet() - Method in class pascal.taie.util.collection.IndexMap

keySet() - Method in class pascal.taie.util.collection.MapMapTwoKeyMap

keySet() - Method in class pascal.taie.util.collection.MapSetMultiMap

keySet() - Method in interface pascal.taie.util.collection.MultiMap

keySet() - Method in interface pascal.taie.util.collection.TwoKeyMap

kind() - Method in interface pascal.taie.analysis.graph.flowgraph.FlowEdge

kind() - Method in record class pascal.taie.analysis.graph.flowgraph.OtherFlowEdge

kind() - Method in class pascal.taie.analysis.pta.core.solver.PointerFlowEdge

kind() - Method in record class pascal.taie.analysis.pta.plugin.taint.IndexRef

Returns the value of the kind record component.

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