Ticket #275: java-jvm-6.patch

Source/Members.cobra

@@ -63 +63 @@
     var _matchingBaseMember as IBoxCodeMember?
     var _sharedMethodBacking as String?
     var _sharedMethodBackingIsAlias as bool
+    var _aliasedMethodBacking as String?
     var _binaryName as String?
 
     cue init(token as IToken, idToken as IToken, parentBox as Box, name as String, isNames as String*, attribs as AttributeList)
@@ -108 +109 @@
 
     pro sharedMethodBackingIsAlias from var
 
+    pro aliasedMethodBacking from var
+    
     get testMethods as IList<of TestMethod>
         if _testMethods is nil, _testMethods = List<of TestMethod>()
         return _testMethods to !

Source/BackEndObjC/ObjcBackEnd.cobra

@@ -86 +86 @@
     def cobraNameForNativeBoxName(nativeBoxName as String) as String is override
         return nativeBoxName # TODO
         
+    def isRunnableFile( fullExeFileName as String) as bool is override
+        return true # may need extending
+
     # Types
     get objectTypeProxy as AbstractTypeProxy  is override
         """Type proxy for BE root of Object hierarchy."""

Source/Compiler.cobra

@@ -146 +146 @@
         on the instance.
         """
             
+    def isRunnableFile( fullExeFileName as String) as bool is abstract
+        """Test if given filename is an executable ( vs a library or something else) """
+
     # Native Types access
     def cobraNameForNativeBoxName(name as String) as String is abstract
         """
@@ -259 +262 @@
     def installNativeMethods(box as Box, nativeType as NativeType) is override
         pass
         
+    def isRunnableFile(fullExeFileName as String) as bool is override
+        return true
+        
     # Native Type access
     def cobraNameForNativeBoxName(name as String) as String is override
         return name + '_BBE'
@@ -658 +664 @@
             .options = options
             bar = '----------------------------------------------------------------------------------------------------'
             .initBackEnd
+            
             .defaultOutName = if(.options.buildStandardLibrary, 'Cobra.Lang.dll', fileNames[0])
             _pathsToCompile = fileNames
             hasErrors = false
@@ -1349 +1356 @@
         return type to !
 
     def _libraryType(names as vari String) as IType
-        #print names
+        #trace names
         ns as IContainer = _globalNS
         thing as IContainer? = nil
         for name in names
             possible = (thing ? ns).declForName(name)
             #print name
+            # dbg
+            #if not possible
+            #   trace thing ? ns
+            #   ((thing ? ns) to NameSpace).dumpDeclsNameKeys
             assert possible, name
             if possible inherits IContainer
                 thing = possible

Source/Cobra.Lang/Java/InvariantException.java

@@ +1 @@
+/* 
+ * java code for cobra Invariant exception 
+ *  thrown when an invariant failure detected (Contracts)
+ * 
+ * 
+ */
+
+package cobra.lang;
+
+import java.util.*;
+
+
+public class InvariantException extends AssertException 
+{
+    public InvariantException(/*SourceSite*/ Object sourceSite, 
+              java.util.List<Object> expressions /*dynamic */,  Object thiss, Object info /*dynamic? */) 
+    {
+        this(sourceSite, expressions, thiss, info, null);
+    }
+    
+    public InvariantException(/*SourceSite*/ Object sourceSite, 
+              java.util.List<Object> expressions /*dynamic */, Object thiss, Object info /*dynamic? */, 
+              Exception cause)
+    {
+        super(sourceSite, expressions, thiss, info, cause);
+    }
+}

Source/Cobra.Lang/Java/AssertException.java

@@ -1 +1 @@
 /* 
- * java code for cobra assert exception ( placeholder currently)
- * Initially using java assertion till this is working
+ * java code for cobra assert exception 
+ *  ( Root class of Cobra Assertions and contracts exceptions)
  * 
  * Exceptions for Assertions, contracts, etc.
  */
@@ -10 +10 @@
 import java.util.*;
 
 
-class AssertException extends RuntimeException //implements IHasSourceSite, HasAppendNonPropertyKeyValues
+public class AssertException extends RuntimeException //implements IHasSourceSite, HasAppendNonPropertyKeyValues
 //      has DetailedStackTrace(false)
 {
     protected Object _this;
@@ -36 +36 @@
         _info = info;
     }
     
+    public AssertException(/*SourceSite*/ Object sourceSite, Object[] expressionsArr /*dynamic */, 
+              Object thiss, Object info /*dynamic? */)
+    {
+        this(sourceSite, expressionsArr, thiss, info, null);
+    }
+
+    public AssertException(/*SourceSite*/ Object sourceSite, Object[] expressionsArr /*dynamic */, 
+              Object thiss, Object info /*dynamic?*/, Exception innerExc)
+    {
+        super("assert", innerExc);
+        _sourceSite = sourceSite;
+        _expressions = Arrays.asList(expressionsArr);
+        _this = thiss;
+        _info = info;
+    }
+
     // Property this
     public Object getThis() { return _this; }
     
@@ -142 +158 @@
 */
 
 }
-
-class InvariantException extends AssertException 
-{
-    public InvariantException(/*SourceSite*/ Object sourceSite, 
-              java.util.List<Object> expressions /*dynamic */,  Object thiss, Object info /*dynamic? */) 
-    {
-        this(sourceSite, expressions, thiss, info, null);
-    }
-    
-    public InvariantException(/*SourceSite*/ Object sourceSite, 
-              java.util.List<Object> expressions /*dynamic */, Object thiss, Object info /*dynamic? */, 
-              Exception cause)
-    {
-        super(sourceSite, expressions, thiss, info, cause);
-    }
-}
-
-class RequireException extends AssertException
-{
-    protected RequireException _next;
-
-    public RequireException(/*SourceSite*/ Object sourceSite, 
-              java.util.List<Object> expressions /*dynamic */, 
-              Object thiss, 
-              Object info /*dynamic? */) 
-    {
-        this(sourceSite, expressions, thiss, info, null);
-    }
-    
-    public RequireException(/*SourceSite*/ Object sourceSite, 
-              java.util.List<Object> expressions /*dynamic */,  
-              Object thiss, 
-              Object info /*dynamic? */,
-              Exception cause )
-          {
-              super(sourceSite, expressions, thiss, info, cause);
-          }    
-    
-    //Property RequireException next
-    public RequireException getNext() { return this._next;}
-    public void setNext(RequireException value) { this._next = value; }
-}
-
-
-class EnsureException extends AssertException
-{
-
-    public EnsureException(/*SourceSite*/ Object sourceSite, 
-              java.util.List<Object> expressions /*dynamic */, 
-              Object thiss, 
-              Object info /*dynamic? */) 
-    {
-        this(sourceSite, expressions, thiss, info, null);
-    }
-
-    public EnsureException(/*SourceSite*/ Object sourceSite, 
-              java.util.List<Object> expressions /*dynamic */,  
-              Object thiss, 
-              Object info /*dynamic? */,
-              Exception cause)
-          {
-              super(sourceSite, expressions, thiss, info, cause);
-          }    
-}
-
-class NonNilCastException extends AssertException
-{
-
-    public NonNilCastException(/*SourceSite*/ Object sourceSite, 
-              java.util.List<Object> expressions /*dynamic */, 
-              Object thiss, 
-              Object info /*dynamic? */) 
-    {
-        this(sourceSite, expressions, thiss, info, null);
-    }
-
-
-    public NonNilCastException(/*SourceSite*/ Object sourceSite, 
-              java.util.List<Object> expressions /*dynamic */,  
-              Object thiss, 
-              Object info /*dynamic? */,
-              Exception cause )
-          {
-              super(sourceSite, expressions, thiss, info, cause);
-          }    
-
-    @Override
-    public String getMessage() {
-        return String.format("Cast to non-nil failed.%s%s", this.nl, super.getMessage() ) ;
-    }
-}
-
-
-
-/*  ## Misc exceptions
-
-    class ExpectException inherits Exception
-
-        cue init(expectedExceptionType as Type, actualException as Exception?)
-            base.init
-            _expectedExceptionType = expectedExceptionType
-            _actualException = actualException
-    
-        get expectedExceptionType from var as Type
-    
-        get actualException from var as Exception?
-
-        get message as String? is override
-            sb = StringBuilder()
-            sb.append('Expecting exception: [_expectedExceptionType.name], but ')
-            if _actualException
-                sb.append('a different exception was thrown: [_actualException]')
-            else
-                sb.append('no exception was thrown.')
-            return sb.toString
-
-
-    class FallThroughException inherits Exception
-
-        cue init
-            .init(nil)
-            pass
-
-        cue init(info as Object?)
-            base.init
-            _info = info
-
-        cue init(info as Object?, innerExc as Exception?)
-            base.init(nil, innerExc)
-            _info = info
-
-        get message as String is override
-            return 'info=[CobraCore.toTechString(_info)]'
-
-        get info from var as Object?
-
-
-    class SliceException inherits SystemException
-
-        cue init(msg as String?)
-            base.init
-*/

