• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1# Copyright (c) 2017, the R8 project authors. Please see the AUTHORS file
2# for details. All rights reserved. Use of this source code is governed by a
3# BSD-style license that can be found in the LICENSE file.
4
5# Keep the application entry point. Get rid of everything that is not
6# reachable from there.
7-keep public class assumenosideeffects5.Assumenosideeffects {
8  public static void main(...);
9}
10
11# Mark some methods to have no side effects.
12-assumenosideeffects public class assumenosideeffects5.Assumenosideeffects {
13  public static boolean methodTrue(...) return false;
14  public static boolean methodFalse(...) return true;
15}
16
17# Allow access modification to enable minifcation.
18-allowaccessmodification
19
20# Check that methods has been discarded.
21-checkdiscard class * {
22  @assumenosideeffects5.CheckDiscarded *;
23}
24