[ https://issues.apache.org/jira/browse/NETBEANS-5983?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=17411945#comment-17411945 ]
Svatopluk Dedic commented on NETBEANS-5983: ------------------------------------------- Attached sample groovy script that fails to compile although type should be inferred according to http://groovy-lang.org/semantics.html#_instanceof_inference > Static type analysis does not consider instanceof type hint > ----------------------------------------------------------- > > Key: NETBEANS-5983 > URL: https://issues.apache.org/jira/browse/NETBEANS-5983 > Project: NetBeans > Issue Type: Bug > Components: groovy - Editor > Reporter: Svatopluk Dedic > Priority: Major > Attachments: T.groovy > > > Consider code like > {code:java} > public BindingHolder(BindingHolder parent, Object value) { > if(value instanceof List) { > def instance = value[0]; // ERROR > ... > } > } > {code} > whent the editor parser uses static type analysis, it will report an error on > the marker line, as *vlaue* is typed as *java.lang.Object*, which has no > *get()* method. > In this specific case, the subtree can be evaluated speculatively, supposing > that *value* is instance of *List* - requires partial evaluation of > if-conditions. Similar case when typecast precedes reference to an identifier. > This must be probably fixed in Groovy; in NetBeans we can block the message > and try to re-evaluate the AST subtree with a speculative type(s) found on > path(s) to the code. > -- This message was sent by Atlassian Jira (v8.3.4#803005) --------------------------------------------------------------------- To unsubscribe, e-mail: commits-unsubscr...@netbeans.apache.org For additional commands, e-mail: commits-h...@netbeans.apache.org For further information about the NetBeans mailing lists, visit: https://cwiki.apache.org/confluence/display/NETBEANS/Mailing+lists