定义：在元组关系演算系统中，称{t|Q(t)}为元组演算表达式，其中t是元组变量，Q(t)是元组关系演算公式；它由原子公式和运算符组成。
我们接下来看看原子公式的三类：
1、R(t)：R是关系名，t是元组变量，R(t)是元组变量，R(t)表示t是R中的元组，一般用{t|R(t)}来表示
2、t[i]Θu[j]: t，u是元组变量，Θ是算术比较运算符。t[i]Θu[j]表示命题“元组t的第i个分量与元组u的第j个分量满足比较关系Θ”
3、t[i]Θc或者cΘt[i]这里的c是常量，该公式表示“t的第i个分量与常数c满足比较关系Θ”举个很简单的例子：t[4]=3表示t的第4个分量等于3。
|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 |
==> Installing gradle dependency: openjdk ==> ./configure --disable-warnings-as-errors --with-boot-jdk-jvmargs=-Duser.home ==> make images Last 15 lines from /Users/xxx/Library/Logs/Homebrew/openjdk/02.make: In file included from /Library/Developer/CommandLineTools/SDKs/MacOSX10.12.sdk/System/Library/Frameworks/CoreFoundation.framework/Headers/CFBase.h:18: /Library/Developer/CommandLineTools/SDKs/MacOSX10.12.sdk/System/Library/Frameworks/CoreFoundation.framework/Headers/CFAvailability.h:21:10: fatal error: 'os/availability.h' file not found #include <os/availability.h> ^ 1 error generated. * All command lines available in /private/tmp/openjdk-20210919-6132-1pm1i4r/jdk16u-jdk-16.0.1-ga/build/macosx-x86_64-server-release/make-support/failure-logs. === End of repeated output === No indication of failed target found. Hint: Try searching the build log for '] Error'. Hint: See doc/building.html#troubleshooting for assistance. |
解决方案：
|
1 2 3 4 5 |
$ export CPATH=/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/:$CPATH $ sudo rm -rf /Library/Developer/CommandLineTools $ xcode-select --install |
手机充电器里的开关电源是如何工作的
|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 |
//========================================================================= //== Utility Methods === //========================================================================= /** * 同步事件注入只可在测试线程中调用，不可在被测试者的主线程中调用，否则会导致被测试主线程阻塞 * Helper method injects a click event at a point on the active screen via the UiAutomation object. * @param x the x position on the screen to inject the click event * @param y the y position on the screen to inject the click event * @param automation a UiAutomation object received through the current Instrumentation */ @WorkerThread static void injectClickEvent(float x, float y, UiAutomation automation){ //A MotionEvent is a type of InputEvent. //The event time must be the current uptime. final long eventTime = SystemClock.uptimeMillis(); //A typical click event triggered by a user click on the touchscreen creates two MotionEvents, //first one with the action KeyEvent.ACTION_DOWN and the 2nd with the action KeyEvent.ACTION_UP MotionEvent motionDown = MotionEvent.obtain(eventTime, eventTime, KeyEvent.ACTION_DOWN, x, y, 0); //We must set the source of the MotionEvent or the click doesn't work. motionDown.setSource(InputDevice.SOURCE_TOUCHSCREEN); automation.injectInputEvent(motionDown, true); MotionEvent motionUp = MotionEvent.obtain(eventTime, eventTime, KeyEvent.ACTION_UP, x, y, 0); motionUp.setSource(InputDevice.SOURCE_TOUCHSCREEN); automation.injectInputEvent(motionUp, true); //Recycle our events back to the system pool. motionUp.recycle(); motionDown.recycle(); } |
注意：injectInputEvent 的第二个参数 sync 当被设置为 true 的时候，只可在测试框架的子线程中调用，不可在被测试者的主线程（UI线程）中调用，否则会导致被测试UI线程阻塞。原因是调用之后需要在另一个线程中等待执行结果。
How to inject click event with Android UiAutomation.injectInputEvent
KICAD TUTORIAL-Make Your First Printed Circuit Board
2021年8月14日，Debian11正式发布了，代号“bullseye” Debian 11 (bullseye), 64-bit PC 的发行说明
下面演示下Debian10升级到Debian11
最近在看JDK的源码：CopyOnWriteArrayList.java和ArrayList.java，这2个类的构造函数，注释中有一句话看不懂。
|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 |
public ArrayList(Collection<? extends E> c) { elementData = c.toArray(); size = elementData.length; // c.toArray might (incorrectly) not return Object[] (see 6260652) if (elementData.getClass() != Object[].class) elementData = Arrays.copyOf(elementData, size, Object[].class); } public CopyOnWriteArrayList(Collection<? extends E> c) { Object[] elements = c.toArray(); // c.toArray might (incorrectly) not return Object[] (see 6260652) if (elements.getClass() != Object[].class) elements = Arrays.copyOf(elements, elements.length, Object[].class); setArray(elements); } |
上网查了一下资料，才知道see 6260652 这个编号代表JDK bug库中的编号。可以去官网查看bug详情
http://bugs.java.com/bugdatabase/view_bug.do?bug_id=6260652
http://bugs.java.com/bugdatabase/view_bug.do?bug_id=6515694
6260652 和6515694这2个bug，貌似是同一个问题。这个bug是什么意思呢？我们先来看看一些测试代码:
|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 |
public static void test1() { SubClass[] subArray = {new SubClass(), new SubClass()}; System.out.println(subArray.getClass()); // class [Lcollection.SubClass; BaseClass[] baseArray = subArray; System.out.println(baseArray.getClass()); // java.lang.ArrayStoreException baseArray[0] = new BaseClass(); } public static void test2() { List<String> list = Arrays.asList("abc"); // class java.util.Arrays$ArrayList System.out.println(list.getClass()); // class [Ljava.lang.String; Object[] objArray = list.toArray(); System.out.println(objArray.getClass()); objArray[0] = new Object(); // cause ArrayStoreException } public static void test3() { List<String> dataList = new ArrayList<String>(); dataList.add("one"); dataList.add("two"); Object[] listToArray = dataList.toArray(); // class [Ljava.lang.Object;返回的是Object数组 System.out.println(listToArray.getClass()); listToArray[0] = ""; listToArray[0] = 123; listToArray[0] = new Object(); } |
1、关于test1()
SubClass 继承自BaseClass，由于SubClass数组中每一个元素都是SubClass对象，所以
|
1 |
BaseClass[] baseArray = subArray; |
这种强制类型转换不会报错。这其实就是java对象的向上转型，子类数组转换成父类数组是允许的。但是由于数组中元素类型都是SubClass类型的，所以
|
1 |
baseArray[0] = new BaseClass(); |
会报错
|
1 |
java.lang.ArrayStoreException |
这也就是说假如我们有1个Object[]数组，并不代表着我们可以将Object对象存进去，这取决于数组中元素实际的类型。
2、关于test2()
|
1 |
List<String> list = Arrays.asList("abc"); |
需要注意，可以知道返回的实际类型是
|
1 |
java.util.Arrays$ArrayList |
而不是
|
1 |
ArrayList |
我们调用
|
1 |
Object[] objArray = list.toArray(); |
返回是String[]数组，所以我们不能将Object对象，放到objArray数组中。
3、关于test3()
ArrayList对象的toArray()返回就是Object[]数组，所以我们可以将任意对象存放到返回的Object[]数组中。
通过test2和test3可以看出，如果我们有1个
|
1 |
List<String> stringList |
对象，当我么调用
|
1 |
Object[] objectArray = stringList.toArray(); |
的时候，objectArray 并不一定能够放置Object对象。这就是源码中的注释：
|
1 |
//c.toArray might (incorrectly) not return Object[] (see 6260652) |
为了考虑这种情况，所以源码中进行了if判断，来防止错误的数组对象导致异常。
|
1 |
Arrays.copyOf(elementData, size, Object[].class); |
这个方法就是用来创建1个Object[]数组，这样数组中就可以存放任意对象了。
最近项目上有个需求，读取通讯录。当用户点了拒绝访问通讯录或者其他权限，导致无法使用，这时候我想重新打开权限设置，但是对于很多小白用户不知道怎么设置，这就会导致用户体验不友好的一面。
之前已经有人写过类似的文章，不过都比较分散，经实测将这些方法总结了一下。
要跳转的权限设置界面如图：目前手上只有华为和小米作为测试
最近在 Android R(Android 11)系统上执行以前写的Espresso UI(AndroidX)单元测试用例的时候，发现在 联想拯救者电竞手机Pro(128GB) 系统版本 12.5.225上，如果测试用例申请了通讯录写入权限，如下：
|
1 |
<uses-permission android:name="android.permission.WRITE_CONTACTS" /> |
那么测试用例执行的时候，会报告如下错误：
|
1 |
Test running failed:Process crashed. |
详细的logcat日志如下：
|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 |
D/Zygote: Forked child process 10664 I/ActivityManager: Start proc 10664:xx.test/u0a274 for added application xx.test I/AutoRun: AutoRunServices: ProcessStateHandler: sendKillAppRequest: [uid = 10274, pid = 10664, package name = xx.test mOtherPids = null, mStartupTime = 0, mDelay = 0, mCount = 0] I/adbd: jdwp connection from 10664 D/ApplicationLoaders: Returning zygote-cached class loader: /system/framework/android.test.base.jar D/ApplicationLoaders: Returning zygote-cached class loader: /system/framework/android.test.base.jar I/yboard.biz.tes: The ClassLoaderContext is a special shared library. D/ApplicationLoaders: Returning zygote-cached class loader: /system/framework/android.test.base.jar D/ApplicationLoaders: Returning zygote-cached class loader: /system/framework/android.test.base.jar I/Perf: Connecting to perf service. D/NetworkSecurityConfig: No Network Security Config specified, using platform default D/NetworkSecurityConfig: No Network Security Config specified, using platform default I/MonitoringInstr: Instrumentation started! I/AndroidJUnitRunner: Waiting for debugger to connect... I/System.out: Sending WAIT chunk I/ActivityManager: Killing 10664:xx.test/u0a274 (adj 0): permissions revoked I/Zygote: Process 10664 exited due to signal 9 (Killed) I/libprocessgroup: Successfully killed process cgroup uid 10274 pid 10664 in 44ms |
目前测试发现，即使通过GrantPermissionRule授予权限，也是没用的，代码根本来不及执行，应用就一下被系统杀死了。
|
1 2 |
@Rule public final GrantPermissionRule rule = GrantPermissionRule.grant(android.Manifest.permission.WRITE_CONTACTS); |
在OPPO/VIVO/小米等手机上，需要手工开启 后台弹出界面权限 才能执行单元测试。有个思路是通过UI Automator来自动开启这个权限，暂时还需要测试一下。
在Android 11执行如下代码：
|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 |
/** * 保存拍照的图片是否已经完成 * * @param context Context 对象 * @return 查询成功返回 true ,否则返回false */ private static boolean isSavePictureComplete(@NonNull final Context context, long takeTime) { //扫描图片 final Uri uri = MediaStore.Images.Media.EXTERNAL_CONTENT_URI; final ContentResolver resolver = context.getContentResolver(); final Cursor cursor = resolver.query(uri, new String[]{ MediaStore.Images.Media.DATE_ADDED, MediaStore.Images.Media._ID, MediaStore.Images.Media.SIZE }, MediaStore.MediaColumns.SIZE + ">0", null, MediaStore.Files.FileColumns._ID + " DESC limit 1 offset 0"); //读取扫描到的图片 if ((null != cursor) && (cursor.getCount() > 0) && cursor.moveToFirst()) { //获取图片时间 long time = cursor.getLong(cursor.getColumnIndex(MediaStore.Images.Media.DATE_ADDED)); int id = cursor.getInt(cursor.getColumnIndex(MediaStore.Images.Media._ID)); if (String.valueOf(time).length() < 13) { time *= 1000; } cursor.close(); // 如果照片的插入时间大于相机的拍照时间，就认为是拍照图片已插入 return time + 1000 < takeTime; } return true; } |
会出现如下错误：
|
1 2 3 4 5 6 7 |
java.lang.IllegalArgumentException: Invalid token limit at android.database.DatabaseUtils.readExceptionFromParcel(DatabaseUtils.java:172) at android.database.DatabaseUtils.readExceptionFromParcel(DatabaseUtils.java:142) at android.content.ContentProviderProxy.query(ContentProviderNative.java:472) at android.content.ContentResolver.query(ContentResolver.java:1197) at android.content.ContentResolver.query(ContentResolver.java:1128) at android.content.ContentResolver.query(ContentResolver.java:1084) |
原因为 Android 11 上使用 ContentResolver 的时候，已经不允许进行 SQL语句拼接，主要是为了防止 SQL注入攻击。
代码参考如下：
|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 |
/** * 保存拍照的图片是否已经完成 * * @param context Context 对象 * @return 查询成功返回 true ,否则返回false */ private static boolean isSavePictureComplete(@NonNull final Context context, long takeTime) { final Uri uri = MediaStore.Images.Media.EXTERNAL_CONTENT_URI; final String[] columns = new String[]{ MediaStore.Images.Media.DATE_ADDED, MediaStore.Images.Media._ID, MediaStore.Images.Media.SIZE}; //扫描图片 final ContentResolver contentResolver = context.getContentResolver(); Cursor cursor = null; try { if (Build.VERSION.SDK_INT >= Build.VERSION_CODES.Q/*29*/) { final Bundle bundle = new Bundle(); bundle.putString(ContentResolver.QUERY_ARG_SQL_SELECTION, MediaStore.MediaColumns.SIZE + " > ?"); bundle.putStringArray(ContentResolver.QUERY_ARG_SQL_SELECTION_ARGS, new String[]{"0"}); bundle.putStringArray(ContentResolver.QUERY_ARG_SORT_COLUMNS, new String[]{MediaStore.Files.FileColumns._ID}); bundle.putInt(ContentResolver.QUERY_ARG_SORT_DIRECTION, ContentResolver.QUERY_SORT_DIRECTION_DESCENDING); bundle.putInt(ContentResolver.QUERY_ARG_LIMIT, 1); bundle.putInt(ContentResolver.QUERY_ARG_OFFSET, 0); cursor = contentResolver.query(uri, columns, bundle, null); } else { cursor = contentResolver.query(uri, columns, MediaStore.MediaColumns.SIZE + ">0", null, MediaStore.Files.FileColumns._ID + " DESC limit 1 offset 0"); } //读取扫描到的图片 if ((null != cursor) && (cursor.getCount() > 0) && cursor.moveToFirst()) { //获取图片时间 long time = cursor.getLong(cursor.getColumnIndex(MediaStore.Images.Media.DATE_ADDED)); if (String.valueOf(time).length() < 13) { time *= 1000; } // 如果照片的插入时间大于相机的拍照时间，就认为是拍照图片已插入 return time + 1000 < takeTime; } } finally { if (null != cursor) { cursor.close(); } } return true; } |
limiting number of rows in a ContentResolver.query() function