a small comment improvement

git-svn-id: https://svn.code.sf.net/p/jode/code/trunk@1091 379699f6-c40d-0410-875b-85095c16579e

jode/jode/type/RangeType.java

@@ -53,9 +53,19 @@ import java.util.Hashtable;
  * @date 98/08/06 */
 public class RangeType extends Type {
     /**
-     * The bottom type set.  All types in this range type can be casted
+     * The bottom type set.  It is special in that its interpretation
-     * to all bottom types by a widening cast.  
+     * depends on what ReferenceType class it implements:
-     */
+     *
+     * <dl>
+     * <dt>ClassInterfacesType</dt>
+     * <dd>All types in this range must be widening castable to all interfaces
+     * and to the class in the bottomType</dd>
+     * <dt>ArrayType</dt>
+     * <dd>All types in this range must be of the bottomType, or the
+     * NullType.</dd>
+     * <dt>NullType</dt>
+     * <dd>not allowed</dd>
+     * </dl> */
     final ReferenceType bottomType;
     /**
      * The top type set.  For each type in this range type, there is a