package Ġir . logic base . jal al ical endar . entity Ċ Ċ import Ġir . logic base . jal al ical endar . Clock Ċ import Ġorg . junit . Assert . assertFalse Ċ import Ġorg . junit . Assert . assertTrue Ċ import Ġorg . junit . Test Ċ Ċ class ĠClock Period Test Ġ{ ĊĊĠĠĠ Ġ@ Test ĊĠĠĠ Ġfun Ġis Overlap () Ġ{ ĊĠĠĠĠĠĠĠ Ġval Ġfirst Ġ= ĠClock Period ( Clock ( 1 0 , Ġ 0 , Ġ 0 ), ĠClock ( 1 2 , Ġ 0 , Ġ 0 )) ĊĠĠĠĠĠĠĠ Ġval Ġsecond Ġ= ĠClock Period ( Clock ( 1 1 , Ġ 0 , Ġ 0 ), ĠClock ( 1 4 , Ġ 0 , Ġ 0 )) ĊĠĠĠĠĠĠĠ Ġval Ġthird Ġ= ĠClock Period ( Clock ( 1 2 , Ġ 0 , Ġ 0 ), ĠClock ( 1 4 , Ġ 0 , Ġ 0 )) ĊĠĠĠĠĠĠĠ ĠassertTrue ( first . is Overlap ( second )) ĊĠĠĠĠĠĠĠ ĠassertFalse ( first . is Overlap ( third )) ĊĠĠĠ Ġ} Ċ }