From 4bf6a46afbfabe1b9f6189ea722e35e7993b9279 Mon Sep 17 00:00:00 2001
From: Dmitry Jemerov <yole@jetbrains.com>
Date: Wed, 23 May 2012 19:59:25 +0200
Subject: [PATCH] it helps to write what you read

---
 .../jet/lang/psi/stubs/elements/JetClassElementType.java    | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/compiler/frontend/src/org/jetbrains/jet/lang/psi/stubs/elements/JetClassElementType.java b/compiler/frontend/src/org/jetbrains/jet/lang/psi/stubs/elements/JetClassElementType.java
index 5193cd98b27..826842122ab 100644
--- a/compiler/frontend/src/org/jetbrains/jet/lang/psi/stubs/elements/JetClassElementType.java
+++ b/compiler/frontend/src/org/jetbrains/jet/lang/psi/stubs/elements/JetClassElementType.java
@@ -33,6 +33,7 @@ import org.jetbrains.jet.lang.psi.stubs.impl.PsiJetClassStubImpl;
 import org.jetbrains.jet.lang.resolve.name.FqName;
 
 import java.io.IOException;
+import java.util.List;
 
 /**
  * @author Nikolay Krasko
@@ -70,6 +71,11 @@ public class JetClassElementType extends JetStubElementType<PsiJetClassStub, Jet
     public void serialize(PsiJetClassStub stub, StubOutputStream dataStream) throws IOException {
         dataStream.writeName(stub.getName());
         dataStream.writeName(stub.getQualifiedName());
+        final List<String> superNames = stub.getSuperNames();
+        dataStream.writeVarInt(superNames.size());
+        for (String name : superNames) {
+            dataStream.writeName(name);
+        }
     }
 
     @Override