OO第三单元总结 [toc] 一、JML理论基础与工具链 理论基础 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言，即JML限制了各个类的规格。JML是一种行为接口规格语言。我们目前学到的JML仅限于level0，还只是入门级而已。 1. 注释 ...
分类：
其他好文 时间：
2020-05-22 21:34:25
阅读次数：
63
0.说明 本系列文章只根据自己的需要做部分定制，完整的教程见：https://blog.csdn.net/qq_34021712/category_9278675.html 有兴趣的可以一起研究。 1.服务端 1.1.Service配置 客户端接入 CAS 首先需要在服务端进行注册，否则客户端访问将 ...
分类：
其他好文 时间：
2020-05-19 12:25:24
阅读次数：
52
语法说明： []表示可选，{|}表示选其中一个 外键：参照表的列名，外键中的所有列值在引用的列中必须全部存在，外键可以只引用主键和替代键(unique 约束的字段),不能引用被参照表中随机的一组列，被参照表中参照的列的值必须是唯一的。 父表名：外键所参照的表名，如：course为参照表，teache ...
分类：
其他好文 时间：
2020-05-17 01:24:07
阅读次数：
277
MySQL专题八：索引 8.1. 索引类型 主键索引 默认mysql会为主键建立索引 唯一索引 用来保证一列或多列的唯一值，避免重复值 全文索引 多列索引 8.2. 索引创建 下面的 可以是 , 、`UNIQUE INDEX INDEX FULLTEXT INDEX` 在 语句中 ~~~ CREAT ...
分类：
数据库 时间：
2020-05-12 13:25:43
阅读次数：
66
设置layout_weight权重为1。有权重的地方全部都为相等的比例。 使用ConstraintLayout 进行权重分配 app:layout_constraintHorizontal_chainStyle="spread_inside" 可以达到我们需要的效果。 这个属性有三种样式 packe ...
分类：
移动开发 时间：
2020-05-03 12:14:25
阅读次数：
78
Data Management Tools—>Sampling—>Creat Random Points Output Location为输出路径； Output Point Feature Class为输出随机点要素的名称； Constraining Feature Class为用于生成随机点的研 ...
分类：
其他好文 时间：
2020-04-29 14:24:08
阅读次数：
182
ogg12.3.0.1.4 可以支持oracle 11.2.0.4，但是需要打补丁17030189 1.配置 tnsname (xag100,xag101) 2.源和目标归档模式设置 3.启用最少的补充日志记录和强制日志记录(源端 xag100) 4.OGG用户和权限分配(xag100,xag101 ...
分类：
数据库 时间：
2020-04-19 20:55:08
阅读次数：
105
首先建一张员工表(emp) CREATE TABLE `emp` ( `empno` int(11) NOT NULL COMMENT '员工编号', `ename` varchar(20) COLLATE utf8mb4_bin NOT NULL COMMENT '员工姓名', `job` var ...
分类：
数据库 时间：
2020-04-18 18:49:03
阅读次数：
152
迁移postgres数据库的时候,有时候会出现序列与数据库值不匹配的现象.参考了https://stackoverflow.com/questions/244243/how-to-reset-postgres-primary-key-sequence-when-it-falls-out-of-syn ...
分类：
其他好文 时间：
2020-04-15 01:00:23
阅读次数：
91
ylbtech-System.IntPtr.cs 1.返回顶部 1、 #region 程序集 mscorlib, Version=4.0.0.0, Culture=neutral, PublicKeyToken=b77a5c561934e089 // C:\Program Files (x86)\R ...
分类：
其他好文 时间：
2020-04-11 00:02:11
阅读次数：
92
