[prev in list] [next in list] [prev in thread] [next in thread]
List: groovy-scm
Subject: [groovy-scm] [jira] (GROOVY-5642) TypeChecked/CompileStatic says ambiguous about calling PrintWriter
From: "UEHARA Junji (JIRA)" <jira () codehaus ! org>
Date: 2012-07-29 1:37:21
Message-ID: 972832104.33149.1343525841118.JavaMail.j2ee-jira () codehaus01 ! managed ! contegix ! com
[Download RAW message or body]
<style>
/* Changing the layout to use less space for mobiles */
@media screen and (max-device-width: 480px), screen and \
(-webkit-min-device-pixel-ratio: 2) { #email-body { min-width: 30em !important; }
#email-page { padding: 8px !important; }
#email-banner { padding: 8px 8px 0 8px !important; }
#email-avatar { margin: 1px 8px 8px 0 !important; padding: 0 !important; }
#email-fields { padding: 0 8px 8px 8px !important; }
#email-gutter { width: 0 !important; }
}
</style>
<div id="email-body">
<table id="email-wrap" align="center" border="0" cellpadding="0" cellspacing="0" \
style="background-color:#f0f0f0;color:#000000;width:100%;"> <tr valign="top">
<td id="email-page" style="padding:16px !important;">
<table align="center" border="0" cellpadding="0" cellspacing="0" \
style="background-color:#ffffff;border:1px solid #bbbbbb;color:#000000;width:100%;"> \
<tr valign="top"> <td bgcolor="#ffffff" \
style="background-color:#ffffff;color:#00AA00;font-family:Arial,FreeSans,Helvetica,sans-serif;font-size:12px;line-height:1;"><img \
src="http://www.codehaus.org/codehaus-small.gif" alt="" style="vertical-align:top;" \
/></td> </tr><tr valign="top">
<td id="email-banner" style="padding:32px 32px 0 32px;">
<table align="left" border="0" cellpadding="0" cellspacing="0" \
width="100%" style="width:100%;"> <tr valign="top">
<td style="color:#505050;font-family:Arial,FreeSans,Helvetica,sans-serif;padding:0;">
<img id="email-avatar" \
src="https://jira.codehaus.org/secure/useravatar?avatarId=10232" alt="" height="48" \
width="48" border="0" align="left" style="padding:0;margin: 0 16px \
16px 0;" />
<div id="email-action" style="padding: 0 0 8px \
0;font-size:12px;line-height:18px;"> <a class="user-hover" rel="uehaj" \
id="email_uehaj" href="https://jira.codehaus.org/secure/ViewProfile.jspa?name=uehaj" \
style="color:#005500;">UEHARA Junji</a> created <img \
src="https://jira.codehaus.org/images/icons/bug.gif" height="16" width="16" \
border="0" align="absmiddle" alt="Bug"> <a \
style='color:#005500;text-decoration:none;' \
href='https://jira.codehaus.org/browse/GROOVY-5642'>GROOVY-5642</a> </div>
<div id="email-summary" \
style="font-size:16px;line-height:20px;padding:2px 0 16px 0;"> <a \
style='color:#005500;text-decoration:none;' \
href='https://jira.codehaus.org/browse/GROOVY-5642'><strong>TypeChecked/CompileStatic \
says ambiguous about calling PrintWriter.write(byte[],int,int)</strong></a> </div>
</td>
</tr>
</table>
</td>
</tr>
<tr valign="top">
<td id="email-fields" style="padding:0 32px 32px 32px;">
<table border="0" cellpadding="0" cellspacing="0" \
style="padding:0;text-align:left;width:100%;" width="100%"> <tr valign="top">
<td id="email-gutter" style="width:64px;white-space:nowrap;"></td>
<td>
<table border="0" cellpadding="0" cellspacing="0" width="100%">
<tr valign="top">
<td style="color:#000000;font-family:Arial,FreeSans,Helvetica,sans-serif;font-size:12px;padding:0 \
10px 10px 0;white-space:nowrap;">
<strong style="font-weight:normal;color:#505050;">Issue Type:</strong>
</td>
<td style="color:#000000;font-family:Arial,FreeSans,Helvetica,sans-serif;font-size:12px;padding:0 \
0 10px 0;width:100%;">
<img src="https://jira.codehaus.org/images/icons/bug.gif" height="16" \
width="16" border="0" align="absmiddle" alt="Bug"> Bug </td>
</tr> <tr valign="top">
<td style="color:#000000;font-family:Arial,FreeSans,Helvetica,sans-serif;font-size:12px;padding:0 \
10px 10px 0;white-space:nowrap;">
<strong style="font-weight:normal;color:#505050;">Affects Versions:</strong>
</td>
<td style="color:#000000;font-family:Arial,FreeSans,Helvetica,sans-serif;font-size:12px;padding:0 \
0 10px 0;width:100%;"> 2.0.1 </td>
</tr>
<tr valign="top">
<td style="color:#000000;font-family:Arial,FreeSans,Helvetica,sans-serif;font-size:12px;padding:0 \
10px 10px 0;white-space:nowrap;">
<strong style="font-weight:normal;color:#505050;">Assignee:</strong>
</td>
<td style="color:#000000;font-family:Arial,FreeSans,Helvetica,sans-serif;font-size:12px;padding:0 \
0 10px 0;width:100%;"> Unassigned </td>
</tr> <tr valign="top">
<td style="color:#000000;font-family:Arial,FreeSans,Helvetica,sans-serif;font-size:12px;padding:0 \
10px 10px 0;white-space:nowrap;">
<strong style="font-weight:normal;color:#505050;">Components:</strong>
</td>
<td style="color:#000000;font-family:Arial,FreeSans,Helvetica,sans-serif;font-size:12px;padding:0 \
0 10px 0;width:100%;"> Compiler </td>
</tr>
<tr valign="top">
<td style="color:#000000;font-family:Arial,FreeSans,Helvetica,sans-serif;font-size:12px;padding:0 \
10px 10px 0;white-space:nowrap;">
<strong style="font-weight:normal;color:#505050;">Created:</strong>
</td>
<td style="color:#000000;font-family:Arial,FreeSans,Helvetica,sans-serif;font-size:12px;padding:0 \
0 10px 0;width:100%;"> 28/Jul/12 8:36 PM
</td>
</tr> <tr valign="top">
<td style="color:#000000;font-family:Arial,FreeSans,Helvetica,sans-serif;font-size:12px;padding:0 \
10px 10px 0;white-space:nowrap;">
<strong style="font-weight:normal;color:#505050;">Description:</strong>
</td>
<td style="color:#000000;font-family:Arial,FreeSans,Helvetica,sans-serif;font-size:12px;padding:0 \
0 10px 0;width:100%;">
<p style='margin-top:0;margin-bottom:10px;'>I tried TypeChecked/CompileStatic \
with calling PrintWriter.write(byte[], int, int) in following code:</p> <div \
class="code panel" style="border-width: 1px;"><div class="codeContent panelContent"> \
<pre class="code-java"><span class="code-comment">//@groovy.transform.CompileStatic \
</span> @groovy.transform.TypeChecked
def main() {
<span class="code-object">byte</span>[] data = [1,2,3] as <span \
class="code-object">byte</span>[] <span \
class="code-object">System</span>.out.write((<span \
class="code-object">byte</span>[])data, (<span class="code-object">int</span>)0, \
(<span class="code-object">int</span>)0) }
main()</pre>
</div></div>
<p style='margin-top:0;margin-bottom:10px;'>raises following static type check \
error:</p> <blockquote>
<p style='margin-top:0;margin-bottom:10px;'>m.groovy: 11: <span \
class="error">[Static type checking]</span> - Reference to method is \
ambiguous. Cannot choose between [MethodNode@1587779925[void write(<span \
class="error">[B, int, int)]</span>, MethodNode@1727501758[void write(<span \
class="error">[B)]</span>, MethodNode@957941600[void write(<span \
class="error">[B)]</span>, MethodNode@902239314[void write(<span \
class="error">[C)]</span>]<br/> @ line 11, column 3.<br/>
System.out.write((byte[])data, (int)0, (int)0)<br/>
^</p>
<p style='margin-top:0;margin-bottom:10px;'>1 error</p></blockquote>
<p style='margin-top:0;margin-bottom:10px;'>When tried without cast operator( \
System.out.write(data,0,0) ), the result was similar.<br/> When I tried to call \
method which i defined, no error detected:</p> <div class="code panel" \
style="border-width: 1px;"><div class="codeContent panelContent"> <pre \
class="code-java">@groovy.transform.TypeChecked def foo(<span \
class="code-object">byte</span>[] c, <span class="code-object">int</span> a, <span \
class="code-object">int</span> b) {}
@groovy.transform.TypeChecked
def main() {
<span class="code-object">byte</span>[] data = [1,2,3] as <span \
class="code-object">byte</span>[] foo((<span class="code-object">byte</span>[])data, \
(<span class="code-object">int</span>)0, (<span class="code-object">int</span>)0) }
main()</pre>
</div></div>
</td>
</tr>
<tr valign="top">
<td style="color:#000000;font-family:Arial,FreeSans,Helvetica,sans-serif;font-size:12px;padding:0 \
10px 10px 0;white-space:nowrap;">
<strong style="font-weight:normal;color:#505050;">Environment:</strong>
</td>
<td style="color:#000000;font-family:Arial,FreeSans,Helvetica,sans-serif;font-size:12px;padding:0 \
0 10px 0;width:100%;"> MacOS X,
</td>
</tr>
<tr valign="top">
<td style="color:#000000;font-family:Arial,FreeSans,Helvetica,sans-serif;font-size:12px;padding:0 \
10px 10px 0;white-space:nowrap;">
<strong style="font-weight:normal;color:#505050;">Project:</strong>
</td>
<td style="color:#000000;font-family:Arial,FreeSans,Helvetica,sans-serif;font-size:12px;padding:0 \
0 10px 0;width:100%;">
<a style="color:#005500;" \
href="https://jira.codehaus.org/browse/GROOVY">groovy</a> </td>
</tr> <tr valign="top">
<td style="color:#000000;font-family:Arial,FreeSans,Helvetica,sans-serif;font-size:12px;padding:0 \
10px 10px 0;white-space:nowrap;">
<strong style="font-weight:normal;color:#505050;">Priority:</strong>
</td>
<td style="color:#000000;font-family:Arial,FreeSans,Helvetica,sans-serif;font-size:12px;padding:0 \
0 10px 0;width:100%;">
<img src="https://jira.codehaus.org/images/icons/priority_major.gif" \
height="16" width="16" border="0" align="absmiddle" alt="Major"> Major </td>
</tr> <tr valign="top">
<td style="color:#000000;font-family:Arial,FreeSans,Helvetica,sans-serif;font-size:12px;padding:0 \
10px 10px 0;white-space:nowrap;">
<strong style="font-weight:normal;color:#505050;">Reporter:</strong>
</td>
<td style="color:#000000;font-family:Arial,FreeSans,Helvetica,sans-serif;font-size:12px;padding:0 \
0 10px 0;width:100%;"> <a class="user-hover" rel="uehaj" id="email_uehaj" \
href="https://jira.codehaus.org/secure/ViewProfile.jspa?name=uehaj" \
style="color:#005500;">UEHARA Junji</a> </td>
</tr>
</table>
</td>
</tr>
</table>
</td>
</tr>
</table>
</td><!-- End #email-page -->
</tr>
<tr valign="top">
<td style="color:#505050;font-family:Arial,FreeSans,Helvetica,sans-serif;font-size:10px;line-height:14px;padding: \
0 16px 16px 16px;text-align:center;"> This message is automatically generated by \
JIRA.<br /> If you think it was sent incorrectly, please contact your <a \
style='color:#005500;' \
href='https://jira.codehaus.org/secure/ContactAdministrators!default.jspa'>JIRA \
administrators</a>.<br />
For more information on JIRA, see: <a style='color:#005500;' \
href='http://www.atlassian.com/software/jira'>http://www.atlassian.com/software/jira</a>
</td>
</tr>
</table><!-- End #email-wrap -->
</div><!-- End #email-body -->
<hr/>
<p>
To unsubscribe from this list please visit:
</p>
<p>
<a href="http://xircles.codehaus.org/manage_email">http://xircles.codehaus.org/manage_email</a>
</p>
[prev in list] [next in list] [prev in thread] [next in thread]
Configure |
About |
News |
Add a list |
Sponsored by KoreLogic