Source/Cobra.Lang/Java/EnsureException.java

@@ +1 @@
+/* 
+ * java code for cobra Ensure exception
+ * thrown when a contracts postcondition fails.
+ */
+
+package cobra.lang;
+
+import java.util.*;
+
+
+public class EnsureException extends AssertException
+{
+
+    public EnsureException(/*SourceSite*/ Object sourceSite, 
+              java.util.List<Object> expressions /*dynamic */, 
+              Object thiss, 
+              Object info /*dynamic? */) 
+    {
+        this(sourceSite, expressions, thiss, info, null);
+    }
+
+    public EnsureException(/*SourceSite*/ Object sourceSite, 
+              java.util.List<Object> expressions /*dynamic */,  
+              Object thiss, 
+              Object info /*dynamic? */,
+              Exception cause)
+          {
+              super(sourceSite, expressions, thiss, info, cause);
+          }    
+}
+

Source/Cobra.Lang/Java/PkgSig.java

@@ -279 +279 @@
         int m = theClass.getModifiers();
         //if( java.lang.reflect.Modifier.isPublic(m) )
         //if( ! java.lang.reflect.Modifier.isPrivate(m) )
-        if(  Modifier.isPublic(m) || Modifier.isProtected(m) )
+        if(  Modifier.isPublic(m) || Modifier.isProtected(m) ) {
             allClasses.add( theClass );
-
+        }
+                                    
+        // special case for pkgPrivate java.lang.AbstractStringBuilder parent of public String{Buffer,Builder}
+        if ( ClassSig.isPkgPrivate(m) && theClass.getName().equals("java.lang.AbstractStringBuilder") ) {
+            allClasses.add( theClass );
+        }
+                                          
         // skip interfaces
         //if( theClass.isInterface() ){
         //  continue;
@@ -475 +481 @@
         this.indent--;
     }
     
