src/test/examples/assumenosideeffects1/keep-rules-discard.txt

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

# Mark some methods to have no side effects.
-assumenosideeffects public class assumenosideeffects1.Assumenosideeffects {
  public static void noSideEffectVoid(...);
  public static int noSideEffectInt(...);
}

# Allow access modification to enable minifcation.
-allowaccessmodification

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