---

SmvTypeDecl Member List

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

• ANY (defined in BirConstants) [static]
• ARRAY (defined in BirConstants) [static]
• BOOL (defined in BirConstants) [static]
• caseArray(Array type, Object o) [inline]
• caseArrayType(ArrayType t) (defined in TypeSwitch) [inline]
• caseBool(Bool type, Object o) [inline]
• caseBooleanType(BooleanType t) (defined in TypeSwitch) [inline]
• caseByteType(ByteType t) (defined in TypeSwitch) [inline]
• caseCharType(CharType t) (defined in TypeSwitch) [inline]
• caseCollection(Collection type, Object o) [inline]
• caseDefault(Type t) (defined in TypeSwitch) [inline]
• caseDoubleType(DoubleType t) (defined in TypeSwitch) [inline]
• caseEnumerated(Enumerated type, Object o) [inline]
• caseErroneousType(ErroneousType t) (defined in TypeSwitch) [inline]
• caseField(Field type, Object o) [inline]
• caseFloatType(FloatType t) (defined in TypeSwitch) [inline]
• caseIntType(IntType t) (defined in TypeSwitch) [inline]
• caseLock(Lock type, Object o) [inline]
• caseLongType(LongType t) (defined in TypeSwitch) [inline]
• caseNullType(NullType t) (defined in TypeSwitch) [inline]
• caseRange(Range type, Object o) [inline]
• caseRecord(Record type, Object o) [inline]
• caseRef(Ref type, Object o) [inline]
• caseRefType(RefType t) (defined in TypeSwitch) [inline]
• caseShortType(ShortType t) (defined in TypeSwitch) [inline]
• caseStmtAddressType(StmtAddressType t) (defined in TypeSwitch) [inline]
• caseUnknownType(UnknownType t) (defined in TypeSwitch) [inline]
• caseVoidType(VoidType t) (defined in TypeSwitch) [inline]
• COLLECTION (defined in BirConstants) [static]
• constrained (defined in SmvTypeDecl) [private]
• container (defined in SmvTypeDecl) [private]
• deadFlag (defined in SmvTypeDecl) [private]
• defaultCase(Object obj) (defined in SmvTypeDecl) [inline]
• defaultCase(Type t) (defined in TypeSwitch) [inline]
• ENUMERATED (defined in BirConstants) [static]
• EXIT (defined in BirConstants) [static]
• FIELD (defined in BirConstants) [static]
• getMaxCollectionSize() (defined in SmvTypeDecl) [inline]
• getResult() (defined in AbstractTypeSwitch) [inline]
• HAS_LOCK (defined in BirConstants) [static]
• initValue(Type type, Object context) [inline, private]
• instNumType (defined in SmvTypeDecl) [private]
• INVALID (defined in BirConstants) [static]
• JOIN (defined in BirConstants) [static]
• LOCK (defined in BirConstants) [static]
• LOCK_AVAILABLE (defined in BirConstants) [static]
• LOCKTYPE (defined in BirConstants) [static]
• maxSize (defined in SmvTypeDecl) [private]
• NOTIFY (defined in BirConstants) [static]
• NOTIFYALL (defined in BirConstants) [static]
• RANGE (defined in BirConstants) [static]
• RECORD (defined in BirConstants) [static]
• REF (defined in BirConstants) [static]
• refIndexType (defined in SmvTypeDecl) [private]
• setResult(Object obj) (defined in AbstractTypeSwitch) [inline]
• smvTrans (defined in SmvTypeDecl) [private]
• SmvTypeDecl(SmvTrans smvTrans, TransSystem sys) (defined in SmvTypeDecl) [inline]
• source (defined in SmvTypeDecl) [private]
• START (defined in BirConstants) [static]
• system (defined in SmvTypeDecl) [private]
• THREAD_TERMINATED (defined in BirConstants) [static]
• UNLOCK (defined in BirConstants) [static]
• UNWAIT (defined in BirConstants) [static]
• varName(Object context) [inline, private]
• WAIT (defined in BirConstants) [static]
• WAS_NOTIFIED (defined in BirConstants) [static]

---