[
https://issues.apache.org/jira/browse/GROOVY-11372?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=17845013#comment-17845013
]
Eric Milles edited comment on GROOVY-11372 at 5/9/24 2:43 PM:
--------------------------------------------------------------
Since setter method is not saved to node metadata, examples that "work" still
trigger dynamic behavior:
{code:groovy}
@groovy.transform.CompileStatic
void test(File file) {
file.text = 'string'
}
{code}
{code:java}
6 aload_1 [file]
7 ldc <String "text"> [33]
9 checkcast java.lang.String [35]
12 invokestatic
org.codehaus.groovy.runtime.ScriptBytecodeAdapter.setProperty(java.lang.Object,
java.lang.Class, java.lang.Object, java.lang.String) : void [41]
{code}
Versus "file.setText('string')":
{code}
0 aload_1 [file]
1 ldc <String "string"> [31]
3 invokestatic
org.codehaus.groovy.runtime.ResourceGroovyMethods.setText(java.io.File,
java.lang.String) : void [37]
{code}
was (Author: emilles):
Since setter method is not saved to node metadata, examples that "work" still
trigger dynamic behavior:
{code:groovy}
@groovy.transform.CompileStatic
void test(File file) {
file.text = 'string'
}
{code}
{code:java}
6 aload_1 [file]
7 ldc <String "text"> [33]
9 checkcast java.lang.String [35]
12 invokestatic
org.codehaus.groovy.runtime.ScriptBytecodeAdapter.setProperty(java.lang.Object,
java.lang.Class, java.lang.Object, java.lang.String) : void [41]
{code}
> STC: write property via extension method
> ----------------------------------------
>
> Key: GROOVY-11372
> URL: https://issues.apache.org/jira/browse/GROOVY-11372
> Project: Groovy
> Issue Type: Bug
> Components: Static Type Checker
> Affects Versions: 3.0.21, 5.0.0-alpha-8, 4.0.21
> Reporter: Eric Milles
> Assignee: Eric Milles
> Priority: Major
>
> Consider the following:
> {code:groovy}
> @groovy.transform.TypeChecked
> void test(OutputStream os) {
> os.bytes = new byte[0]
> }
> {code}
> Compiler reports "No such property: bytes for class: java.io.OutputStream".
> This is because {{StaticTypeCheckingVisitor#existsProperty}} looks for
> isser/getter to determine property type. This only works for matched methods
> like "MetaClass getMetaClass()" and "void setMetaClass(MetaClass mc)".
> GROOVY-9115, GROOVY-9123, GROOVY-11370
--
This message was sent by Atlassian Jira
(v8.20.10#820010)