-    public boolean isPkgPrivate(int m) {
+    static public boolean isPkgPrivate(int m) {
         // if (!cobraGen)
         //  return false
 
@@ -601 +607 @@
                 printIndent();
                 String typeName = f.getType().getName();
                 System.out.printf("%s\n", typeName);
-                if ( f.getType().isEnum()) {
+                //if ( f.getType().isEnum()) {
+                if ( f.isEnumConstant()) {
                     this.indent++;
                     printIndent();
                     System.out.printf("%d\n", Enum.valueOf( this.cls, f.getName()).ordinal() );

Source/Cobra.Lang/Java/DynamicOperationException.java

@@ -14 +14 @@
    // The base class for all dynamic operation exceptions.
    //"""
 
-    public DynamicOperationException(String message) { this(message, nil); }
-    public DynamicOperationException(String message, cause as Exception ) {super(message, cause); }
+    public DynamicOperationException(String message) { this(message, null); }
+    public DynamicOperationException(String message, Exception cause) {super(message, cause); }
 }
 
 class CannotEnumerateException extends DynamicOperationException 
 {
-    public CannotEnumerateException (String message) {this(message, nil); }
+    public CannotEnumerateException (String message) {this(message, null); }
     public CannotEnumerateException (String message, Exception cause) {super(message, cause); }
 }       
         
@@ -30 +30 @@
     protected String _name;
     Class _type;
 
-    public UnknownMemberException(Object obj, String name as String, Class type) {  this(obj, name, type, nil);}
-    public UnknownMemberException(Object obj, String name as String, Class type, Exception cause) 
+    public UnknownMemberException(Object obj, String name, Class type) {  this(obj, name, type, null);}
+    public UnknownMemberException(Object obj, String name, Class type, Exception cause) 
     {
     super(String.format("obj=%s, name=%s, type=%s", 
                   CobraCore.toTechString(obj), CobraCore.toTechString(name), type),
               cause);
         this._obj = obj;
         this._name = name;
-        this.type = type;
+        this._type = type;
     }
 }
 

Source/Cobra.Lang/Java/mkjarOnly

@@ -5 +5 @@
 
 [ -d classes ] || mkdir classes
 [ -d classes/cobra/lang ] && rm -rf classes/cobra/lang/*
-javac -d classes SourceSite.java CobraImp.java CobraCore.java Delegate.java AssertException.java CobraDirectString.java
+EXCEPTIONS="AssertException.java InvariantException.java RequireException.java EnsureException.java NonNilCastException.java DynamicOperationException.java"
+javac -d classes SourceSite.java CobraImp.java CobraCore.java Delegate.java ${EXCEPTIONS} CobraDirectString.java
 [ $? == 0 ] || exit
 jar cvf CobraLang.jar -C classes .
 [ $? == 0 ] || exit

Source/Cobra.Lang/Java/NonNilCastException.java

@@ +1 @@
+/* 
+ * java code for cobra NonNil Cast exception.
+ * Thrown when Null check for non nullable instance fails. 
+ */
+
+package cobra.lang;
+
+import java.util.*;
+
+
+public class NonNilCastException extends AssertException
+{
+
+    public NonNilCastException(/*SourceSite*/ Object sourceSite, 
+              java.util.List<Object> expressions /*dynamic */, 
+              Object thiss, 
+              Object info /*dynamic? */) 
+    {
+        this(sourceSite, expressions, thiss, info, null);
+    }
+
+
+    public NonNilCastException(/*SourceSite*/ Object sourceSite, 
+              java.util.List<Object> expressions /*dynamic */,  
+              Object thiss, 
+              Object info /*dynamic? */,
+              Exception cause )
+          {
+              super(sourceSite, expressions, thiss, info, cause);
+          }    
+
+    @Override
+    public String getMessage() {
+        return String.format("Cast to non-nil failed.%s%s", this.nl, super.getMessage() ) ;
+    }
+}
+
+
+
+/*  ## Misc exceptions
+
+    class ExpectException inherits Exception
+
+        cue init(expectedExceptionType as Type, actualException as Exception?)
+            base.init
+            _expectedExceptionType = expectedExceptionType
+            _actualException = actualException
+    
+        get expectedExceptionType from var as Type
+    
+        get actualException from var as Exception?
+
+        get message as String? is override
+            sb = StringBuilder()
+            sb.append('Expecting exception: [_expectedExceptionType.name], but ')
+            if _actualException
+                sb.append('a different exception was thrown: [_actualException]')
+            else
+                sb.append('no exception was thrown.')
+            return sb.toString
+
+
+    class FallThroughException inherits Exception
+
+        cue init
+            .init(nil)
+            pass
+
+        cue init(info as Object?)
+            base.init
+            _info = info
+
+        cue init(info as Object?, innerExc as Exception?)
+            base.init(nil, innerExc)
+            _info = info
+
+        get message as String is override
+            return 'info=[CobraCore.toTechString(_info)]'
+
+        get info from var as Object?
+
+
+    class SliceException inherits SystemException
+
+        cue init(msg as String?)
+            base.init
+*/

Source/Cobra.Lang/Java/RequireException.java

@@ +1 @@
+/* 
+ * java code for cobra Require exception  
+ * thrown when a contract precondition test fails
+ */
+
+package cobra.lang;
+
+import java.util.*;
+
+
+public class RequireException extends AssertException
+{
+    protected RequireException _next;
+
+    public RequireException(/*SourceSite*/ Object sourceSite, 
+              java.util.List<Object> expressions /*dynamic */, 
+              Object thiss, 
+              Object info /*dynamic? */) 
+    {
+        this(sourceSite, expressions, thiss, info, null);
+    }
+    
+    public RequireException(/*SourceSite*/ Object sourceSite, 
+              java.util.List<Object> expressions /*dynamic */,  
+              Object thiss, 
+              Object info /*dynamic? */,
+              Exception cause )
+          {
+              super(sourceSite, expressions, thiss, info, cause);
+          }    
+    
+    //Property RequireException next
+    public RequireException getNext() { return this._next;}
+    public void setNext(RequireException value) { this._next = value; }
+}
+

Source/Cobra.Lang/Java/CobraImp.java

@@ -77 +77 @@
         return s;
     }
     
-    static public Object checkNonNil(Object obj, String sourceCode, Object value, /* SourceSite */ String fileName, int lineNum, String className, String memberName, Object thiss) 
+    @SuppressWarnings("unchecked")
+    static public <T> List<T> makeList(T... args) {
+    return new ArrayList<T>(Arrays.asList(args));
+    }
+    
+    /*
+    @SuppressWarnings("unchecked")
+    static public <T> List<T> makeList(T... args) {
+    List<T> l = new ArrayList<T>();
+        for (T arg : args) {
+            l.add(arg);
+        }
+        return l;
+    }
+    */
+    
+    @SuppressWarnings("unchecked")
+    static public <T> Set<T> makeSet(T... args) {
+        return new HashSet<T>(Arrays.asList(args));
+    }
+    
+    @SuppressWarnings("unchecked") 
+    static public <K,V> Map<K,V> makeDict( Object... args) {
+    Map<K,V>  d = new HashMap<K,V>();
+    for (int i=0; i<args.length; i+=2)
+            d.put((K)args[i], (V)args[i+1]); //[unchecked] warning here
+    return d;
+    }
+    
+
+    static public <T> T checkNonNil(Object obj, String sourceCode, T value, /* SourceSite */ String fileName, int lineNum, String className, String memberName, Object thiss) 
     {
         // used for "x to !" and "someNilable to SomethingNotNilable"
         if (value == null) {

Source/Container.cobra

@@ -169 +169 @@
         body
             #print _declsByName.keys
             return if(_declsByName.containsKey(name), _declsByName[name], nil)
-
+            
+    # for debug
+    def dumpDeclsNameKeys
+        print _declsByName.keys
+        
     def declForName(name as String) as IMember?
         implements IContainer
         return if(_declsByName.containsKey(name), _declsByName[name], nil)

Source/BackEndClr/ClrBackEnd.cobra

@@ -142 +142 @@
     def fixMemberSigs is override
         .compiler.dotNetFixNilableMemberSigs # in ScanClrType
         
+    def isRunnableFile(fullExeFileName as String) as bool is override
+        """Test if filename is runnable ( vs a library or something else) """
+        return fullExeFileName.endsWith('.exe')
+
     # Types
     get objectTypeProxy from var  is override
         """Type proxy for BE root of Object hierarchy."""

Source/Types.cobra

@@ -1340 +1340 @@
 
     def isDescendantOf(type as IType) as bool
         return base.isDescendantOf(type) and _wrappedType.isDescendantOf(type)
-        
+        # shouldnt the above conjunction be an 'or' ??
+
     def isEquatableTo(b as IType) as bool is override
         if b inherits NilType
             return true

Source/BackEndJvm/JvmJarSig.cobra

@@ -26 +26 @@
             """All classes found in all jars keyed by canonical/full name."""
             
     
-        var nameRemaps = {
+        var virtualNameRemaps = {
             'java.lang.Decimal' : 'java.lang.Double', # BigDecimal eventually with (lotta) codegen support
             'java.lang.UByte'   : 'java.lang.Short',
             'java.lang.UShort'  : 'java.lang.Integer',
@@ -42 +42 @@
             This is intended to be the only way to access the JarSig classCache contents from outside this file.
             """
             assert fullCobraName[0].isUpper
-            #fullCobraName = .nameRemaps.get(fullCobraName, fullCobraName)
+            #fullCobraName = .virtualNameRemaps.get(fullCobraName, fullCobraName)
             parts = fullCobraName.split('.')
             for i in 0: parts.length-1
                 parts[i] = parts[i][0].toLower.toString + parts[i][1:]
@@ -188 +188 @@
         _genTypesList
         _aliasPrimitives
 
+        if jarName == 'rt.jar'  # special for system jarfile
+            # these name remaps will probably need some codegen special handling. 
+            _dupVirtuals
+            _nonGenericCommon
+
+            
+
     def _genTypesList
         jarName = if(.name.endsWith('.sig'), .name[:-4], .name)
         fileName = JarSig.sigFile(jarName)
@@ -236 +243 @@
         JarSig.classByNameCache['float']   = JarSig.classByNameCache['java.lang.Float'] 
         JarSig.classByNameCache['double']  = JarSig.classByNameCache['java.lang.Double'] 
             
-        # these name remaps will probably need some codegen special handling. 
-        _dupVirtuals
-        _nonGenericCommon
-
     def _dupVirtuals
-        for dupName in .nameRemaps.keys
-            dupOf = .nameRemaps[dupName]
+        # Make cache and jar export entries for virtualised types that dont exist in java
+        # but cobra has and expects to be distinct. They get remapped to an existing Java Type
+        for dupName in .virtualNameRemaps.keys
+            dupOf = .virtualNameRemaps[dupName]
             _dupClassTo(dupOf, dupName)
             
     def _nonGenericCommon       
-        #pass
+        # spoof generic Instances for cobra non generic Types that java genericises
         #   'java.util.Collection'   : 'java.util.Collection<Object>',
         #_dupClassTo( 'java.util.Collection', 'java.util.Collection<Object>')
         _makeGenericInstance('java.util.Collection<Object>')  # for ICollection/Java.Util.Collection<of Object>
         # probably others yet
                 
     def _dupClassTo(dupOfName as String, asName as String)
-        ct = JarSig.classByNameCache[dupOfName] 
-        parts = asName.split('.')
-        name = parts[parts.length-1]
-        package = parts[0:-1].join('.') # all but last
-        ct = ct.copy(name, package)
-        JarSig.classByNameCache[asName] = ct
+        if JarSig.classByNameCache.containsKey(asName) # already cached
+            ct = JarSig.classByNameCache[asName] 
+        else
+            ct = JarSig.classByNameCache[dupOfName] 
+            parts = asName.split('.')
+            name = parts[parts.length-1]
+            package = parts[0:-1].join('.') # all but last
+            ct = ct.copy(name, package)
+            JarSig.classByNameCache[asName] = ct
         _javaTypes.add(ct)
         
     def _makeGenericInstance(fullName as String)
         # cached AND exposed to namespace
         assert fullName.contains('<')
-        .addGenericInstClass(fullName)
+        if not JarSig.classByNameCache.containsKey(fullName) # already cached
+            .addGenericInstClass(fullName)
         giCls = JarSig.classByNameCache[fullName]
-        print giCls.canonicalName
+        #print giCls.canonicalName
         _javaTypes.add(giCls)
-            #_registerClassType(giCls)  
         
     def getExportedTypes as JavaClassType*
         return _javaTypes
@@ -403 +411 @@
                 field.modifiers = _parseList(_popTop(lines), [c' '])
                 field.typeName = _popTop(lines)
                 if type == JavaType.JavaEnum  and field.typeName == absName #'[pkg].[name]'
-                    field.value = _popTop(lines)    
+                    t = _peekTop(lines)
+                    if t.length - t.trimStart.length > 8 
+                        field.value = _popTop(lines)    
                 #field.attributes = _parseList(_popTop(lines))
                 fieldList.add(field)
 
@@ -486 +496 @@
                 if not e.length, continue
             break
         return e.trim
+
+    def _peekTop(content as List<of String>) as String is shared    
+        if content.count == 0
+            return ''
+        return content[0]
+            
         
     # property: get<Propname> and no paramList and returnType is Property Type or
     #           is<PropName> and no paramList and returnType is bool
@@ -602 +618 @@
         # special case naming weirdnesses of Java lib classes
         if .canonicalName == 'java.lang.String'
             getterName, setterName = 'charAt', ''
+        else if .canonicalName.startsWith('java.util.List`')
+            getterName, setterName = 'get', 'set'
+        else if .canonicalName.startsWith('java.util.Map`')
+            getterName, setterName = 'get', 'put'
         else 
             for ifcName in .interfaceNames # TODO also chase up interface inheritance tree
-                if ifcName.startsWith('java.util.List')
+                if ifcName.startsWith('java.util.List`')
                     getterName, setterName = 'get', 'set'
-                else if ifcName.startsWith('java.util.Map')
+                else if ifcName.startsWith('java.util.Map`')
                     getterName, setterName = 'get', 'put'
 
         #TODO also check for specially annotated methods
@@ -614 +634 @@
         assert getterName.length
         getMethod, setMethod = _lookForMethods(getterName, setterName)
         if getMethod or setMethod
-            idxrProp = _genAProp('_synthesizedIdxr', getMethod, setMethod, true)
+            idxrProp =  _genAProp('[.canonicalName]_synthesizedIdxr', getMethod, setMethod, true)
             _props.add(idxrProp)
             _indexer = idxrProp
-            print 'dbg: [.canonicalName] has IndexerMethods [getterName] and [setterName] '
+            sb = StringBuilder('= ')
+            if getMethod
+                sb.append(getterName)
+                if setMethod, sb.append(',')
+            if setMethod
+                sb.append(setterName)
+            print 'dbg: [.canonicalName] indexerMethods [sb.toString] '
         #else
         #   print 'dbg: No IndexerMethods [getterName]/[setterName] on [.canonicalName]'
                 
@@ -1150 +1176 @@
         sb = StringBuilder('def [nampar] ')
         if .returnTypeName.length
             sb.append('as [.returnTypeName] ')
+        else
+            sb.append('as ??? ')
         if .modifiers.count 
             sb.append('is ')
             sep=''

Source/BackEndJvm/to-do.text

@@ -3 +3 @@
 Require Base version Java to be java7
     gain strings in case stmt for free (!)
 
+Indexers on Generics ( List<of String>)
+    - Not recognising/setup indexer record on JavaClass (or searching inheritance hier List<String> ^ List<E>...
+    - seems to be missing NativeType entry should be List<of String> -> List<String>
+    - (unfortunately) like commandLineArgs (065j-indexing.cobra)
 
+Add code for generating attributes from 'has XXXXX'
+    -  chk cobra syntax allows AttribName(value[, value]) like ctor not just AttribName ?
+
+executable autgen jarfile
+    gen srcs into own dir ./java
+    compile classes into own dir    ./classes
+    generate exe jarfile ( auto manifest file)  ./<exename>.jar
+        remove unlise -kif generated java files
+        remove intermediate classfiles
+   run as  java -cp '<otherRefs...>' -jar App.jar args....    
+
 include-tests:no - remove Test invocation call
 
 
 _fixNativeMethods - static method entries on box instance
 
 
-fixup Object namespace for X-compile so items like System.Object are rooted off
-java.lang namespace ( rather than .Net system)
-    DONE  June-2011
+Get Testifyrunner working on java gen
 
 passthru compilation of *.java files 
     - seems to work for single files But
         - calc of main class fm passthru *.java files
     
-computeOutName from name of main class (or first/only) class in file rather
-than permutation of input name
-    DONE 31-Jan-2011
-    
 
 cobra namespaces capitalized (as .Net) Java all lowercase
     - convert namespaces in java code to lowcase
@@ -41 +50 @@
         ( look for calls to .capitalized)       
         DONE (I think)
 
-remove all uses of ClrNativeType in core compiler ( ->NativeType??)
-    Compiler/Enums/Types.cobra
-    DONE
-
 properties - pro/get/set
     - auto convert to java getters/setters and map calls
     - Whats the equiv for indexers?
@@ -107 +112 @@
     If lookup for name fails see if sig matches extension and remap call to extn static class method
 
 
-Parse error lines fm java giving source line, find (trailing comment) cobra
-line number and modify the java error msg line with the cobra lineno
-printing  that in any java error mesages so to relate the java error back 
-to the generating cobra code line.
-  - start with just spew the javac lines to output
-    - assemble into ErrorMessage Line and 'supporting lines associated with it - keeps error line count in sync
-    DONE
 
 
 single file:
@@ -122 +120 @@
     run class file
  
 If specify multiple files
-    generate thm all to java src in in namespace dir hier
-    compile to class files ( in class dir hier)
+    generate them all to java src in in namespace dir hier
+    compile to class files (in class dir hier)
     generate manifest file and generate classfiles to jar file
     Leave jar file at root of hierarchy
-    
+ -> single or multiple files just gen an executable jarfile   
 
 add synonym for sharp''/sharp"" -> java''/java""
     or general be''/be""/backend'' (for backend)
@@ -145 +143 @@
     java specify with @interface and Metainfo 
         e.g @Documented //we want the annotation to show up in the Javadocs 
             @Retention(RetentionPolicy.RUNTIME))
-
+        
 Java has Set in its collections framework so use that instead of Cobra lib version.
 
 Cobra methods nonVirtual (C# not marked virtual) in java mark as final (Cannot redefine or override).
@@ -217 +215 @@
 
     Instead use google collections/Guava
         - support for List, Set and Map literals
+            com.google.common.collect
+            l = [lit,lit,...]   List<InferredType> l = Lists.newArrayList<InferredType>( lit, lit, ....);
+                OR        (immutable)      List<InferredType> l = new ArrayList<InferredType>( Arrays.asList(lit, lit, ....));            
+                          (mutable)        List<InferredType> l = new ArrayList<InferredType>( new ArrayList(Arrays.asList(lit, lit, ....)));            
+
+            m = {a:b, ...}      Map<InferredK, InferredV> m = Maps.newHashMap<>(); m.put(a,b); ...
+                (Immutable - up to 5 entries)    ImmutableMap<InferredfTypeKey,InferredTypeValue> m = ImmutableMap.of(a, b, ...);
+                (Immutable any #)  ImmutableMap<InferredfTypeKey,InferredTypeValue> m = ImmutableMap.Builder<InferredfTypeKey,InferredTypeValue>().put(a, b)... (.put(c.d)...}.build();
+                (Mutable) Make immutable map and 
+                          Map m = new HashMap<inferredK,inferredV>(immutableMap) OR
+                          Map m = Maps.newHashMap<inferredK,inferredV>(mutableMap)
+                OR
+                add CobraMutableMap<K,V> inherits HashMap - adds ctor taking varargs list of k,v)
+                    Map m = new CobraMutableMap<K,V>(a,b,...)
+                OR static factory 
+                    CobraCore.fillHashMap(new HashMap<K,V>(), a,b,...)
+                OR  (http://blogs.steeplesoft.com/2011/10/funky-object-initialization/ )
+                    Map m = new HashMap<inferredK,inferredV>() { { 
+                    put(a,b); 
+                    ...;
+                    } };   
+            Wait for Java8 and hope have implemented List and Map literals   
+              
         - Simple file reading API
 
+
+
 ensure support ( as builtin alternative) for jikes compiler.
         https://sourceforge.net/projects/jikes/files/Jikes/    
 
@@ -484 +507 @@
 
 = Other back ends =
 Fantom : compile to jvm or dotNet
+
+-----------------------------------------------
+Done
+fixup Object namespace for X-compile so items like System.Object are rooted off
+java.lang namespace ( rather than .Net system)
+    DONE  June-2011
+
+
+computeOutName from name of main class (or first/only) class in file rather
+than permutation of input name
+    DONE 31-Jan-2011
+    
+remove all uses of ClrNativeType in core compiler ( ->NativeType??)
+    Compiler/Enums/Types.cobra
+    DONE
+
+Parse error lines fm java giving source line, find (trailing comment) cobra
+line number and modify the java error msg line with the cobra lineno
+printing  that in any java error mesages so to relate the java error back 
+to the generating cobra code line.
+  - start with just spew the javac lines to output
+    - assemble into ErrorMessage Line and 'supporting lines associated with it - keeps error line count in sync
+    DONE
+

Source/BackEndJvm/ScanJvmType.cobra

@@ -184 +184 @@
         _fix('Java.Lang.Object', 'toString getClass clone')
             # ^ regarding .toString, not technically true, but common enough and life is too painful when the return type is nilable
         #_fix('java.lang.System', 'out') #stdout
-        _fix('Java.Lang.String', 'concat remove replace replaceAll replaceFirst substring toLowerCase toUpperCase trim format')
+        _fix('Java.Lang.String', r'[] length charAt concat remove replace replaceAll replaceFirst substring toLowerCase toUpperCase trim format')
         #_fix('System.Type', 'assembly name toString')
             # namespace can return nil if the Type is a generic parameter
         #_fix('System.Environment', 'commandLine currentDirectory newLine version')
@@ -340 +340 @@
         return .name == 'Exception' and .parentNameSpace and .parentNameSpace.fullName == 'Java.Lang'
 
     def prepSystemObjectClassJvm
-        # TODO chk thats this has desired result.
+        # TODO chk thats this has desired result. 
         # map method getType to java getClass
         # C#'s typeof(X) is X.getType in Cobra.
         #existing = .declForName('getClass') to BoxMember
         #overload = MemberOverload(existing)
         #.registerOverload(overload)
         meth = Method(TokenFix.empty, TokenFix.empty, this, 'getType', List<of Param>(), .compiler.typeTypeProxy, nil, ['shared'], AttributeList(), 'Returns the Type instance that defines this type.')
-        meth.sharedMethodBacking = 'getClass' 
+        meth.aliasedMethodBacking = 'getClass' 
         #meth.sharedMethodBackingIsAlias = true # not static
         #overload.addMember(meth)
         .addDecl(meth)
@@ -398 +398 @@
             if (lastDecl to Object).getType.getProperty('ParentBox')  # CC: if lastDecl responds to (get parentBox as Box?)
                 lastDecl.parentBox = this
 
-
+    def _isStaticConstant( fi as JavaFieldInfo) as bool
+        return fi.isStatic or fi.name == fi.name.toUpper
+        
     def _scanJvmFields
         for fieldInfo in _jvmType.getFields
             #if fieldInfo.declaringType is not _jvmType, continue
             if fieldInfo.isDefault, continue    # pkgprivate
             if fieldInfo.isPrivate, continue
-            name = Utils.cobraNameForNativeMemberName(fieldInfo.name)
+            # Unlike C# leave all static constant fieldnames ((mostly) upcase) as is
+            name = if( _isStaticConstant(fieldInfo), fieldInfo.name, Utils.cobraNameForNativeMemberName(fieldInfo.name))
             type = _jvmMemberTypeResultProxy(fieldInfo, fieldInfo.type)
             attrs = AttributeList()
             if fieldInfo.isProtected
@@ -490 +493 @@
             if propInfo.isWritable
                 prop.makeSetPart(TokenFix.empty)
             if _declsByName.containsKey(prop.name) # for            # Double.naN
-                print 'DUP name exists already for property "[prop.name]" on', /#_declsByName[prop.name],#/ .name
+                # unfortunately its common for java libs to use method length() rather than getLength()
+                # lose this when enable postSigFixups handling
+                if prop.name <> 'length'
+                    print 'DUP name exists already for property "[prop.name]" on', /#_declsByName[prop.name],#/ .name
                 return # just drop the property; field or method still available
             .addDecl(prop)
 

Source/BackEndJvm/JvmBackEnd.cobra

@@ -41 +41 @@
             'bool'  :  'Java.Lang.Boolean',  # boolean
             'char'  :  'Java.Lang.Character',# char
             'decimal': 'Java.Lang.Decimal', #  virtualised -> Double
+            'float':   'Java.Lang.Float',   # float 
+            'float32': 'Java.Lang.Float',   # float 
+            'float64': 'Java.Lang.Double',  # double    
             'single':  'Java.Lang.Float',   # float 
             'double':  'Java.Lang.Double',  # double    
             'sbyte' :  'Java.Lang.Byte',    # byte
@@ -169 +172 @@
     def cobraNameForNativeBoxName(nativeBoxName as String) as String is override
         return JvmTypeProxy.cobraNameForJvmBoxName(nativeBoxName)
     
+    def isRunnableFile( fullExeFileName as String) as bool is override
+        """Test if filename is runnable ( vs a library or something else) """
+        return fullExeFileName.endsWith('.class') or fullExeFileName.endsWith('.jar')
+
     # Types
     get objectTypeProxy as AbstractTypeProxy  is override
         """Type proxy for BE root of Object hierarchy."""

Source/BackEndJvm/JavaCompilationMessage.cobra

@@ -17 +17 @@
     var _fileName as String?
     var _lineNum as int?
     var _isError as bool
-
+    var _lpad = -1
+    
     cue init(line as String, compiler as Compiler)
         require not .willSkipMessage(line)
         base.init(line)
@@ -35 +36 @@
         _message = _cleanUp(line)
 
     def append(line as String, compiler as Compiler)
-        line = line.trim
+        #line = line.trim
+        if _lpad == -1
+            lineTrim = line.trimStart
+            _lpad = line.length - lineTrim.length
+            line = line.trim
+        else if line.trim == '^'
+            line = line[_lpad:]
         _message += '\n >: ' + line
         if System.Text.RegularExpressions.Regex.isMatch(line, r'// \d+\s*$')
             lidx = line.lastIndexOf('//')

Source/BackEndJvm/JavaGenerator.cobra

@@ -178 +178 @@
     def _parseJavaCompilerOutput(output as String)
         jcm as JavaCompilationMessage? = nil
         for line in output.split(c'\n')
-            line = line.trim
-            if not line.length, continue
+            line0 = line.trim
+            if not line0.length, continue
             if JavaCompilationMessage.willSkipMessage(line)
                 if jcm, jcm.append(line, this)
                 continue
@@ -511 +511 @@
         return .fullName + .javaSuffix
 
     get javaQualifier as String
-        ensure result.endsWith('.')
-        # TODO : Fix this with correct Namespace setup for java
-        #if .fullName == 'System'
-        #   return 'java.lang.'
+        ensure result.endsWith('.') or result.length == 0
+        # suppress naming of 'global' default namespace
+        if .fullName.toLower == 'global'
+            return ''
         javaName =  .fullName.toLower # java idiom is all lowercase for packages
         return  javaName + .javaSuffix + '.'
     
@@ -1914 +1914 @@
         .writeJavaSetLine(sw)
         .writeJavaDef(sw)
 
-
 class AssertStmt is partial
 
     def writeJavaDef(sw as CurlyWriter)
@@ -1922 +1921 @@
         if not .compiler.options.boolValue('include-asserts')
             return
         sw.write('if (cobra.lang.CobraCore._willCheckAssert')
-        # TODO - implement cobra assertions - needs cobra assertException + Sourcesite
-        /# 
+         
         sw.write(' && !')
         _expr.writeJavaDef(sw)
         sw.write(')\n')
         sw.indent
         
-        # TODO later Implement SourceSite and CobraLang AssertException 
         sw.write('throw new cobra.lang.AssertException([.javaSourceSite], ')
         _expr.writeJavaBreakdown(sw)
         sw.write('[.javaThis], ')
@@ -1939 +1936 @@
             sw.write('null')
         sw.write(');\n')
         sw.dedent
-        #/
         
+        /#
         # use java asserts initially at least
         sw.write(')\n')
         sw.indent
@@ -1962 +1959 @@
             _info.writeJavaDef(sw)
         sw.write(';\n')
         sw.dedent
+        #/
 
-
 class BlockStmt is partial
 
     def writeJavaDef(sw as CurlyWriter)
@@ -2094 +2091 @@
 
 
 class OldForNumericStmt is partial
+    # We dont support this in Java
 
-    def writeJavaDef(sw as CurlyWriter)
+    def writeJavaDef(sw as CurlyWriter) is override
+        varName = _var.javaName
+        sw.write('Error-Old-Numeric-Form-unsupported;\n')
+        sw.write('// Old Numeric For form is obsolete and not supported - convert cobra code to new form "for [varName] in start : stop : step "\n')
+        sw.write('// Should become something like "for [varName] in ')
+        _start.writeJavaDef(sw)
+        sw.write(':')
+        _stop.writeJavaDef(sw)
+        if _step
+            sw.write(':')
+            _step.writeJavaDef(sw, false)           
+        sw.write('"\n')
+        /#
         base.writeJavaDef(sw)
         varName = _var.javaName
         trackLocals = .compiler.willTrackLocals
@@ -2129 +2139 @@
                 else, sw.write('[varName]--')
         sw.write(')')
         _block.writeJavaDef(sw)
+        #/
 
-
 class ForNumericStmt is partial
 
     def writeJavaDef(sw as CurlyWriter)
@@ -2375 +2385 @@
                 sw.write(';\n')
         else
             sw.write('return;\n')
+            
+class TraceStmt
+    is partial
 
+    pass
 
+
+class TraceLocationStmt
+    is partial
+
+    def writeJavaDef(sw as CurlyWriter)
+        base.writeJavaDef(sw)
+        if .includeTraces
+            sw.write('CobraLangInternal.CobraCore.Tracer.Trace([.javaSourceSite]);\n')
+
+
+class TraceAllStmt
+    is partial
+
+    def writeJavaDef(sw as CurlyWriter)
+        base.writeJavaDef(sw)
+        if .includeTraces
+            sw.write('CobraLangInternal.CobraCore.Tracer.Trace([.javaSourceSite], "this", [_codePart.javaThis]')
+            for param in _codePart.params
+                sw.write(', "[param.name]", [param.javaName]')
+            for local in _codePart.locals
+                sw.write(', "[local.name]", [local.javaName]')
+            sw.write(');\n')
+
+
+class TraceExprsStmt
+    is partial
+
+    def writeJavaDef(sw as CurlyWriter)
+        base.writeJavaDef(sw)
+        if .includeTraces
+            sw.write('CobraLangInternal.CobraCore.Tracer.Trace([.javaSourceSite]')
+            sep = ', '
+            for expr in _exprs
+                sw.write('[sep][Utils.javaStringLiteralFor(expr.toCobraSource)][sep]')
+                expr.writeJavaDef(sw, false)
+            sw.write(');\n')
+            
+
+class UsingStmt
+    is partial
+
+    def writeJavaDef(sw as CurlyWriter)
+        base.writeJavaDef(sw)
+        name = _var.javaName
+        sw.write('// using - needs work\n')
+        # should extend this so takes an initialisation block rather than single initExpr
+        sw.write('try ')
+        sw.write('[name] = ')
+        _initExpr.writeJavaDef(sw)
+        sw.write(';\n')
+        _block.writeJavaDef(sw)
+        
+        # by hand ( w/o java7
+        if false
+            sw.write('[name] = ')
+            _initExpr.writeJavaDef(sw)
+            sw.write(';try\n')
+            _block.writeJavaDef(sw)
+            sw.write('finally {\n')
+            sw.indent
+            if _var.type.isReference
+                sw.write('if ([name]!=null) { ((java.lang.AutoCloseable)[name]).close(); [name] = null; }\n')
+            else
+                sw.write('((java.lang.AutoCloseable)[name]).close();\n')
+            sw.dedentAndWrite('}\n')
+
+
+class WhileStmt
+    is partial
+
+    def writeJavaDef(sw as CurlyWriter)
+        base.writeJavaDef(sw)
+        sw.write('while (')
+        _expr.writeJavaDef(sw, false)
+        sw.write(')')
+        _block.writeJavaDef(sw)
+
+
+class PostWhileStmt
+    is partial
+
+    def writeJavaDef(sw as CurlyWriter) is override
+        # base.writeSharpDef(sw) - don't generate the other form of while loop
+        sw.write('do')
+        _block.writeJavaDef(sw, false)
+        sw.dedent
+        sw.write('} while (')
+        _expr.writeJavaDef(sw, false)
+        sw.write(');\n')
+        
+class YieldStmt
+    is partial
+
+    pass
+
+
+class YieldBreakStmt
+    is partial
+
+    def writeJavaDef(sw as CurlyWriter)
+        base.writeJavaDef(sw)
+        sw.write('yield break;\n')
+
+
+class YieldReturnStmt
+    is partial
+
+    def writeJavaDef(sw as CurlyWriter)
+        base.writeJavaDef(sw)
+        ensurePart = .compiler.curCodeMember.ensurePart
+        willEnsure = ensurePart and ensurePart.willGenerateCode
+        if willEnsure
+            sw.write('_lh_canEnsure = true;\n')
+        if _expr
+            backEndResultVarName = .compiler.curCodeMember.backEndResultVarName
+            if willEnsure and backEndResultVarName.length
+                # TODO: resolve yield return with ensure
+                # sw.write('yield return [backEndResultVarName]=')
+                # so for now:
+                sw.write('yield return ')
+                _expr.writeJavaDefInContext(sw)
+                sw.write(';\n')
+            else
+                sw.write('yield return ')
+                _expr.writeJavaDefInContext(sw)
+                sw.write(';\n')
+        else
+            sw.write('yield return;\n')
+
+        
+            
+            
+
 ##
 ## Expressions
 ##
@@ -2443 +2590 @@
         sw.write(';\n')
 
     def writeJavaBreakdown(sw as CurlyWriter)
-        sw.write(r'new object[] { 0')
+        sw.write(r'new Object[] { 0')
         .writeJavaBreakdownItems(sw)
         sw.write('}, ')
 
@@ -2459 +2606 @@
     def writeJavaDefForBreakdown(sw as CurlyWriter)
         .writeJavaDef(sw)
 
-
+    def _mapJavaTypeToClass(typeName as String, defaultSuffix as String) as String
+        # support for getClass and primitive mapping
+        if typeName == 'int', typeName = 'Integer.TYPE'
+        else if typeName == 'bool', typeName = 'Boolean.TYPE'
+        else if typeName == 'char', typeName = 'Character.TYPE'
+        else, typeName = typeName + defaultSuffix
+        #else if typeName == 'byte', typeName = 'Byte.TYPE'
+        #else if typeName == 'sbyte', typeName = 'Byte.TYPE'
+        #else if typeName == 'short', typeName = 'Short.TYPE'
+        #else if typeName == 'int16', typeName = 'Short.TYPE'
+        #else if typeName == 'int32', typeName = 'Integer.TYPE'
+        #else if typeName == 'long', typeName = 'Long.TYPE'
+        #else if typeName == 'int64', typeName = 'Long.TYPE'
+        #else if typeName == 'float', typeName = 'Float.TYPE'
+        #else if typeName == 'float32', typeName = 'Float.TYPE'
+        #else if typeName == 'double', typeName = 'Double.TYPE'
+        #else if typeName == 'float64', typeName = 'Double.TYPE'
+        #else, typeName = typeName + defaultSuffix
+        return typeName
+        
 class NameExpr is partial
 
     get asJava as String
@@ -2560 +2726 @@
 
     def writeJavaDef(sw as CurlyWriter, parens as bool) is override
         # recall that this cannot be the right side of "foo.bar" since that is a MemberExpr
-        javaRef = .javaQualification + .javaName
-        if _requiresGetClass, javaRef = javaRef + '.getClass()'
-        #print 'Dbg: IdExpr::', javaRef
-        sw.write(javaRef)
-
+        name = .javaQualification + .javaName
+        if _requiresGetClass 
+            name = _getClass(name)
+        #name = _mapJavaTypeToClass(name, '')
+        sw.write(name)
+        
     get javaQualification as String
         qual = ''
         if .definition inherits IVar
@@ -2573 +2740 @@
         else
             pn = .definition.parentNameSpace
             if pn, qual = pn.javaQualifier
-        #print 'Dbg: IdExpr.qual::', qual
         return qual
         
     get javaName as String
@@ -2591 +2757 @@
         if not .isTypeReference, return false
         superNode = .superNode
         if superNode inherits DotExpr, return false
-        if superNode inherits InheritsExpr, return false
+        #if superNode inherits InheritsExpr, return false
         if superNode inherits PostCallExpr
             if superNode.expr is this
                 return false
@@ -2614 +2780 @@
     def writeJavaDefForBreakdown(sw as CurlyWriter) is override
         name = .javaQualification + .javaName
         # _requiresGetClass may return false, but in the java def breakdown, .getClass is always required
-        if .isTypeReference, name = name + '.getClass()'
+        if .isTypeReference, name = _getClass(name)
+        #name = _mapJavaTypeToClass(name, '')
         sw.write(name)
+        
+    def _getClass(name as String) as String
+        if .javaName.endsWith('.TYPE') # primitive already typed
+            return name
+        if not .javaName.startsWithLowerLetter 
+            name = name + '.class'
+        else
+            name = _mapJavaTypeToClass(name, '.getClass()')
+        return name
+        
 
-
 class IfExpr is partial
 
     def writeJavaDef(sw as CurlyWriter, parens as bool) is override
@@ -2695 +2871 @@
         if parens, sw.write(')')
 
     def _lookupReadIndexer as JavaFieldInfo?
-        nt = JvmNativeType.nativeType(_target.type)
+        nt = JvmNativeType.nativeType(_target.type.nonNil)
+        #print 'dbg', _target.type.nonNil, nt
         if nt 
             ntIdxr = nt.indexer
             if ntIdxr and ntIdxr.isReadable
@@ -2731 +2908 @@
         sw.write('(')
         _expr.writeJavaDef(sw)
         sw.write(')')
-        sw.write('==null')
+        sw.write('== null')
         if parens, sw.write(')')
 
     def writeJavaBreakdownItems(sw as CurlyWriter)
@@ -2746 +2923 @@
         sw.write('(')
         _expr.writeJavaDef(sw)
         sw.write(')')
-        sw.write('!=null')
+        sw.write('!= null')
         if parens, sw.write(')')
 
     def writeJavaBreakdownItems(sw as CurlyWriter)
@@ -2799 +2976 @@
             #sw.write('typeof(')
             sw.write('(')
             sw.write(javaRef)
-            sw.write('.getClass()')
+            sw.write('.getClassX()')
             sw.write(')')
-        else
+        else if _requiresRawType()
+            sw.write(javaRef)  # might need to map cobratypes like [u]int{8,16,32,64}
+        else    
+            javaRef = _mapJavaTypeToClass(javaRef, '.class')
             sw.write(javaRef)
 
     def _requiresGetClass as bool
         return false    # may need to extend later
         
+    def _requiresRawType as bool
+        # In Java some places require class refs amd the Type of any primitives being used
+        superNode = .superNode
+        if superNode is nil
+            return false
+        if superNode inherits BinaryOpExpr  
+            if this is superNode.right
+                if superNode inherits InheritsExpr
+                    return false
+        return true
+
 /#  def _requiresTypeOf as bool
         # Cobra never requires that you wrap a type reference in typeof(Foo).
         # C# requires typeof() in a variety of circumstances and won't accept it in a variety of others.
@@ -2831 +3022 @@
     def writeJavaDefForBreakdown(sw as CurlyWriter) is override
         #requiresTypeOf = _requiresTypeOf # using C# version currently - chop ?
         #if not requiresTypeOf, sw.write('typeof(')
-        .writeJavaDef(sw)
+        #.writeJavaDef(sw)
         #if not requiresTypeOf, sw.write(')')
+        
+        # Handle mapping primitives to their classes
+        #javaRef = _containedType.javaRef 
+        javaRef = _mapJavaTypeToClass(_containedType.javaRef, '.class')
+        sw.write(javaRef)
 
         
 class UnaryOpExpr
@@ -3314 +3510 @@
         javaNot = if(_op=='OR', '', '!')
         sw.write(', [src], new cobra.lang.CobraDirectString([javaNot]')
         _left.writeJavaDefForBreakdown(sw)
-        sw.write(' ? "(short-circuited)" : cobra.lang.CobraCore.ToTechString(')
+        sw.write(' ? "(short-circuited)" : cobra.lang.CobraCore.toTechString(')
         _right.writeJavaDefForBreakdown(sw)
         sw.write('))')
 
@@ -3610 +3806 @@
                             sep = ', '
                     sw.write(')')
                     return
+                aliasedName = _dotRightExpr.definition.aliasedMethodBacking
             # handle static typing
             # don't write 'this' for shared members
             writeThis = true
@@ -3626 +3823 @@
                     _left.writeJavaDef(sw, not _left inherits DotExpr)
                 sw.write('.')
             #print 'Dbg: dotExpr::', _left.toCobraSource, _right.toCobraSource
-            _right.writeJavaDef(sw, false)
+            if aliasedName
+                sw.write(aliasedName+'()')  # FTM assume no args
+            else
+                _right.writeJavaDef(sw, false)
             if didSetInInitCall
                 Stmt.inInitCall = false
 
@@ -3638 +3838 @@
     is partial
                 
     def _writeJavaDef(sw as CurlyWriter) is override
+        #_left.writeJavaDef(sw)
+        #sw.write(' instanceof ')
+        #_right.writeJavaDef(sw, false)
+
+        # Compiler generates error with instanceof for non intersecting instance and Type so
+        # instead use runtime instance lookup
+        #  instead of 'e instanceof T'  becomes 'T.class.isInstance(e)'
+        _right.writeJavaDef(sw, false)
+        #sw.write('.class.isInstance(')
+        sw.write('.isInstance(')
         _left.writeJavaDef(sw)
-        sw.write(' instanceof ')
-        _right.writeJavaDef(sw, false)
+        sw.write(' )')
 
 
 class ToExpr is partial

Source/TestifyRunner.cobra

@@ -254 +254 @@
         options['debugging-tips'] = false
         options['embed-run-time'] = false
         options['verbosity'] = 2
-        # trace options
+        options['back-end'] = .options['back-end']
+        #trace options
         return options to !
 
     def testifyFinish(message as String)
@@ -385 +386 @@
 
         _statusWriter.writeLine('([_statusCount]) [baseName]')
         _statusCount += 1
+        
         assert File.exists(baseName)
-
         source = File.readAllText(baseName)
 
         print
@@ -470 +471 @@
                 continue
 
             if firstLineInsensitive.startsWith('#.require.')
-                rtPlatform  = CobraCore.runtimePlatform
+                rtPlatform  = options['back-end'] # wrongly wuz CobraCore.runtimePlatform
                 what = firstLineInsensitive[10:]
                 branch what
                     on 'mono'
@@ -738 +739 @@
         return 1
 
     def _testifyRun(c as Compiler) as int
-        if not c.fullExeFileName.endsWith('.exe')
+        if not c.backEnd.isRunnableFile(c.fullExeFileName)
+            # below assumes created file placed in cwd
             if File.exists(c.fullExeFileName)
                 print 'Produced file "[c.fullExeFileName]" as expected.'
                 return 1
@@ -748 +750 @@
                 return 0
         else
             print 'Run:'
-            if .verbosity >= 1
-                print 'c.fullExeFileName = "[c.fullExeFileName]"'
+            if .verbosity >= 1, print 'c.fullExeFileName = "[c.fullExeFileName]"'
             p = c.runProcess
-            if .verbosity >= 2
-                print '[p.startInfo.fileName] [p.startInfo.arguments]'
+            if .verbosity >= 2, print '[p.startInfo.fileName] [p.startInfo.arguments]'
             output = CobraCore.runAndCaptureAllOutput(p).trim
 
             print 'Output:'

Tests/100-basics/034j-set-property.cobra

@@ -1 @@
-# .require. jvm
+#.require. jvm
 namespace Test
     class Test
         def main is shared

Tests/100-basics/052-float.cobra

@@ -1 @@
-# .require. clr
+#.require. clr
 # This is clr specific re inheritance of literals and floats 
 namespace Test
     

Tests/100-basics/110j-while.cobra

@@ +1 @@
+#.require. jvm
+@platform jvm
+namespace Test
+
+    class Test
+
+        def main
+
+            # Note: You wouldn't actually use while loops for counting,
+            # but counting makes a good basic test.
+
+            i as int = 0
+            while i < 100
+                i += 1
+            assert i == 100
+
+            i = 0
+            while i > 0
+                i = -1
+            assert i == 0
+
+            i = 0
+            post while i > 0
+                i = -1
+            assert i == -1
+
+            i = 100
+            while i
+                i -= 1
+            assert i == 0
+
+            # 2006-12-16: there was a bug where post while generates both a while loop and a do-while loop
+            count = 0
+            i = 10
+            post while i > 0
+                i -= 1
+                count += 1
+            assert count == 10
+
+            random = Random()
+            a = 1
+            while a <= 3
+                post while .check(a, b)  # using local var `b` which is first assigned below
+                    b = random.nextInt(3) + 1
+                a += 1
+    
+        def check(a as int, b as int) as bool
+            assert b <> 0  # verifies that the while condition is not checked immediately
+            return a <> b

Tests/100-basics/030-hello-world.cobra

@@ -1 @@
-# .require. clr
+#.require. clr
 namespace Test
     class Test
         def main

Tests/100-basics/080-inherits.cobra

@@ +1 @@
+#.require. clr
 namespace Test
     
     class Test

Tests/100-basics/030j-hello-world1.cobra

@@ -1 @@
-# .require. jvm
+#.require. jvm
 namespace Test
     class Test
         def main is shared

Tests/100-basics/032-get-property-static.cobra

@@ -1 @@
-# .require. clr
+#.require. clr
 namespace Test
     class Test
         def main

Tests/100-basics/042-int.cobra

@@ -44 +44 @@
             assert 2*3 + 4*5 == 26
             assert (2*3 + 4*5) == 26
 
-            # minValue and maxValue
-            x = 2_147_483_647
-            x = -2_147_483_647  # to-do: should end in 8
-            assert int.minValue <= -2_147_483_647  # to-do: should end in 8
-            assert int.maxValue >= 2_147_483_647

Tests/100-basics/080j-inherits.cobra

@@ +1 @@
+#.require. jvm
+namespace Test
+    
+    class Test
+        
+        def main
+            is shared
+            
+            # string lits make for good tests
+            assert 'aoeu' inherits String  # .warning. always
+# Another Mono bug. New 1.2.6 (or maybe 1.2.5):   https://bugzilla.novell.com/show_bug.cgi?id=350977
+            assert 'aeou' inherits Object   # .warning. always  
+            assert not ('aoeu' inherits Void)  # .warning. never
+            assert not ('aoeu' inherits Integer)  # .warning. never
+
+            # primitives
+            assert 5 inherits int  # .warning. always
+            assert 5 inherits Object  # .warning. always
+            assert not (5 inherits String)  # .warning. never
+            assert 5 inherits Integer  # .warning. always
+            
+            assert true inherits bool  # .warning. always
+            assert true inherits Object  # .warning. always
+            assert not (true inherits String)  # .warning. never
+            assert true inherits Boolean  # .warning. never
+
+            # try a method                      
+            assert System.getenv('PATH') inherits Object  # .warning. can just check for not nil
+            assert System.getenv('PATH') inherits String  # .warning. can just check for not nil
+            assert not (System.getenv('PATH') inherits Thread)  # .warning. never
+

Tests/100-basics/130-for-enumerable.cobra

@@ -1 +1 @@
 namespace Test
 
     class Test
+        shared
+            var fakeCommandLineArgs as List<of String> = ['130-for-enumerable' ]
 
         def main
             is shared
 
             count as int = 0
 
-            for arg as String in Environment.getCommandLineArgs
+            for arg as String in .fakeCommandLineArgs
                 # Console.WriteLine(arg)
                 count += 1
 
             assert count>0
 
-            for arg in Environment.getCommandLineArgs
+            for arg in .fakeCommandLineArgs
                 count += 1
 
             CobraCore.noOp(arg)
@@ -22 +24 @@
         def more
             s = 'aoeu'
             # reuse a local
-            for s in Environment.getCommandLineArgs
+            for s in .fakeCommandLineArgs
                 assert s  # .warning. always
 
             .foo('aoeu')
@@ -31 +33 @@
         def foo(s as String)
             assert s == 'aoeu'
             # reuse an arg:
-            for s in Environment.getCommandLineArgs
+            for s in .fakeCommandLineArgs
                 assert s  # .warning. always
 
         var _b as String = 'aoeu'
@@ -39 +41 @@
         def bar
             assert _b == 'aoeu'
             # reuse a class var:
-            for _b in Environment.getCommandLineArgs
+            for _b in .fakeCommandLineArgs
                 assert _b  # .warning. always

Tests/100-basics/042-int-minValue.cobra

@@ +1 @@
+#.require. clr
+@platform clr
+namespace Test
+
+    class Test
+
+        def main
+            is shared
+
+            # minValue and maxValue
+            x = 2_147_483_647
+            x = -2_147_483_647  # to-do: should end in 8
+            assert int.minValue <= -2_147_483_647  # to-do: should end in 8
+            assert int.maxValue >= 2_147_483_647

Tests/100-basics/033j-get-property-instance.cobra

@@ -1 @@
-# .require. jvm 
+#.require. jvm 
 namespace Test
     class Test
         def main

Tests/100-basics/052j-float.cobra

@@ -1 @@
-# .require. jvm
+#.require. jvm
 namespace Test
     
     class Test
@@ -18 +18 @@
             ff = Float(1.0f)
             assert ff inherits Float  # .warning. is always
             ii = Integer(1)
-            #assert not (ii inherits Float)  # .warning. is never
+            #assert not (ii inherits Float)  # . warning. is never
                 # above also throws compiler error
             o as Object = ii
             assert not (o inherits Float)  

Tests/100-basics/030j-hello-world.cobra

@@ -1 @@
-# .require. jvm
+#.require. jvm
 namespace Test
     class Test
         def main is shared

Tests/100-basics/110-while.cobra

@@ +1 @@
+#.require. clr
+@platform clr
 namespace Test
 
     class Test

Tests/100-basics/065-indexing.cobra

@@ +1 @@
+#.require. clr
 namespace Test
     
     class Test

Tests/100-basics/034-set-property.cobra

@@ -1 @@
-# .require. clr
+#.require. clr
 namespace Test
     class Test
         def main

Tests/100-basics/120-for-numeric.cobra

@@ +1 @@
+#.require. clr
+@platform clr
 # numeric for loops follow the half-open interval 0 .. N-1 which lines up with the zero indexing used in .NET for arrays, lists and strings.
 # see also Dijkstra's comments at http://www.cs.utexas.edu/users/EWD/ewd08xx/EWD831.PDF
 namespace Test

Tests/100-basics/065j-indexing.cobra

@@ +1 @@
+#.require. jvm
+namespace Test
+    
+    class Test
+        
+        def main
+            is shared
+
+            assert CobraCore.commandLineArgs[0].length
+            assert CobraCore.commandLineArgs[0]<>'roembrjkxte,.nune,.ntokmbk'
+            s as String = CobraCore.commandLineArgs[0]
+            t as String = CobraCore.commandLineArgs[0]
+            s = t
+            assert s==t
+            assert CobraCore.commandLineArgs.get(0) == s

Tests/100-basics/122-for-numeric.cobra

@@ -55 +55 @@
             count = 0
             for x in 1 : 10
                 r = x
-                continue
+                if x, continue # need conditional, some platforms err on dead code
                 count += 1
             assert r == 9
             assert count == 0