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 /* $Id: IntegerSet.class.php 4687 2007-12-09 18:57:18Z voxus $ */
00012 
00018     final class IntegerSet extends Range
00019     {
00020         public static function create(
00021             $min = PrimitiveInteger::SIGNED_MIN,
00022             $max = PrimitiveInteger::SIGNED_MAX
00023         )
00024         {
00025             return new IntegerSet($min, $max);
00026         }
00027         
00028         public function contains($value)
00029         {
00030             if (
00031                 $this->getMin() <= $value
00032                 && $value <= $this->getMax()
00033             )
00034                 return true;
00035             else
00036                 return false;
00037         }
00038     }
00039 ?>

Generated on Sun Dec 9 21:56:23 2007 for onPHP by  doxygen 1.5.4