Example From UVA ADEPTUVA Package Body (Cont.)

-- Package body continued from previous slide

FUNCTION Token_Present (T : Token) RETURN BOOLEAN IS

BEGIN

IF (T.Status = Present) THEN RETURN TRUE;

ELSE RETURN FALSE;

END IF;

END Token_Present;

FUNCTION Token_Acked(T : Token) RETURN BOOLEAN IS

BEGIN

IF (T.Status = Acked) THEN RETURN TRUE;

ELSE RETURN FALSE;

END IF;

END Token_Acked;

FUNCTION Token_Released(T : Token) RETURN BOOLEAN IS

BEGIN

IF (T.Status = Released) THEN RETURN TRUE;

ELSE RETURN FALSE;

END IF;

END Token_Released;

FUNCTION Token_Removed(T : Token) RETURN BOOLEAN IS

BEGIN

IF (T.Status = Removed) THEN RETURN TRUE;

ELSE RETURN FALSE;

END IF;

END Token_Removed;

END uva;

UVa

Previous slide

Next slide

Back to first slide

View graphic version