% @(#)$Id: short.lsl,v 1.8 1995/11/09 21:22:39 leavens Exp $

short(short): trait

  includes Integer(short), % from LSL handbook
           Between(short), NoContainedObjects(short)

  introduces
    SHRT_MIN, SHRT_MAX: -> short
    inRange: short -> Bool

  asserts 
    \forall s: short
      SHRT_MIN == (- SHRT_MAX) - 1;
      SHRT_MIN <= 0 /\ 1 <= SHRT_MAX;
      inRange(s) == (SHRT_MIN <= s /\ s <= SHRT_MAX);

  implies
    \forall s: short
      inRange(s) == between(SHRT_MIN, s, SHRT_MAX);

[Index]

HTML generated using lcpp2html.