<?php if (!defined('DEDEINC')) exit('dedebiz'); /** * This class represents a query result where a given * value was queried but did not exist. */ class ValueNotFound {}