package manifold.internal.host;

import junit.framework.TestCase;
import manifold.api.gen.SrcClass;
import manifold.internal.javac.ClassSymbols;

/**
 */
public class DefaultSingleModuleTest extends TestCase
{
  public void testMakeSrcClassStub()
  {
    SrcClass srcClass = ClassSymbols.instance( RuntimeManifoldHost.get().getSingleModule() ).makeSrcClassStub( "java.lang.String" );
    StringBuilder sb = new StringBuilder();
    srcClass.render( sb, 0 );
  }
}

@@ -137,16 +137,60 @@
 Symbols;
+%0Aimport manifold.internal.runtime.Bootstrap;
 %0A%0A/**%0A *
@@ -288,16 +288,38 @@
 b()%0A  %7B%0A
+    Bootstrap.init();%0A
     SrcC
@@ -483,24 +483,24 @@
 gBuilder();%0A
-
     srcClass
@@ -517,14 +517,139 @@
 b, 0 );%0A
+    assertTrue( sb.indexOf( %22package java.lang;%22 ) %3E= 0 );%0A    assertTrue( sb.indexOf( %22public final class String %22 ) %3E 0 );%0A
   %7D%0A%7D%0A

fix test