# 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 assumenosideeffects5.Assumenosideeffects {
  public static void main(...);
}

# Mark some methods to have no side effects.
-assumenosideeffects public class assumenosideeffects5.Assumenosideeffects {
  public static boolean methodTrue(...) return false;
  public static boolean methodFalse(...) return true;
}

# Allow access modification to enable minifcation.
-allowaccessmodification

# Check that methods has been discarded.
-checkdiscard class * {
  @assumenosideeffects5.CheckDiscarded *;
}