diff options
Diffstat (limited to 'gnu/testlet/java/util/IllegalFormatWidthException/classInfo/InstanceOf.java')
-rw-r--r-- | gnu/testlet/java/util/IllegalFormatWidthException/classInfo/InstanceOf.java | 67 |
1 files changed, 67 insertions, 0 deletions
diff --git a/gnu/testlet/java/util/IllegalFormatWidthException/classInfo/InstanceOf.java b/gnu/testlet/java/util/IllegalFormatWidthException/classInfo/InstanceOf.java new file mode 100644 index 00000000..6dccd6ec --- /dev/null +++ b/gnu/testlet/java/util/IllegalFormatWidthException/classInfo/InstanceOf.java @@ -0,0 +1,67 @@ +// Test for instanceof operator applied to a class java.util.IllegalFormatWidthException + +// Copyright (C) 2012 Pavel Tisnovsky <ptisnovs@redhat.com> + +// This file is part of Mauve. + +// Mauve is free software; you can redistribute it and/or modify +// it under the terms of the GNU General Public License as published by +// the Free Software Foundation; either version 2, or (at your option) +// any later version. + +// Mauve 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 General Public License for more details. + +// You should have received a copy of the GNU General Public License +// along with Mauve; see the file COPYING. If not, write to +// the Free Software Foundation, Inc., 51 Franklin Street, +// Fifth Floor, Boston, MA 02110-1301 USA. + +// Tags: JDK1.5 + +package gnu.testlet.java.util.IllegalFormatWidthException.classInfo; + +import gnu.testlet.TestHarness; +import gnu.testlet.Testlet; + +import java.util.IllegalFormatWidthException; +import java.util.IllegalFormatException; +import java.lang.IllegalArgumentException; +import java.lang.RuntimeException; +import java.lang.Exception; +import java.lang.Throwable; +import java.lang.Object; + + + +/** + * Test for instanceof operator applied to a class java.util.IllegalFormatWidthException + */ +public class InstanceOf implements Testlet +{ + + /** + * Runs the test using the specified harness. + * + * @param harness the test harness (<code>null</code> not permitted). + */ + public void test(TestHarness harness) + { + // create instance of a class IllegalFormatWidthException + IllegalFormatWidthException o = new IllegalFormatWidthException(42); + + // basic check of instanceof operator + harness.check(o instanceof IllegalFormatWidthException); + + // check operator instanceof against all superclasses + harness.check(o instanceof IllegalFormatException); + harness.check(o instanceof IllegalArgumentException); + harness.check(o instanceof RuntimeException); + harness.check(o instanceof Exception); + harness.check(o instanceof Throwable); + harness.check(o instanceof Object); + } +} + |