diff options
Diffstat (limited to 'tests/075-verification-error')
11 files changed, 375 insertions, 0 deletions
diff --git a/tests/075-verification-error/expected.txt b/tests/075-verification-error/expected.txt new file mode 100644 index 0000000..6e4f584 --- /dev/null +++ b/tests/075-verification-error/expected.txt @@ -0,0 +1,12 @@ +Got expected InstantationError +Got expected NoSuchFieldError +Got expected NoSuchFieldError +Got expected NoSuchMethodError +Got expected NoSuchMethodError +Got expected IllegalAccessError (ifield) +Got expected IllegalAccessError (sfield) +Got expected IllegalAccessError (method) +Got expected IllegalAccessError (smethod) +Got expected IllegalAccessError (meth-class) +Got expected IllegalAccessError (field-class) +Got expected IllegalAccessError (meth-meth) diff --git a/tests/075-verification-error/info.txt b/tests/075-verification-error/info.txt new file mode 100644 index 0000000..be688ff --- /dev/null +++ b/tests/075-verification-error/info.txt @@ -0,0 +1 @@ +Exercise deferred verification error reporting. diff --git a/tests/075-verification-error/src/Main.java b/tests/075-verification-error/src/Main.java new file mode 100644 index 0000000..51d648c --- /dev/null +++ b/tests/075-verification-error/src/Main.java @@ -0,0 +1,148 @@ +/* + * Copyright (C) 2009 The Android Open Source Project + * + * Licensed under the Apache License, Version 2.0 (the "License"); + * you may not use this file except in compliance with the License. + * You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + * See the License for the specific language governing permissions and + * limitations under the License. + */ + +import other.Mutant; +import other.InaccessibleClass; +import other.InaccessibleMethod; + +/** + * Test some problematic situations that the verifier detects. + */ +public class Main { + public static final boolean VERBOSE = false; + + public static void main(String[] args) { + testClassNewInstance(); + testMissingStuff(); + testBadAccess(); + } + + /** + * Try to create a new instance of an abstract class. + */ + static void testClassNewInstance() { + try { + MaybeAbstract ma = new MaybeAbstract(); + System.err.println("ERROR: MaybeAbstract succeeded unexpectedly"); + } catch (InstantiationError ie) { + System.out.println("Got expected InstantationError"); + if (VERBOSE) System.out.println("--- " + ie); + } catch (Exception ex) { + System.err.println("Got unexpected MaybeAbstract failure"); + } + } + + /** + * Test stuff that disappears. + */ + static void testMissingStuff() { + Mutant mutant = new Mutant(); + + try { + int x = mutant.disappearingField; + } catch (NoSuchFieldError nsfe) { + System.out.println("Got expected NoSuchFieldError"); + if (VERBOSE) System.out.println("--- " + nsfe); + } + + try { + int y = Mutant.disappearingStaticField; + } catch (NoSuchFieldError nsfe) { + System.out.println("Got expected NoSuchFieldError"); + if (VERBOSE) System.out.println("--- " + nsfe); + } + + try { + mutant.disappearingMethod(); + } catch (NoSuchMethodError nsme) { + System.out.println("Got expected NoSuchMethodError"); + if (VERBOSE) System.out.println("--- " + nsme); + } + + try { + Mutant.disappearingStaticMethod(); + } catch (NoSuchMethodError nsme) { + System.out.println("Got expected NoSuchMethodError"); + if (VERBOSE) System.out.println("--- " + nsme); + } + } + + /** + * Test stuff that becomes inaccessible. + */ + static void testBadAccess() { + Mutant mutant = new Mutant(); + + try { + int x = mutant.inaccessibleField; + System.err.println("ERROR: bad access succeeded\n"); + } catch (IllegalAccessError iae) { + System.out.println("Got expected IllegalAccessError (ifield)"); + if (VERBOSE) System.out.println("--- " + iae); + } + + try { + int y = Mutant.inaccessibleStaticField; + System.err.println("ERROR: bad access succeeded\n"); + } catch (IllegalAccessError iae) { + System.out.println("Got expected IllegalAccessError (sfield)"); + if (VERBOSE) System.out.println("--- " + iae); + } + + try { + mutant.inaccessibleMethod(); + System.err.println("ERROR: bad access succeeded\n"); + } catch (IllegalAccessError iae) { + System.out.println("Got expected IllegalAccessError (method)"); + if (VERBOSE) System.out.println("--- " + iae); + } + + try { + Mutant.inaccessibleStaticMethod(); + System.err.println("ERROR: bad access succeeded\n"); + } catch (IllegalAccessError iae) { + System.out.println("Got expected IllegalAccessError (smethod)"); + if (VERBOSE) System.out.println("--- " + iae); + } + + try { + /* accessible static method in an inaccessible class */ + InaccessibleClass.test(); + System.err.println("ERROR: bad meth-class access succeeded\n"); + } catch (IllegalAccessError iae) { + System.out.println("Got expected IllegalAccessError (meth-class)"); + if (VERBOSE) System.out.println("--- " + iae); + } + + try { + /* accessible static field in an inaccessible class */ + int blah = InaccessibleClass.blah; + System.err.println("ERROR: bad field-class access succeeded\n"); + } catch (IllegalAccessError iae) { + System.out.println("Got expected IllegalAccessError (field-class)"); + if (VERBOSE) System.out.println("--- " + iae); + } + + try { + /* inaccessible static method in an accessible class */ + InaccessibleMethod.test(); + System.err.println("ERROR: bad access succeeded\n"); + } catch (IllegalAccessError iae) { + System.out.println("Got expected IllegalAccessError (meth-meth)"); + if (VERBOSE) System.out.println("--- " + iae); + } + } +} diff --git a/tests/075-verification-error/src/MaybeAbstract.java b/tests/075-verification-error/src/MaybeAbstract.java new file mode 100644 index 0000000..6d3b05b --- /dev/null +++ b/tests/075-verification-error/src/MaybeAbstract.java @@ -0,0 +1,20 @@ +/* + * Copyright (C) 2009 The Android Open Source Project + * + * Licensed under the Apache License, Version 2.0 (the "License"); + * you may not use this file except in compliance with the License. + * You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + * See the License for the specific language governing permissions and + * limitations under the License. + */ + +public /*abstract*/ class MaybeAbstract { + public MaybeAbstract() {} + int foo() { return 0; } +} diff --git a/tests/075-verification-error/src/other/InaccessibleClass.java b/tests/075-verification-error/src/other/InaccessibleClass.java new file mode 100644 index 0000000..b9bdfc4 --- /dev/null +++ b/tests/075-verification-error/src/other/InaccessibleClass.java @@ -0,0 +1,23 @@ +/* + * Copyright (C) 2009 The Android Open Source Project + * + * Licensed under the Apache License, Version 2.0 (the "License"); + * you may not use this file except in compliance with the License. + * You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + * See the License for the specific language governing permissions and + * limitations under the License. + */ + +package other; + +public class InaccessibleClass { + public static void test() {} + + public static int blah = 5; +} diff --git a/tests/075-verification-error/src/other/InaccessibleMethod.java b/tests/075-verification-error/src/other/InaccessibleMethod.java new file mode 100644 index 0000000..0460373 --- /dev/null +++ b/tests/075-verification-error/src/other/InaccessibleMethod.java @@ -0,0 +1,21 @@ +/* + * Copyright (C) 2009 The Android Open Source Project + * + * Licensed under the Apache License, Version 2.0 (the "License"); + * you may not use this file except in compliance with the License. + * You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + * See the License for the specific language governing permissions and + * limitations under the License. + */ + +package other; + +public class InaccessibleMethod { + public static void test() {} +} diff --git a/tests/075-verification-error/src/other/Mutant.java b/tests/075-verification-error/src/other/Mutant.java new file mode 100644 index 0000000..ec4754b --- /dev/null +++ b/tests/075-verification-error/src/other/Mutant.java @@ -0,0 +1,43 @@ +/* + * Copyright (C) 2009 The Android Open Source Project + * + * Licensed under the Apache License, Version 2.0 (the "License"); + * you may not use this file except in compliance with the License. + * You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + * See the License for the specific language governing permissions and + * limitations under the License. + */ + +package other; + +/** + * Parts of this class will disappear or change form. + */ +public class Mutant { + public int disappearingField = 3; + public static int disappearingStaticField = 4; + + public void disappearingMethod() { + System.out.println("bye"); + } + public static void disappearingStaticMethod() { + System.out.println("kthxbai"); + } + + public int inaccessibleField = 5; + public static int inaccessibleStaticField = 6; + + public void inaccessibleMethod() { + System.out.println("no"); + } + + public static void inaccessibleStaticMethod() { + System.out.println("nay"); + } +} diff --git a/tests/075-verification-error/src2/MaybeAbstract.java b/tests/075-verification-error/src2/MaybeAbstract.java new file mode 100644 index 0000000..8b70a07 --- /dev/null +++ b/tests/075-verification-error/src2/MaybeAbstract.java @@ -0,0 +1,20 @@ +/* + * Copyright (C) 2009 The Android Open Source Project + * + * Licensed under the Apache License, Version 2.0 (the "License"); + * you may not use this file except in compliance with the License. + * You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + * See the License for the specific language governing permissions and + * limitations under the License. + */ + +public abstract class MaybeAbstract { + public MaybeAbstract() {} + int foo() { return 0; } +} diff --git a/tests/075-verification-error/src2/other/InaccessibleClass.java b/tests/075-verification-error/src2/other/InaccessibleClass.java new file mode 100644 index 0000000..812fac9 --- /dev/null +++ b/tests/075-verification-error/src2/other/InaccessibleClass.java @@ -0,0 +1,23 @@ +/* + * Copyright (C) 2009 The Android Open Source Project + * + * Licensed under the Apache License, Version 2.0 (the "License"); + * you may not use this file except in compliance with the License. + * You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + * See the License for the specific language governing permissions and + * limitations under the License. + */ + +package other; + +/*package*/ class InaccessibleClass { + public static void test() {} + + public static int blah = 5; +} diff --git a/tests/075-verification-error/src2/other/InaccessibleMethod.java b/tests/075-verification-error/src2/other/InaccessibleMethod.java new file mode 100644 index 0000000..9fb844e --- /dev/null +++ b/tests/075-verification-error/src2/other/InaccessibleMethod.java @@ -0,0 +1,21 @@ +/* + * Copyright (C) 2009 The Android Open Source Project + * + * Licensed under the Apache License, Version 2.0 (the "License"); + * you may not use this file except in compliance with the License. + * You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + * See the License for the specific language governing permissions and + * limitations under the License. + */ + +package other; + +public class InaccessibleMethod { + /*package*/ static void test() {} +} diff --git a/tests/075-verification-error/src2/other/Mutant.java b/tests/075-verification-error/src2/other/Mutant.java new file mode 100644 index 0000000..67cd36d --- /dev/null +++ b/tests/075-verification-error/src2/other/Mutant.java @@ -0,0 +1,43 @@ +/* + * Copyright (C) 2009 The Android Open Source Project + * + * Licensed under the Apache License, Version 2.0 (the "License"); + * you may not use this file except in compliance with the License. + * You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + * See the License for the specific language governing permissions and + * limitations under the License. + */ + +package other; + +/** + * Parts of this class will disappear or change form. + */ +public class Mutant { + //public int disappearingField = 3; + //public static int disappearingStaticField = 4; + + //public static void disappearingMethod() { + // System.out.println("bye"); + //} + //public static void disappearingStaticMethod() { + // System.out.println("kthxbai"); + //} + + protected int inaccessibleField = 5; + protected static int inaccessibleStaticField = 6; + + protected void inaccessibleMethod() { + System.out.println("no"); + } + + protected static void inaccessibleStaticMethod() { + System.out.println("nay"); + } +} |