<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><br class=""><div><br class=""><blockquote type="cite" class=""><div class="">On 12 Dec 2017, at 19:27, C. Keith Ray via swift-evolution <<a href="mailto:swift-evolution@swift.org" class="">swift-evolution@swift.org</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><font style="font-size: 14px;" class="">in <a href="https://gist.github.com/lattner/b016e1cf86c43732c8d82f90e5ae5438" class="">https://gist.github.com/lattner/b016e1cf86c43732c8d82f90e5ae5438</a></font><div class=""><font style="font-size: 14px;" class=""><br class=""></font></div><div class=""><font style="font-size: 14px;" class="">there is this statement:</font></div><div class=""><font style="font-size: 14px;" class=""><br class=""></font></div><div class=""><div class=""><span style="font-size: 14px;" class=""><span style="background-color: rgb(255, 255, 255);" class="">"</span><span style="background-color: rgb(255, 255, 255);" class="">For this reason, the compiler only permits conformance of this protocol on the original type definition, not extensions"</span></span></div><div class=""><span style="background-color: rgb(255, 255, 255); font-size: 14px;" class=""><br class=""></span></div><div class=""><span style="background-color: rgb(255, 255, 255); font-size: 14px;" class="">and this example:</span></div></div><div class=""><span style="background-color: rgb(255, 255, 255); font-size: 14px;" class=""><br class=""></span></div><div class=""><pre style="box-sizing: border-box; margin-top: 0px; margin-bottom: 0px; word-wrap: normal; padding: 16px; overflow: auto; line-height: 1.45; background-color: rgb(246, 248, 250); border-top-left-radius: 3px; border-top-right-radius: 3px; border-bottom-right-radius: 3px; border-bottom-left-radius: 3px; word-break: normal;" class=""><font face="Lucida Grande" style="font-size: 14px;" class=""><span class="pl-k" style="box-sizing: border-box;">extension</span> <span class="pl-en" style="box-sizing: border-box;">JSON</span> : <span class="pl-e" style="box-sizing: border-box;">DynamicMemberLookupProtocol </span>{
</font></pre></div><div class=""><span style="font-size: 14px;" class=""><br class=""></span></div><div class=""><span style="font-size: 14px;" class=""><br class=""></span></div><div class=""><span style="font-size: 14px;" class="">Contradictory?</span></div><div class=""><span style="font-size: 14px;" class=""><br class=""></span></div></div></div></blockquote><div>I think this is just an oversight after it was changed that this protocol could not conform on extensions.</div><br class=""><blockquote type="cite" class=""><div class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class=""><span style="font-size: 14px;" class=""><br class=""></span></div><div class=""><span style="font-size: 14px;" class="">Also...</span></div><div class=""><span style="font-size: 14px;" class=""><br class=""></span></div><div class=""><span style="font-size: 14px;" class="">Calling Java from C is done like the following, how would one do it in Swift using this proposal?</span></div><div class=""><span style="font-size: 14px;" class=""><br class=""></span></div><div class=""><span style="font-size: 14px;" class="">( Example from <a href="https://www.ibm.com/developerworks/java/tutorials/j-jni/j-jni.html" class="">https://www.ibm.com/developerworks/java/tutorials/j-jni/j-jni.html</a> )</span></div><div class=""><span style="font-size: 14px;" class=""><br class=""></span></div><div class=""><span style="font-size: 14px;" class="">Java code:</span></div><div class=""><div class=""><span style="font-size: 14px;" class=""><br class=""></span></div><div class=""><span style="font-size: 14px;" class=""> public class Sample2</span></div><div class=""><span style="font-size: 14px;" class=""> {</span></div><div class=""><span style="font-size: 14px;" class=""> public static int intMethod(int n) {</span></div><div class=""><span style="font-size: 14px;" class=""> return n*n;</span></div><div class=""><span style="font-size: 14px;" class=""> }</span></div><div class=""><span style="font-size: 14px;" class=""> </span></div><div class=""><span style="font-size: 14px;" class=""> public static boolean booleanMethod(boolean bool) {</span></div><div class=""><span style="font-size: 14px;" class=""> return !bool;</span></div><div class=""><span style="font-size: 14px;" class=""> }</span></div><div class=""><span style="font-size: 14px;" class=""> }</span></div></div><div class=""><span style="font-size: 14px;" class=""><br class=""></span></div><div class=""><span style="font-size: 14px;" class="">C Code:</span></div><div class=""><span style="font-size: 14px;" class=""><br class=""></span></div><div class=""><div class="index0 line number1 alt2" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><font face="Lucida Grande" style="font-size: 14px;" class=""><code class="plain htmlscript" style="line-height: 1.25rem; margin: 0px !important; padding: 0px !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important;">#include <</code><code class="keyword htmlscript" style="font-weight: 600; line-height: 1.25rem; margin: 0px !important; padding: 0px !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important;">jni.h</code><code class="plain htmlscript" style="line-height: 1.25rem; margin: 0px !important; padding: 0px !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important;">></code></font></div><div class="line index1 alt1 number2" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><span style="font-size: 14px;" class=""><br class=""></span></div><div class="alt2 line number3 index2" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><code class="plain htmlscript" style="line-height: 1.25rem; margin: 0px !important; padding: 0px !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important;"><font face="Lucida Grande" style="font-size: 14px;" class="">#ifdef _WIN32</font></code></div><div class="index3 line number4 alt1" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><code class="plain htmlscript" style="line-height: 1.25rem; margin: 0px !important; padding: 0px !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important;"><font face="Lucida Grande" style="font-size: 14px;" class="">#define PATH_SEPARATOR ';'</font></code></div><div class="number5 line index4 alt2" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><code class="plain htmlscript" style="line-height: 1.25rem; margin: 0px !important; padding: 0px !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important;"><font face="Lucida Grande" style="font-size: 14px;" class="">#else</font></code></div><div class="line number6 index5 alt1" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><code class="plain htmlscript" style="line-height: 1.25rem; margin: 0px !important; padding: 0px !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important;"><font face="Lucida Grande" style="font-size: 14px;" class="">#define PATH_SEPARATOR ':'</font></code></div><div class="number7 alt2 line index6" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><code class="plain htmlscript" style="line-height: 1.25rem; margin: 0px !important; padding: 0px !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important;"><font face="Lucida Grande" style="font-size: 14px;" class="">#endif</font></code></div><div class="index7 line number8 alt1" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><code class="plain htmlscript" style="line-height: 1.25rem; margin: 0px !important; padding: 0px !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important;"><font face="Lucida Grande" style="font-size: 14px;" class="">int main()</font></code></div><div class="number10 line index9 alt1" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><code class="plain htmlscript" style="line-height: 1.25rem; margin: 0px !important; padding: 0px !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important;"><font face="Lucida Grande" style="font-size: 14px;" class="">{</font></code></div><div class="index10 line alt2 number11" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><code class="plain htmlscript" style="line-height: 1.25rem; margin: 0px !important; padding: 0px !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important;"><font face="Lucida Grande" style="font-size: 14px;" class=""> JavaVMOption options[1];</font></code></div><div class="line number12 index11 alt1" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><code class="plain htmlscript" style="line-height: 1.25rem; margin: 0px !important; padding: 0px !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important;"><font face="Lucida Grande" style="font-size: 14px;" class=""> JNIEnv *env;</font></code></div><div class="index12 alt2 line number13" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><code class="plain htmlscript" style="line-height: 1.25rem; margin: 0px !important; padding: 0px !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important;"><font face="Lucida Grande" style="font-size: 14px;" class=""> JavaVM *jvm;</font></code></div><div class="number14 line index13 alt1" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><code class="plain htmlscript" style="line-height: 1.25rem; margin: 0px !important; padding: 0px !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important;"><font face="Lucida Grande" style="font-size: 14px;" class=""> JavaVMInitArgs vm_args;</font></code></div><div class="alt2 line number15 index14" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><code class="plain htmlscript" style="line-height: 1.25rem; margin: 0px !important; padding: 0px !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important;"><font face="Lucida Grande" style="font-size: 14px;" class=""> long status;</font></code></div><div class="line number16 index15 alt1" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><code class="plain htmlscript" style="line-height: 1.25rem; margin: 0px !important; padding: 0px !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important;"><font face="Lucida Grande" style="font-size: 14px;" class=""> jclass cls;</font></code></div><div class="number17 line alt2 index16" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><code class="plain htmlscript" style="line-height: 1.25rem; margin: 0px !important; padding: 0px !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important;"><font face="Lucida Grande" style="font-size: 14px;" class=""> jmethodID mid;</font></code></div><div class="index17 line alt1 number18" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><code class="plain htmlscript" style="line-height: 1.25rem; margin: 0px !important; padding: 0px !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important;"><font face="Lucida Grande" style="font-size: 14px;" class=""> jint square;</font></code></div><div class="alt2 line number19 index18" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><code class="plain htmlscript" style="line-height: 1.25rem; margin: 0px !important; padding: 0px !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important;"><font face="Lucida Grande" style="font-size: 14px;" class=""> jboolean not;</font></code></div><div class="index19 line number20 alt1" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><span style="font-size: 14px;" class=""><br class=""></span></div><div class="index19 line number20 alt1" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><span style="font-size: 14px;" class=""> options[0].optionString = "-Djava.class.path=.";</span></div><div class="number22 line index21 alt1" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><code class="plain htmlscript" style="line-height: 1.25rem; margin: 0px !important; padding: 0px !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important;"><font face="Lucida Grande" style="font-size: 14px;" class=""> memset(&vm_args, 0, sizeof(vm_args));</font></code></div><div class="index22 line alt2 number23" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><code class="plain htmlscript" style="line-height: 1.25rem; margin: 0px !important; padding: 0px !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important;"><font face="Lucida Grande" style="font-size: 14px;" class=""> vm_args.version = JNI_VERSION_1_2;</font></code></div><div class="line number24 index23 alt1" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><code class="plain htmlscript" style="line-height: 1.25rem; margin: 0px !important; padding: 0px !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important;"><font face="Lucida Grande" style="font-size: 14px;" class=""> vm_args.nOptions = 1;</font></code></div><div class="index24 alt2 line number25" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><code class="plain htmlscript" style="line-height: 1.25rem; margin: 0px !important; padding: 0px !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important;"><font face="Lucida Grande" style="font-size: 14px;" class=""> vm_args.options = options;</font></code></div><div class="number26 line index25 alt1" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><code class="plain htmlscript" style="line-height: 1.25rem; margin: 0px !important; padding: 0px !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important;"><font face="Lucida Grande" style="font-size: 14px;" class=""> status = JNI_CreateJavaVM(&jvm, (void**)&env, &vm_args);</font></code></div><div class="alt2 line number27 index26" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><span style="font-size: 14px;" class=""><br class=""></span></div><div class="line number28 index27 alt1" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><code class="plain htmlscript" style="line-height: 1.25rem; margin: 0px !important; padding: 0px !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important;"><font face="Lucida Grande" style="font-size: 14px;" class=""> if (status != JNI_ERR)</font></code></div><div class="number29 line alt2 index28" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><code class="plain htmlscript" style="line-height: 1.25rem; margin: 0px !important; padding: 0px !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important;"><font face="Lucida Grande" style="font-size: 14px;" class=""> {</font></code></div><div class="index29 line number30 alt1" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><code class="plain htmlscript" style="line-height: 1.25rem; margin: 0px !important; padding: 0px !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important;"><font face="Lucida Grande" style="font-size: 14px;" class=""> cls = (*env)->FindClass(env, "Sample2");</font></code></div><div class="number31 alt2 line index30" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><code class="plain htmlscript" style="line-height: 1.25rem; margin: 0px !important; padding: 0px !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important;"><font face="Lucida Grande" style="font-size: 14px;" class=""> </font></code></div><div class="number31 alt2 line index30" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><code class="plain htmlscript" style="line-height: 1.25rem; margin: 0px !important; padding: 0px !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important;"><font face="Lucida Grande" style="font-size: 14px;" class=""> if (cls !=0)</font></code></div><div class="number32 line alt1 index31" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><code class="plain htmlscript" style="line-height: 1.25rem; margin: 0px !important; padding: 0px !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important;"><font face="Lucida Grande" style="font-size: 14px;" class=""> { </font></code></div><div class="number32 line alt1 index31" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><code class="plain htmlscript" style="line-height: 1.25rem; margin: 0px !important; padding: 0px !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important;"><font face="Lucida Grande" style="font-size: 14px;" class=""> mid = (*env)->GetStaticMethodID(env, cls, "intMethod", "(I)I");</font></code></div><div class="alt2 line number33 index32" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><code class="plain htmlscript" style="line-height: 1.25rem; margin: 0px !important; padding: 0px !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important;"><font face="Lucida Grande" style="font-size: 14px;" class=""> </font></code></div><div class="alt2 line number33 index32" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><code class="plain htmlscript" style="line-height: 1.25rem; margin: 0px !important; padding: 0px !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important;"><font face="Lucida Grande" style="font-size: 14px;" class=""> if (mid !=0)</font></code></div><div class="number34 line index33 alt1" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><code class="plain htmlscript" style="line-height: 1.25rem; margin: 0px !important; padding: 0px !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important;"><font face="Lucida Grande" style="font-size: 14px;" class=""> { </font></code></div><div class="number34 line index33 alt1" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><code class="plain htmlscript" style="line-height: 1.25rem; margin: 0px !important; padding: 0px !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important;"><font face="Lucida Grande" style="font-size: 14px;" class=""> square = (*env)->CallStaticIntMethod(env, cls, mid, 5);</font></code></div><div class="index34 line alt2 number35" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><code class="plain htmlscript" style="line-height: 1.25rem; margin: 0px !important; padding: 0px !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important;"><font face="Lucida Grande" style="font-size: 14px;" class=""> printf("Result of intMethod: %d\n", square);</font></code></div><div class="line number36 index35 alt1" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><code class="plain htmlscript" style="line-height: 1.25rem; margin: 0px !important; padding: 0px !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important;"><font face="Lucida Grande" style="font-size: 14px;" class=""> }</font></code></div><div class="index36 alt2 line number37" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><span style="font-size: 14px;" class=""> </span></div><div class="index36 alt2 line number37" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><span style="font-size: 14px;" class=""> mid = (*env)->GetStaticMethodID(env, cls, "booleanMethod", "(Z)Z");</span></div><div class="alt2 line number39 index38" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><code class="plain htmlscript" style="line-height: 1.25rem; margin: 0px !important; padding: 0px !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important;"><font face="Lucida Grande" style="font-size: 14px;" class=""> </font></code></div><div class="alt2 line number39 index38" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><code class="plain htmlscript" style="line-height: 1.25rem; margin: 0px !important; padding: 0px !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important;"><font face="Lucida Grande" style="font-size: 14px;" class=""> if (mid !=0)</font></code></div><div class="line index39 alt1 number40" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><code class="plain htmlscript" style="line-height: 1.25rem; margin: 0px !important; padding: 0px !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important;"><font face="Lucida Grande" style="font-size: 14px;" class=""> { </font></code></div><div class="line index39 alt1 number40" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><code class="plain htmlscript" style="line-height: 1.25rem; margin: 0px !important; padding: 0px !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important;"><font face="Lucida Grande" style="font-size: 14px;" class=""> not = (*env)->CallStaticBooleanMethod(env, cls, mid, 1);</font></code></div><div class="alt2 line number41 index40" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><code class="plain htmlscript" style="line-height: 1.25rem; margin: 0px !important; padding: 0px !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important;"><font face="Lucida Grande" style="font-size: 14px;" class=""> printf("Result of booleanMethod: %d\n", not);</font></code></div><div class="alt2 line number41 index40" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><span style="font-size: 14px;" class=""> }</span></div><div class="number43 alt2 line index42" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><code class="plain htmlscript" style="line-height: 1.25rem; margin: 0px !important; padding: 0px !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important;"><font face="Lucida Grande" style="font-size: 14px;" class=""> }</font></code></div><div class="number44 line alt1 index43" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><span style="font-size: 14px;" class=""> (*jvm)->DestroyJavaVM(jvm);</span></div><div class="number46 line index45 alt1" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><code class="plain htmlscript" style="line-height: 1.25rem; margin: 0px !important; padding: 0px !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important;"><font face="Lucida Grande" style="font-size: 14px;" class=""> return 0;</font></code></div><div class="index46 line alt2 number47" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><code class="plain htmlscript" style="line-height: 1.25rem; margin: 0px !important; padding: 0px !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important;"><font face="Lucida Grande" style="font-size: 14px;" class=""> }</font></code></div><div class="line number48 index47 alt1" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><code class="plain htmlscript" style="line-height: 1.25rem; margin: 0px !important; padding: 0px !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important;"><font face="Lucida Grande" style="font-size: 14px;" class=""> else</font></code></div><div class="index48 alt2 line number49" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><code class="plain htmlscript" style="line-height: 1.25rem; margin: 0px !important; padding: 0px !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important;"><font face="Lucida Grande" style="font-size: 14px;" class=""> return -1;</font></code></div><div class="line number50 index49 alt1" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><code class="plain htmlscript" style="line-height: 1.25rem; margin: 0px !important; padding: 0px !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important;"><font face="Lucida Grande" style="font-size: 14px;" class="">}</font></code></div></div><div class="line number50 index49 alt1" style="line-height: 1.25rem; margin: 0px !important; padding: 0px 1em !important; border: 0px !important; vertical-align: baseline !important; border-top-left-radius: 0px !important; border-top-right-radius: 0px !important; border-bottom-right-radius: 0px !important; border-bottom-left-radius: 0px !important; background-image: none !important; background-color: white !important; bottom: auto !important; float: none !important; height: auto !important; left: auto !important; outline: 0px !important; overflow: visible !important; position: static !important; right: auto !important; top: auto !important; width: auto !important; box-sizing: content-box !important; min-height: inherit !important; white-space: pre !important;"><br class=""></div></div></div></blockquote><br class=""></div><div>I think this should be up to whoever implements the Java wrapper. This proposal doesn’t specifically address the implementation of specific language interop’s. It just gives the writer a way to give their implementation a nice syntactic view in the language.</div><br class=""></body></html>