From 7d6364d507b819af5846d88436c2d80187873c26 Mon Sep 17 00:00:00 2001
From: jochen <jochen@379699f6-c40d-0410-875b-85095c16579e>
Date: Sat, 26 Jun 1999 18:26:20 +0000
Subject: [PATCH] support intersecting

git-svn-id: https://svn.code.sf.net/p/jode/code/trunk@917 379699f6-c40d-0410-875b-85095c16579e
---
 jode/jode/type/NullType.java | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/jode/jode/type/NullType.java b/jode/jode/type/NullType.java
index 542f067..1521b66 100644
--- a/jode/jode/type/NullType.java
+++ b/jode/jode/type/NullType.java
@@ -78,6 +78,8 @@ public class NullType extends ReferenceType {
      * @return the intersection, or tError, if a type conflict happens.
      */
     public Type intersection(Type type) {
-	throw new AssertError("NULL.intersection");
+	if (type == this)
+	    return type;
+	return tError;
     }
 }