| # 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 minification. | 
 | -allowaccessmodification | 
 |  | 
 | # Check that methods have been discarded. | 
 | -checkdiscard class ** { | 
 |   @assumenosideeffects1.CheckDiscarded *; | 
 | } |