第三单元总结 Tags: OO JML实现方法 JML是一种用于形式化表述程序规格的语言，其具体实现方法是通过逻辑推理语言对程序的输入输出以及数据交互做出限制，来保证程序按照设计者的预期运行。同时它也被用来提高代码的可维护性和可读性，通过针对已有的代码写出其JML规格，有利于维护该代码。 在本文中， ...
分类：
其他好文 时间：
2021-06-02 16:31:20
阅读次数：
0
####1.官方文档中的解释 针对目前的lua5.4，官方api中对coroutine的解释如下 @class coroutinelib coroutine = {} 创建一个主体函数为 `f` 的新协程。 f 必须是一个 Lua 的函数。 返回这个新协程，它是一个类型为 `"thread"` 的对 ...
分类：
其他好文 时间：
2021-06-02 13:24:49
阅读次数：
0
components: { editor: (resolve) => require(["../../components/editor"], resolve), }, ...
分类：
其他好文 时间：
2021-06-02 13:05:52
阅读次数：
0
基于Redisson的分布式锁。 使用apollo的addChangeListener方法监听配置。 Redis Pttl 命令以毫秒为单位返回 key 的剩余过期时间。pexpire 以毫秒为单位设置 key 的生存时间Psetex 命令以毫秒为单位设置 key 的生存时间 1、通过以下方法创建r ...
分类：
其他好文 时间：
2021-06-02 12:48:39
阅读次数：
0
参考文章：https://blog.csdn.net/hzxonlineok/article/details/96307270 在写一个 emoji 组件，需要用到很多 emoji 表情，使用 data 定义一个 emoji 数组，里面有 文字 和 img 路径，发现图片不能显示，百度了一番，可以使 ...
分类：
其他好文 时间：
2021-06-02 12:26:48
阅读次数：
0
一、报错信息 Error:Maven Resources Compiler: Maven project configuration required for module 'XX（项目名）' isn't available. Compilation of Maven projects is sup ...
分类：
其他好文 时间：
2021-06-02 12:26:11
阅读次数：
0
目标 安全 稳定 廉价 快速 容灾 扩展 服务器 基础数据 腾讯云 2核 8GB 5Mbps 安全组配置 开放80、443，允许全部ip访问 开放22、6443，开放当前ip访问 环境 # 卸载firewalld，由安全组统一管理端口 sudo dnf remove firewalld # 关闭交换 ...
分类：
其他好文 时间：
2021-06-02 12:19:37
阅读次数：
0
npm link用来在本地项目和本地npm模块之间建立连接，可以在本地进行模块测试 具体用法： 1. 项目和模块在同一个目录下，可以使用相对路径 npm link ../module 2. 项目和模块不在同一个目录下 cd到模块目录，npm link，进行全局link（这时候会出现XXX路径1 -> ...
分类：
其他好文 时间：
2021-05-25 18:43:22
阅读次数：
0
<?php require_once './vendor/autoload.php'; use PhpAmqpLib\Connection\AMQPStreamConnection; use PhpAmqpLib\Message\AMQPMessage; use PhpAmqpLib\Wire\AM ...
分类：
其他好文 时间：
2021-05-25 18:09:40
阅读次数：
0
dataclasses 模块 本节主要讲述dataclasses的dataclass,field 导入： from dataclasses import dataclass, field 1.This module provides a decorator and functions for aut ...
分类：
其他好文 时间：
2021-05-24 17:15:42
阅读次数：
0
