Instance Constructors
-
new
MutableCache()
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
val
_cacheComp: OpenHashMap[CompKey, DatatypeExpr]
-
val
_cacheEvt: OpenHashMap[EventKey, BoolExpr]
-
val
_cacheFlow: OpenHashMap[FlowKey, BitVecExpr]
-
val
_cacheTuple: OpenHashMap[TypeKey, Tuple]
-
def
apply(key: CompKey): DatatypeExpr
-
-
def
apply(key: FlowKey): BitVecExpr
-
def
apply(key: EventKey): BoolExpr
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
def
collect[C](f: PartialFunction[(CompKey, DatatypeExpr), C])(implicit tag: CompKey): Iterable[C]
-
def
collect[C](f: PartialFunction[(TypeKey, Tuple), C])(implicit tag: TypeKey): Iterable[C]
-
def
collect[C](f: PartialFunction[(FlowKey, BitVecExpr), C])(implicit tag: FlowKey): Iterable[C]
-
def
collect[C](f: PartialFunction[(EventKey, BoolExpr), C])(implicit tag: EventKey): Iterable[C]
-
final
def
eq(arg0: AnyRef): Boolean
-
def
equals(arg0: Any): Boolean
-
def
filter(p: ((CompKey, DatatypeExpr)) ⇒ Boolean)(implicit tag: CompKey): OpenHashMap[CompKey, DatatypeExpr]
-
def
filter(p: ((TypeKey, Tuple)) ⇒ Boolean)(implicit tag: TypeKey): OpenHashMap[TypeKey, Tuple]
-
def
filter(p: ((FlowKey, BitVecExpr)) ⇒ Boolean)(implicit tag: FlowKey): OpenHashMap[FlowKey, BitVecExpr]
-
def
filter(p: ((EventKey, BoolExpr)) ⇒ Boolean)(implicit tag: EventKey): OpenHashMap[EventKey, BoolExpr]
-
def
finalize(): Unit
-
def
get(key: CompKey): Option[DatatypeExpr]
-
-
def
get(key: FlowKey): Option[BitVecExpr]
-
def
get(key: EventKey): Option[BoolExpr]
-
final
def
getClass(): Class[_]
-
def
getOrElseUpdate(key: CompKey, default: DatatypeExpr): DatatypeExpr
-
def
getOrElseUpdate(key: TypeKey, default: Tuple): Tuple
-
def
getOrElseUpdate(key: FlowKey, default: BitVecExpr): BitVecExpr
-
def
getOrElseUpdate(key: EventKey, default: BoolExpr): BoolExpr
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
final
def
ne(arg0: AnyRef): Boolean
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
-
def
toString(): String
-
def
update(pair: (CompKey, DatatypeExpr))(implicit tag: CompKey): Unit
-
def
update(pair: (TypeKey, Tuple))(implicit tag: TypeKey): Unit
-
def
update(pair: (FlowKey, BitVecExpr))(implicit tag: FlowKey): Unit
-
def
update(pair: (EventKey, BoolExpr))(implicit tag: EventKey): Unit
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
Inherited from AnyRef
Inherited from Any
Extension of immutable cache with mutable methods