---

TransSystem Member List

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

• addTrans(Transformation trans) [inline]
• addType(Type t) (defined in TransSystem) [inline]
• ANY (defined in BirConstants) [static]
• ARRAY (defined in BirConstants) [static]
• arrayType(Type baseType, ConstExpr size) [inline]
• BOOL (defined in BirConstants) [static]
• booleanType() [inline]
• COLLECTION (defined in BirConstants) [static]
• collectionType(Type baseType, ConstExpr size) [inline]
• createName(Object key, String proposedName) [inline]
• createThread(String proposedName, Object key) [inline]
• declarePredicate(String proposedName, Expr expr) [inline]
• declareVar(Object key, String proposedName, BirThread thread, Type type, Expr initVal) [inline]
• define(Object key, Definition definition) [inline]
• definitionTable (defined in TransSystem) [private]
• definitionVector (defined in TransSystem) [private]
• ENUMERATED (defined in BirConstants) [static]
• enumeratedType() [inline]
• EXIT (defined in BirConstants) [static]
• FIELD (defined in BirConstants) [static]
• getDefinition(Object key) [inline]
• getDefinitions() (defined in TransSystem) [inline]
• getKeyOf(String name) [inline]
• getLocalStateVars(BirThread thread) [inline]
• getLocation(int id) (defined in TransSystem) [inline]
• getName() (defined in TransSystem) [inline]
• getNameOf(Object key) [inline]
• getPredicates() (defined in TransSystem) [inline]
• getSource(Object birObject) [inline]
• getStateVars() (defined in TransSystem) [inline]
• getThreads() (defined in TransSystem) [inline]
• getTransformations() [inline]
• getTypes() (defined in TransSystem) [inline]
• getVarOfKey(Object key) [inline]
• HAS_LOCK (defined in BirConstants) [static]
• INVALID (defined in BirConstants) [static]
• JOIN (defined in BirConstants) [static]
• locationOfKey (defined in TransSystem) [private]
• locationOfKey(Object key, BirThread thread) [inline]
• locationTable (defined in TransSystem) [private]
• locCount (defined in TransSystem) [private]
• LOCK (defined in BirConstants) [static]
• LOCK_AVAILABLE (defined in BirConstants) [static]
• LOCKTYPE (defined in BirConstants) [static]
• lockType(boolean waiting, boolean reentrant) [inline]
• name (defined in TransSystem) [private]
• namedKeyTable (defined in TransSystem) [private]
• nameTable (defined in TransSystem) [private]
• NOTIFY (defined in BirConstants) [static]
• NOTIFYALL (defined in BirConstants) [static]
• numberedLocs (defined in TransSystem) [private]
• numberLoc(Location loc, LocVector threadLocVector) (defined in TransSystem) [inline, private]
• numberLocations() [inline]
• predicateName(Object predicate) [inline]
• predTable (defined in TransSystem) [private]
• predVector (defined in TransSystem) [private]
• RANGE (defined in BirConstants) [static]
• rangeType() [inline]
• rangeType(ConstExpr lo, ConstExpr hi) [inline]
• RECORD (defined in BirConstants) [static]
• recordType() [inline]
• REF (defined in BirConstants) [static]
• refAnyType (defined in TransSystem) [private]
• refAnyType() [inline]
• refTargets (defined in TransSystem) [private]
• refType() [inline]
• reservedNames [private, static]
• reserveNames() (defined in TransSystem) [inline, private]
• setSource(Object birObject, Object source) [inline]
• sourceMap (defined in TransSystem) [private]
• START (defined in BirConstants) [static]
• stateSize (defined in TransSystem) [private]
• stateVarOfKey (defined in TransSystem) [private]
• stateVarVector (defined in TransSystem) [private]
• THREAD_TERMINATED (defined in BirConstants) [static]
• threadCount (defined in TransSystem) [private]
• threadOfKey(Object key) [inline]
• threadTable (defined in TransSystem) [private]
• threadVector (defined in TransSystem) [private]
• TransSystem(String name) [inline]
• transVector (defined in TransSystem) [private]
• typeVector (defined in TransSystem) [private]
• UNLOCK (defined in BirConstants) [static]
• UNWAIT (defined in BirConstants) [static]
• WAIT (defined in BirConstants) [static]
• WAS_NOTIFIED (defined in BirConstants) [static]

---