---

Builder Member List

This is the complete list of members for Builder, including all inherited members.

• ANY (defined in BirConstants) [static]
• ARRAY (defined in BirConstants) [static]
• BOOL (defined in BirConstants) [static]
• Builder(BirThread thread, StmtGraph stmtGraph, SootMethod method) (defined in Builder) [inline, private]
• buildThread(SootClass sClass, boolean mainClass, PredicateSet predSet) [inline, private, static]
• checkForStatics(DefinitionStmt defStmt, Hashtable done) [inline, private, static]
• COLLECTION (defined in BirConstants) [static]
• COLLECTION_SIZE [static]
• createCollections() [inline, private, static]
• createRecordAndArrayTypes() [inline, private, static]
• createRefTypes() [inline, private, static]
• createTransSystem(SootClass[] sootClasses, String name, int maxArrayLength, int maxCollectSize, int minInt, int maxInt, PredicateSet predSet) [inline, static]
• createTransSystem(SootClass[] sootClasses, String name, PredicateSet predSet) [inline, static]
• declareClasses(SootClass[] sootClasses) (defined in Builder) [inline, private, static]
• declareClassGlobals(SootClass sClass) [inline, private, static]
• declareGlobals(SootClass[] sootClasses) [inline, private, static]
• declarePredicates(PredicateSet predSet) [inline, private, static]
• declareThread(SootClass sClass, boolean mainClass) (defined in Builder) [inline, private, static]
• declareVar(Object key, String name, Type sootType, BirThread thread) [inline, private, static]
• dynamicMap (defined in Builder) [private, static]
• ENUMERATED (defined in BirConstants) [static]
• EXIT (defined in BirConstants) [static]
• FIELD (defined in BirConstants) [static]
• findReachableFrom(Stmt stmt) (defined in Builder) [inline, private]
• HAS_LOCK (defined in BirConstants) [static]
• identifyAllocatorsLocks(SootClass[] sootClasses) [inline, private, static]
• initializeGlobal(StaticFieldRef lhs, Value rhs) [inline, private, static]
• interpretTrace(BirTrace trace) [inline, static]
• INVALID (defined in BirConstants) [static]
• JOIN (defined in BirConstants) [static]
• LOCK (defined in BirConstants) [static]
• LOCK_AVAILABLE (defined in BirConstants) [static]
• lockedClasses (defined in Builder) [private, static]
• LOCKTYPE (defined in BirConstants) [static]
• mark (defined in Builder) [private]
• MAX_ARRAY_LENGTH (defined in Builder) [static]
• method (defined in Builder) [private]
• NOTIFY (defined in BirConstants) [static]
• NOTIFYALL (defined in BirConstants) [static]
• parentClasses (defined in Builder) [private, static]
• RANGE (defined in BirConstants) [static]
• reachableFrom(Stmt stmt) [inline, private]
• reachableStmts (defined in Builder) [private]
• RECORD (defined in BirConstants) [static]
• REF (defined in BirConstants) [static]
• START (defined in BirConstants) [static]
• stmtGraph (defined in Builder) [private]
• system (defined in Builder) [private, static]
• thread (defined in Builder) [private]
• THREAD_TERMINATED (defined in BirConstants) [static]
• typeExtract (defined in Builder) [private, static]
• UNLOCK (defined in BirConstants) [static]
• UNWAIT (defined in BirConstants) [static]
• WAIT (defined in BirConstants) [static]
• warn(String s) (defined in Builder) [inline, private, static]
• WAS_NOTIFIED (defined in BirConstants) [static]

---