From 6a30f5c91dd7e9f19ff701fffa3d65d34b2c2bf6 Mon Sep 17 00:00:00 2001
From: jochen <jochen@379699f6-c40d-0410-875b-85095c16579e>
Date: Fri, 16 Jul 1999 18:25:09 +0000
Subject: [PATCH] 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 | 18 ++++++++++++++----
 1 file changed, 14 insertions(+), 4 deletions(-)

diff --git a/jode/jode/type/RangeType.java b/jode/jode/type/RangeType.java
index e8686f7..c2eedb2 100644
--- a/jode/jode/type/RangeType.java
+++ b/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
-     * to all bottom types by a widening cast.  
-     */
+     * The bottom type set.  It is special in that its interpretation
+     * 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 
@@ -204,7 +214,7 @@ public class RangeType extends Type {
 
         if ((GlobalOptions.debuggingFlags & GlobalOptions.DEBUG_TYPES) != 0) {
 	    GlobalOptions.err.println("intersecting "+ this +" and "+ type + 
-                                   " to " + result);
+				      " to " + result);
 	}	    
         return result;
     }