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

H

handleNewCSMethod(CSMethod) - Method in class pascal.taie.analysis.pta.plugin.util.AbstractIRModel

handleNewCSMethod(CSMethod) - Method in interface pascal.taie.analysis.pta.plugin.util.IRModel

handleNewInvoke(Invoke) - Method in class pascal.taie.analysis.pta.plugin.util.AbstractModel

handleNewInvoke(Invoke) - Method in enum class pascal.taie.analysis.pta.plugin.util.DummyModel

handleNewInvoke(Invoke) - Method in interface pascal.taie.analysis.pta.plugin.util.Model

handleNewMethod(JMethod) - Method in class pascal.taie.analysis.pta.plugin.util.AbstractIRModel

handleNewMethod(JMethod) - Method in interface pascal.taie.analysis.pta.plugin.util.IRModel

handleNewNonInvokeStmt(Stmt) - Method in class pascal.taie.analysis.pta.plugin.reflection.SolarModel

handleNewNonInvokeStmt(Stmt) - Method in class pascal.taie.analysis.pta.plugin.reflection.StringBasedModel

handleNewPointsToSet(CSVar, PointsToSet) - Method in class pascal.taie.analysis.pta.plugin.reflection.SolarModel

handleNewPointsToSet(CSVar, PointsToSet) - Method in class pascal.taie.analysis.pta.plugin.util.AbstractModel

handleNewPointsToSet(CSVar, PointsToSet) - Method in enum class pascal.taie.analysis.pta.plugin.util.DummyModel

handleNewPointsToSet(CSVar, PointsToSet) - Method in interface pascal.taie.analysis.pta.plugin.util.Model

handler() - Method in record class pascal.taie.ir.proginfo.ExceptionEntry

Returns the value of the handler record component.

handlers - Variable in class pascal.taie.analysis.pta.plugin.util.AbstractIRModel

handlers - Variable in class pascal.taie.analysis.pta.plugin.util.AbstractModel

has(String) - Method in class pascal.taie.config.AnalysisOptions

hasAbstract(Set<Modifier>) - Static method in enum class pascal.taie.language.classes.Modifier

hasAnnotation(String) - Method in interface pascal.taie.language.annotation.Annotated

hasAnnotation(String) - Method in class pascal.taie.language.annotation.AnnotationHolder

hasAnnotation(String) - Method in class pascal.taie.language.classes.ClassMember

hasAnnotation(String) - Method in class pascal.taie.language.classes.JClass

hasAnnotation(Set<Modifier>) - Static method in enum class pascal.taie.language.classes.Modifier

hasDescriptor(CSObj, Descriptor) - Static method in class pascal.taie.analysis.pta.plugin.util.CSObjs

hasEdge(N, N) - Method in interface pascal.taie.util.graph.Graph

hasEdge(N, N) - Method in class pascal.taie.util.graph.ReverseGraph

hasEdge(Edge<N>) - Method in interface pascal.taie.util.graph.Graph

hasElement(String) - Method in class pascal.taie.language.annotation.Annotation

hasEnum(Set<Modifier>) - Static method in enum class pascal.taie.language.classes.Modifier

hasFinal(Set<Modifier>) - Static method in enum class pascal.taie.language.classes.Modifier

hash(Object, Object) - Static method in class pascal.taie.util.Hashes

hash(Object, Object, Object) - Static method in class pascal.taie.util.Hashes

hash(Object, Object, Object, Object) - Static method in class pascal.taie.util.Hashes

hashCode() - Method in class pascal.taie.analysis.bugfinder.BugInstance

hashCode() - Method in class pascal.taie.analysis.dataflow.analysis.availexp.ExpWrapper

hashCode() - Method in class pascal.taie.analysis.dataflow.analysis.constprop.Value

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

hashCode() - Method in class pascal.taie.analysis.dataflow.fact.SetFact

hashCode() - Method in class pascal.taie.analysis.dataflow.fact.ToppedSetFact

hashCode() - Method in class pascal.taie.analysis.graph.callgraph.Edge

hashCode() - Method in class pascal.taie.analysis.graph.cfg.CFGEdge

hashCode() - Method in record class pascal.taie.analysis.graph.cfg.CFGNodeIndexer

Returns a hash code value for this object.

