[ 
https://issues.apache.org/jira/browse/GROOVY-8336?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
 ]

Paul King closed GROOVY-8336.
-----------------------------

> Static compilation requires casting inside instanceof check (additional cases)
> ------------------------------------------------------------------------------
>
>                 Key: GROOVY-8336
>                 URL: https://issues.apache.org/jira/browse/GROOVY-8336
>             Project: Groovy
>          Issue Type: Bug
>          Components: Compiler
>    Affects Versions: 2.4.12
>         Environment: macOS JDK 1.8
>            Reporter: James Kleeh
>            Assignee: Paul King
>            Priority: Major
>             Fix For: 2.4.13
>
>
> Cloned from GROOVY-8260 to handle these additional cases:
> {code}
> import groovy.transform.CompileStatic
> @CompileStatic
> Date ternaryParam(Object input) {
>     input instanceof Date ? input : null
> }
> @CompileStatic
> Date ternaryLocalVar(Object input) {
>     Object copy = input
>     copy instanceof Date ? copy : null
> }
> @CompileStatic
> Date ifThenElseParam(Object ifThenElseInput) {
>     if (ifThenElseInput instanceof Date) {
>         ifThenElseInput
>     } else {
>         null
>     }
> }
> @CompileStatic
> Date ifThenElseLocalVar(Object input) {
>     Date result
>     if (input instanceof Date) {
>         result = input
>     } else {
>         result = null
>     }
>     result
> }
> class FooBase {}
> class FooChild extends FooBase{}
> @CompileStatic
> FooChild ifThenElseLocalVar2(FooBase input) {
>     FooChild result
>     if (input instanceof FooChild) {
>         result = input
>     } else {
>         result = null
>     }
>     result
> }
> def d = new Date()
> assert ternaryParam(42) == null
> assert ternaryParam('foo') == null
> assert ternaryParam(d) == d
> assert ternaryLocalVar(42) == null
> assert ternaryLocalVar('foo') == null
> assert ternaryLocalVar(d) == d
> assert ifThenElseParam(42) == null
> assert ifThenElseParam('foo') == null
> assert ifThenElseParam(d) == d
> assert ifThenElseLocalVar(42) == null
> assert ifThenElseLocalVar('foo') == null
> assert ifThenElseLocalVar(d) == d
> def fc = new FooChild()
> assert ifThenElseLocalVar2(fc) == fc
> assert ifThenElseLocalVar2(new FooBase()) == null
> {code}



--
This message was sent by Atlassian JIRA
(v7.6.3#76005)

Reply via email to