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