hashCode() - Method in class pascal.taie.analysis.pta.core.heap.MockObj

hashCode() - Method in record class pascal.taie.analysis.pta.core.solver.EntryPoint

Returns a hash code value for this object.

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

hashCode() - Method in class pascal.taie.analysis.pta.core.solver.TypeFilter

hashCode() - Method in record class pascal.taie.analysis.pta.plugin.taint.CallSourcePoint

Returns a hash code value for this object.

hashCode() - Method in record class pascal.taie.analysis.pta.plugin.taint.FieldSource

Returns a hash code value for this object.

hashCode() - Method in record class pascal.taie.analysis.pta.plugin.taint.FieldSourcePoint

Returns a hash code value for this object.

hashCode() - Method in record class pascal.taie.analysis.pta.plugin.taint.ParamSourcePoint

Returns a hash code value for this object.

hashCode() - Method in record class pascal.taie.analysis.pta.plugin.taint.SinkPoint

Returns a hash code value for this object.

hashCode() - Method in record class pascal.taie.analysis.pta.plugin.taint.TaintFlow

Returns a hash code value for this object.

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

Returns a hash code value for this object.

hashCode() - Method in class pascal.taie.ir.exp.ClassLiteral

hashCode() - Method in class pascal.taie.ir.exp.DoubleLiteral

hashCode() - Method in class pascal.taie.ir.exp.FloatLiteral

hashCode() - Method in class pascal.taie.ir.exp.IntLiteral

hashCode() - Method in class pascal.taie.ir.exp.LongLiteral

hashCode() - Method in class pascal.taie.ir.exp.MethodHandle

hashCode() - Method in class pascal.taie.ir.exp.MethodType

hashCode() - Method in class pascal.taie.ir.exp.StringLiteral

hashCode() - Method in record class pascal.taie.ir.proginfo.ExceptionEntry

Returns a hash code value for this object.

hashCode() - Method in record class pascal.taie.language.annotation.Annotation.Entry

Returns a hash code value for this object.

hashCode() - Method in record class pascal.taie.language.annotation.AnnotationElement

Returns a hash code value for this object.

hashCode() - Method in record class pascal.taie.language.annotation.ArrayElement

Returns a hash code value for this object.

hashCode() - Method in record class pascal.taie.language.annotation.BooleanElement

Returns a hash code value for this object.

hashCode() - Method in record class pascal.taie.language.annotation.ClassElement

Returns a hash code value for this object.

hashCode() - Method in record class pascal.taie.language.annotation.DoubleElement

Returns a hash code value for this object.

hashCode() - Method in record class pascal.taie.language.annotation.EnumElement

Returns a hash code value for this object.

hashCode() - Method in record class pascal.taie.language.annotation.FloatElement

Returns a hash code value for this object.

hashCode() - Method in record class pascal.taie.language.annotation.IntElement

Returns a hash code value for this object.

hashCode() - Method in record class pascal.taie.language.annotation.LongElement

Returns a hash code value for this object.

hashCode() - Method in record class pascal.taie.language.annotation.StringElement

Returns a hash code value for this object.

hashCode() - Method in class pascal.taie.language.classes.Subsignature

hashCode() - Method in record class pascal.taie.language.generics.ClassTypeGSignature.SimpleClassTypeGSignature

Returns a hash code value for this object.

hashCode() - Method in record class pascal.taie.language.type.ArrayType

Returns a hash code value for this object.

hashCode() - Method in class pascal.taie.language.type.ClassType

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

hashCode() - Method in class pascal.taie.util.collection.AbstractHybridSet

hashCode() - Method in class pascal.taie.util.collection.GenericBitSet

hashCode() - Method in class pascal.taie.util.collection.MapEntry

hashCode() - Method in class pascal.taie.util.collection.MapMultiMapTwoKeyMultiMap

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

hashCode() - Method in record class pascal.taie.util.collection.Pair

Returns a hash code value for this object.

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

Returns the hash code value for this bit set.

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

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

Returns a hash code value for this object.

hashCode() - Method in class pascal.taie.util.graph.AbstractEdge

hashCode() - Method in class pascal.taie.util.graph.MergedNode

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

Hashes - Class in pascal.taie.util

Static utility methods for computing hash code.

