IntegerSet.class.php

Go to the documentation of this file.
00001 <?php
00002 /***************************************************************************
00003  *   Copyright (C) 2007 by Denis M. Gabaidulin                             *
00004  *                                                                         *
00005  *   This program is free software; you can redistribute it and/or modify  *
00006  *   it under the terms of the GNU Lesser General Public License as        *
00007  *   published by the Free Software Foundation; either version 3 of the    *
00008  *   License, or (at your option) any later version.                       *
00009  *                                                                         *
00010  ***************************************************************************/
00011 
00017     final class IntegerSet extends Range
00018     {
00019         public static function create(
00020             $min = PrimitiveInteger::SIGNED_MIN,
00021             $max = PrimitiveInteger::SIGNED_MAX
00022         )
00023         {
00024             return new IntegerSet($min, $max);
00025         }
00026         
00027         public function contains($value)
00028         {
00029             if (
00030                 $this->getMin() <= $value
00031                 && $value <= $this->getMax()
00032             )
00033                 return true;
00034             else
00035                 return false;
00036         }
00037     }
00038 ?>