1 /*
2  * Copyright (C) 2018 The Android Open Source Project
3  *
4  * Licensed under the Apache License, Version 2.0 (the "License");
5  * you may not use this file except in compliance with the License.
6  * You may obtain a copy of the License at
7  *
8  *      http://www.apache.org/licenses/LICENSE-2.0
9  *
10  * Unless required by applicable law or agreed to in writing, software
11  * distributed under the License is distributed on an "AS IS" BASIS,
12  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13  * See the License for the specific language governing permissions and
14  * limitations under the License
15  */
16 
17 package com.android.internal.policy;
18 
19 import android.content.res.Resources;
20 
21 import com.android.internal.R;
22 
23 /**
24  * Utility functions for screen decorations used by both window manager and System UI.
25  */
26 public class ScreenDecorationsUtils {
27 
28     /**
29      * Corner radius that should be used on windows in order to cover the display.
30      * These values are expressed in pixels because they should not respect display or font
31      * scaling, this means that we don't have to reload them on config changes.
32      */
getWindowCornerRadius(Resources resources)33     public static float getWindowCornerRadius(Resources resources) {
34         if (!supportsRoundedCornersOnWindows(resources)) {
35             return 0f;
36         }
37 
38         // Radius that should be used in case top or bottom aren't defined.
39         float defaultRadius = resources.getDimension(R.dimen.rounded_corner_radius)
40                 - resources.getDimension(R.dimen.rounded_corner_radius_adjustment);
41 
42         float topRadius = resources.getDimension(R.dimen.rounded_corner_radius_top)
43                 - resources.getDimension(R.dimen.rounded_corner_radius_top_adjustment);
44         if (topRadius == 0f) {
45             topRadius = defaultRadius;
46         }
47         float bottomRadius = resources.getDimension(R.dimen.rounded_corner_radius_bottom)
48                 - resources.getDimension(R.dimen.rounded_corner_radius_bottom_adjustment);
49         if (bottomRadius == 0f) {
50             bottomRadius = defaultRadius;
51         }
52 
53         // Always use the smallest radius to make sure the rounded corners will
54         // completely cover the display.
55         return Math.min(topRadius, bottomRadius);
56     }
57 
58     /**
59      * If live rounded corners are supported on windows.
60      */
supportsRoundedCornersOnWindows(Resources resources)61     public static boolean supportsRoundedCornersOnWindows(Resources resources) {
62         return resources.getBoolean(R.bool.config_supportsRoundedCornersOnWindows);
63     }
64 }
65