| # Copyright (c) 2017, the R8 project authors. Please see the AUTHORS file |
| # for details. All rights reserved. Use of this source code is governed by a |
| # BSD-style license that can be found in the LICENSE file. |
| |
| # Keep the application entry point. Get rid of everything that is not |
| # reachable from there. |
| -keep public class assumenosideeffects3.Assumenosideeffects { |
| public static void main(...); |
| } |
| |
| # Mark some methods to have no side effects. |
| -assumenosideeffects public class assumenosideeffects3.Assumenosideeffects { |
| public static int method0(...) return 1; |
| public static int method1(...) return 0; |
| public static long method0L(...) return 1; |
| public static long method1L(...) return 0; |
| } |
| |
| # Allow access modification to enable minification. |
| -allowaccessmodification |
| |
| # Check that methods have been discarded. |
| -checkdiscard class ** { |
| @assumenosideeffects3.CheckDiscarded *; |
| } |