package Ġio . github . cc j hr . samples . number . int Ċ Ċ private Ġfun Ġis GreaterThan () Ġ{ ĊĠĠĠ Ġ// Ġgiven ĊĠĠĠ Ġval Ġobj Ġ= Ġ 1 2 ĊĊĠĠĠ Ġ// Ġthen ĊĠĠĠ Ġobj Ġmust Satisf y Ġ{ ĊĠĠĠĠĠĠĠ Ġit Ġis GreaterThan Ġ 1 1 ĊĠĠĠ Ġ} Ċ } Ċ Ċ private Ġfun Ġis LessThan () Ġ{ ĊĠĠĠ Ġ// Ġgiven ĊĠĠĠ Ġval Ġobj Ġ= Ġ 1 1 ĊĊĠĠĠ Ġ// Ġthen ĊĠĠĠ Ġobj Ġmust Satisf y Ġ{ ĊĠĠĠĠĠĠĠ Ġit Ġis LessThan Ġ 1 2 ĊĠĠĠ Ġ} Ċ } Ċ Ċ private Ġfun Ġis Even () Ġ{ ĊĠĠĠ Ġ// Ġgiven ĊĠĠĠ Ġval Ġobj Ġ= Ġ 1 2 ĊĊĠĠĠ Ġ// Ġthen ĊĠĠĠ Ġobj Ġmust Satisf y Ġ{ ĊĠĠĠĠĠĠĠ Ġit Ġ` is ` ĠEven ĊĠĠĠ Ġ} Ċ } Ċ Ċ private Ġfun Ġis Not Even () Ġ{ ĊĠĠĠ Ġ// Ġgiven ĊĠĠĠ Ġval Ġobj Ġ= Ġ 1 1 ĊĊĠĠĠ Ġ// Ġthen ĊĠĠĠ Ġobj Ġmust Satisf y Ġ{ ĊĠĠĠĠĠĠĠ Ġit Ġis Not ĠEven ĊĠĠĠ Ġ} Ċ } Ċ Ċ private Ġfun Ġis Odd () Ġ{ ĊĠĠĠ Ġ// Ġgiven ĊĠĠĠ Ġval Ġobj Ġ= Ġ 1 1 ĊĊĠĠĠ Ġ// Ġthen ĊĠĠĠ Ġobj Ġmust Satisf y Ġ{ ĊĠĠĠĠĠĠĠ Ġit Ġ` is ` ĠO dd ĊĠĠĠ Ġ} Ċ } Ċ Ċ private Ġfun Ġis Not Odd () Ġ{ ĊĠĠĠ Ġ// Ġgiven ĊĠĠĠ Ġval Ġobj Ġ= Ġ 1 2 ĊĊĠĠĠ Ġ// Ġthen ĊĠĠĠ Ġobj Ġmust Satisf y Ġ{ ĊĠĠĠĠĠĠĠ Ġit Ġis Not ĠO dd ĊĠĠĠ Ġ} Ċ } Ċ Ċ private Ġfun Ġis Positive () Ġ{ ĊĠĠĠ Ġ// Ġgiven ĊĠĠĠ Ġval Ġobj Ġ= Ġ 1 2 ĊĊĠĠĠ Ġ// Ġthen ĊĠĠĠ Ġobj Ġmust Satisf y Ġ{ ĊĠĠĠĠĠĠĠ Ġit Ġ` is ` ĠPositive ĊĠĠĠ Ġ} Ċ } Ċ Ċ private Ġfun Ġis Not Positive () Ġ{ ĊĠĠĠ Ġ// Ġgiven ĊĠĠĠ Ġval Ġobj Ġ= Ġ- 1 2 ĊĊĠĠĠ Ġ// Ġthen ĊĠĠĠ Ġobj Ġmust Satisf y Ġ{ ĊĠĠĠĠĠĠĠ Ġit Ġis Not ĠPositive ĊĠĠĠ Ġ} Ċ } Ċ Ċ private Ġfun Ġis Negative () Ġ{ ĊĠĠĠ Ġ// Ġgiven ĊĠĠĠ Ġval Ġobj Ġ= Ġ- 1 2 ĊĊĠĠĠ Ġ// Ġthen ĊĠĠĠ Ġobj Ġmust Satisf y Ġ{ ĊĠĠĠĠĠĠĠ Ġit Ġ` is ` ĠNegative ĊĠĠĠ Ġ} Ċ } Ċ Ċ private Ġfun Ġis Not Negative () Ġ{ ĊĠĠĠ Ġ// Ġgiven ĊĠĠĠ Ġval Ġobj Ġ= Ġ 1 2 ĊĊĠĠĠ Ġ// Ġthen ĊĠĠĠ Ġobj Ġmust Satisf y Ġ{ ĊĠĠĠĠĠĠĠ Ġit Ġis Not ĠNegative ĊĠĠĠ Ġ} Ċ } Ċ Ċ private Ġfun Ġis Between () Ġ{ ĊĠĠĠ Ġ// Ġgiven ĊĠĠĠ Ġval Ġobj Ġ= Ġ 1 2 ĊĊĠĠĠ Ġ// Ġthen ĊĠĠĠ Ġobj Ġmust Satisf y Ġ{ ĊĠĠĠĠĠĠĠ Ġit Ġis Between Ġ 1 0 .. 2 0 ĊĠĠĠ Ġ} Ċ }