##############################################################################
# JBoss, Home of Professional Open Source
# Copyright 2009, 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
#

RULE test logical 1
CLASS TestLogical
METHOD triggerMethod1(boolean)
HELPER org.jboss.byteman.tests.helpers.Default
AFTER CALL log
BIND test : Test = $0;
     arg : boolean = $1
IF arg
DO test.log("triggerMethod1 : arg == " + $1);
   test.log("triggerMethod1 : (arg && !arg) == " + (arg && !arg));
   test.log("triggerMethod1 : (arg && true) == " + (arg && true));
   return $1
ENDRULE

RULE test logical 2
CLASS TestLogical
METHOD triggerMethod1(boolean)
HELPER org.jboss.byteman.tests.helpers.Default
AFTER CALL log
BIND test : Test = $0;
     arg : boolean = $1
IF NOT arg
DO test.log("triggerMethod1 : arg == " + $1);
   test.log("triggerMethod1 : (arg || !arg) == " + (arg || !arg));
   test.log("triggerMethod1 : (arg || false) == " + (arg || false));
   return (arg ? false : true)
ENDRULE

RULE test logical 3
CLASS TestLogical
METHOD triggerMethod2(boolean)
HELPER org.jboss.byteman.tests.helpers.Default
AFTER CALL log
BIND test : Test = $0;
     arg : boolean = $1
IF arg
DO test.log("triggerMethod2 : arg == " + $1);
   test.log("triggerMethod2 : (arg || !arg) == " + (arg || !arg));
   test.log("triggerMethod2 : (arg || false) == " + (arg || false));
   return (arg ? false : true)
ENDRULE

RULE test logical 4
CLASS TestLogical
METHOD triggerMethod2(boolean)
HELPER org.jboss.byteman.tests.helpers.Default
AFTER CALL log
BIND test : Test = $0;
     arg : boolean = $1
IF NOT arg
DO test.log("triggerMethod2 : arg == " + $1);
   test.log("triggerMethod2 : (arg && !arg) == " + (arg && !arg));
   test.log("triggerMethod2 : (arg && true) == " + (arg && true));
   return $1
ENDRULE

