% @(#)$Id: TypedObj.lsl,v 1.29 1997/02/13 00:21:23 leavens Exp $
TypedObj(Loc, T): trait
  includes State, WithUnassigned(T), WidenNarrow(Loc[T], Object),
           WidenNarrow(WithUnassigned[T], Value), TypedObjEval(Loc, T),
           AllocatedAssigned(Loc, T), ModifiesSemantics(Loc, T),
           FreshSemantics(Loc, T), TrashesSemantics
  asserts
    sort Loc[T] generated by narrow
    sort Loc[T] partitioned by widen

[Index]

HTML generated using lcpp2html.