ADT JAM

Definisi TYPE JAM <HH:MM:SS>

type Hour : integer [0..23]

type Minute : integer [0..59]

type Second : integer [0..59]

type JAM : <   HH : Hour,

MM : Minute,

SS : Second >

KELOMPOK VALIDASI TERHADAP TYPE

function IsJValid (H, M, S : integer) → Boolean

·         KONSTRUKTOR : Membentuk sebuah jam dari komponen—komponennya.

function MakeJam (HH : integer, MM : integer, SS : integer) → JAM

Operasi Komponen terhadap komponen : Selektor Get dan Set.

·         Selektor Get

function GetHour (J : JAM) → integer

function GetMinute (J : JAM) → integer

function GetSecond (J : JAM) → integer

·         Pengubahan nilai komponennya (Set)

procedure SetHH (input/output J : JAM, input newHH : integer)

procedure SetMM (input/output J : JAM, input newMM : integer)

procedure SetSS (input/output J : JAM, input newSS : integer)

·         Destruktor (Tidak perlu)

·         Menampilkan JAM

procedure BacaJam (output J : JAM)

procedure TulisJam (input J : JAM)

·         Kelompok Konversi Terhadap Type (Jumlah Waktu)

function JamToDetik (J : JAM) → integer

(Catatan :

1.      Mengkonversi Jam ke Detik

2.      Rumus : detik = 3600*hour+menit*60 + detik 

3.      nilai maksimum = 3600*23+59*60+59*60

4.      bernilai maksimum kurang dari nilai maksimum hasil konversi )

function DetikToJam (N : integer) → JAM

(Mengrim Konversi Detik ke jam)

·         Kelompok Operasi Terhadap Type

·         Kelompok Operator Relational

function JEQ (J1 : JAM, J2 : JAM) → Boolean

function JNEQ (J1 : JAM, J2 : JAM) → Boolean

function JLT (J1 : JAM, J2 : JAM) → Boolean

function JGT (J1 : JAM, J2 : JAM) → Boolean

·         Operator Aritmatika JAM

function JPlus (J1 : JAM, J2 : JAM) → JAM

function JMinus (J1 : JAM, J2 : JAM) → JAM

function NextDetik (J : JAM) → JAM

function NextNDetik (J : JAM, N : integer) → JAM

function PrevDetik (J : JAM) → JAM

function PrevNDetik (J : JAM, N : integer) → JAM

·         Kelompok Operator Aritmatika

function Durasi (Jaw : JAM , Jakh : JAM) → integer