##############################################################################
# JBoss, Home of Professional Open Source
# Copyright 2019, Red Hat and individual contributors
# by the @authors tag. See the copyright.txt in the distribution for a
# full listing of individual contributors.
#
# This is free software; you can redistribute it and/or modify it
# under the terms of the GNU Lesser General Public License as
# published by the Free Software Foundation; either version 2.1 of
# the License, or (at your option) any later version.
#
# This software is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
# Lesser General Public License for more details.
#
# You should have received a copy of the GNU Lesser General Public
# License along with this software; if not, write to the Free
# Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA
# 02110-1301 USA, or see the FSF site: http://www.fsf.org.
#
# @authors Andrew Dinn
#
# Test for BYTEMAN-376. This rule checks that a local var initialised
# from a ternary expression which may return null is correctly downcast

RULE test bind null
CLASS TestBindNull
METHOD triggerMethod
AT ENTRY
BIND test : Test = $0;
     # n.b. ternary expression ensures intializer value type is Object not int[]
     ints0: int[] = ($0 != null ? TestBindNull.getInts(0) : null);
     ints1: int[] = ($0 != null ? TestBindNull.getInts(1) : null);
IF TRUE
DO test.log("getInts(0) is " + TestBindNull.makeString(ints0));
   test.log("getInts(1) is " + TestBindNull.makeString(ints1));
ENDRULE

