---

TypeExtractor Member List

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

• addFields(edu.ksu.cis.bandera.bir.Record rec, SootClass sootClass) [inline, private]
• arrayName(ArrayType sootArrayType) [inline]
• arrayTypeTable (defined in TypeExtractor) [private]
• caseArray(Array type, Object o) (defined in TypeSwitch) [pure virtual]
• caseArrayType(ArrayType type) (defined in TypeExtractor) [inline]
• caseBool(Bool type, Object o) (defined in TypeSwitch) [pure virtual]
• caseBooleanType(BooleanType type) (defined in TypeExtractor) [inline]
• caseByteType(ByteType type) (defined in TypeExtractor) [inline]
• caseCharType(CharType t) (defined in TypeSwitch) [inline]
• caseCollection(Collection type, Object o) (defined in TypeSwitch) [pure virtual]
• caseDefault(Type t) (defined in TypeSwitch) [inline]
• caseDoubleType(DoubleType t) (defined in TypeSwitch) [inline]
• caseEnumerated(Enumerated type, Object o) (defined in TypeSwitch) [pure virtual]
• caseErroneousType(ErroneousType t) (defined in TypeSwitch) [inline]
• caseField(Field type, Object o) (defined in TypeSwitch) [pure virtual]
• caseFloatType(FloatType t) (defined in TypeSwitch) [inline]
• caseIntType(IntType type) (defined in TypeExtractor) [inline]
• caseLock(Lock type, Object o) (defined in TypeSwitch) [pure virtual]
• caseLongType(LongType type) (defined in TypeExtractor) [inline]
• caseNullType(NullType t) (defined in TypeSwitch) [inline]
• caseRange(Range type, Object o) (defined in TypeSwitch) [pure virtual]
• caseRecord(Record type, Object o) (defined in TypeSwitch) [pure virtual]
• caseRef(Ref type, Object o) (defined in TypeSwitch) [pure virtual]
• caseRefType(RefType type) (defined in TypeExtractor) [inline]
• caseShortType(ShortType type) (defined in TypeExtractor) [inline]
• caseStmtAddressType(StmtAddressType t) (defined in TypeSwitch) [inline]
• caseUnknownType(UnknownType t) (defined in TypeSwitch) [inline]
• caseVoidType(VoidType t) (defined in TypeSwitch) [inline]
• classManager (defined in TypeExtractor) [private]
• createArrayType(ArrayType sootArrayType, int arrayLen) [inline, private]
• createCollectionType(edu.ksu.cis.bandera.bir.Type type, int size) [inline, private]
• createRecordType(SootClass sootClass, boolean isLocked) [inline, private]
• createRefType(ArrayType sootArrayType) [inline, private]
• createRefType(SootClass sootClass) [inline, private]
• defaultCase(Type type) (defined in TypeExtractor) [inline]
• defaultCase(Object obj) (defined in TypeSwitch) [pure virtual]
• getArrayType(ArrayType sootArrayType) [inline, private]
• getInterfaceClasses(SootClass sootClass) [inline, private]
• getRecordType(SootClass sootClass) [inline]
• getRefType(ArrayType sootArrayType) (defined in TypeExtractor) [inline, private]
• getRefType(SootClass sootClass) [inline, private]
• getResult() (defined in TypeSwitch) [inline]
• getSuperClasses(SootClass sootClass) [inline, private]
• recordTypeTable (defined in TypeExtractor) [private]
• refTypeTable [private]
• setResult(Object result) (defined in TypeSwitch) [inline]
• system (defined in TypeExtractor) [private]
• TypeExtractor(TransSystem system, SootClassManager classManager) (defined in TypeExtractor) [inline]

---