hasInterface(Set<Modifier>) - Static method in enum class pascal.taie.language.classes.Modifier

hasNative(Set<Modifier>) - Static method in enum class pascal.taie.language.classes.Modifier

hasNode(N) - Method in interface pascal.taie.util.graph.Graph

hasNode(Node) - Method in class pascal.taie.analysis.graph.flowgraph.NodeManager

hasOuterClass() - Method in class pascal.taie.language.classes.JClass

hasOverlapWith(Set<E>) - Method in class pascal.taie.util.collection.AbstractSetEx

hasOverlapWith(Set<E>) - Method in class pascal.taie.util.collection.GenericBitSet

hasOverlapWith(Set<E>) - Method in interface pascal.taie.util.collection.SetEx

hasParamAnnotation(int, String) - Method in class pascal.taie.language.classes.JMethod

hasPrivate(Set<Modifier>) - Static method in enum class pascal.taie.language.classes.Modifier

hasProtected(Set<Modifier>) - Static method in enum class pascal.taie.language.classes.Modifier

hasPublic(Set<Modifier>) - Static method in enum class pascal.taie.language.classes.Modifier

hasResult(String) - Method in class pascal.taie.util.AbstractResultHolder

hasResult(String) - Method in interface pascal.taie.util.ResultHolder

hasStatic(Set<Modifier>) - Static method in enum class pascal.taie.language.classes.Modifier

hasStrictFP(Set<Modifier>) - Static method in enum class pascal.taie.language.classes.Modifier

hasSynchronized(Set<Modifier>) - Static method in enum class pascal.taie.language.classes.Modifier

hasSynthetic(Set<Modifier>) - Static method in enum class pascal.taie.language.classes.Modifier

hasTransient(Set<Modifier>) - Static method in enum class pascal.taie.language.classes.Modifier

hasVolatile(Set<Modifier>) - Static method in enum class pascal.taie.language.classes.Modifier

haveOverlap(Set<E>, Set<E>) - Static method in class pascal.taie.util.collection.Sets

heapModel - Variable in class pascal.taie.analysis.pta.plugin.util.SolverHolder

HeapModel - Interface in pascal.taie.analysis.pta.core.heap

Represents of heap models for heap objects.

helper - Variable in class pascal.taie.analysis.pta.plugin.reflection.StringBasedModel

hierarchy - Variable in class pascal.taie.analysis.pta.plugin.util.SolverHolder

holdsInt(Exp) - Static method in class pascal.taie.ir.exp.Exps

holdsInteger(Exp) - Static method in class pascal.taie.ir.exp.Exps

holdsLong(Exp) - Static method in class pascal.taie.ir.exp.Exps

holdsPrimitive(Exp) - Static method in class pascal.taie.ir.exp.Exps

holdsReference(Exp) - Static method in class pascal.taie.ir.exp.Exps

HybridBitSet<E> - Class in pascal.taie.util.collection

Hybrid set that uses bit set for large set.

HybridBitSet(Indexer<E>, boolean) - Constructor for class pascal.taie.util.collection.HybridBitSet

HybridHashMap<K,V> - Class in pascal.taie.util.collection

Hybrid map that uses hash map for large map.

HybridHashMap() - Constructor for class pascal.taie.util.collection.HybridHashMap

Constructs a new empty hybrid map.

HybridHashMap(Map<K, V>) - Constructor for class pascal.taie.util.collection.HybridHashMap

Constructs a new hybrid map from the given map.

HybridHashSet<E> - Class in pascal.taie.util.collection

Hybrid set that uses hash set for large set.

HybridHashSet() - Constructor for class pascal.taie.util.collection.HybridHashSet

Constructs a new hybrid set.

HybridHashSet(Collection<E>) - Constructor for class pascal.taie.util.collection.HybridHashSet

Constructs a new hybrid set from the given collection.

HybridIndexableSet<E extends Indexable> - Class in pascal.taie.util.collection

Hybrid set that uses indexable set for large set.

HybridIndexableSet(boolean) - Constructor for class pascal.taie.util.collection.HybridIndexableSet

HybridLinkedHashSet<E> - Class in pascal.taie.util.collection

Hybrid set that uses linked hash set for large set.

HybridLinkedHashSet() - Constructor for class pascal.taie.util.collection.HybridLinkedHashSet

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