[toc] 前言 你以为你学的是JML，你以为你在学规格，你以为你上的课程叫OO。 哦，这些都没有错。 什么程序不能掺点算法题呢？\\ _ / 关于JML JML是什么 JML（java modeling language）是一种描述代码行为的语言，包括前置条件、副作用等等。JML是一种行为接口规格 ...
分类：
其他好文 时间：
2020-05-22 21:03:00
阅读次数：
60
eval是Python的一个内置函数，这个函数的作用是，返回传入字符串的表达式的结果。即变量赋值时，等号右边的表示是写成字符串的格式，返回值就是这个表达式的结果。 语法 eval(expression[, globals[, locals]]) expression ： 表达式。 globals ： ...
分类：
编程语言 时间：
2020-05-22 17:25:00
阅读次数：
100
那么JML(Java Modeling Language)到底是什么呢？“在面向对象编程中，一个重要原则就是尽可能地 推迟对于“过程”的思考 。”在每次编写程序后，想好了整体架构，搭建好了类和接口，之后面对的就是每一个方法。这个时候，我们思考的是这个方法能给我带来什么 预期结果 ，之后再考虑如何实现 ...
分类：
其他好文 时间：
2020-05-22 12:49:33
阅读次数：
57
D14 case语句是多级的if...then...else...fi语句很好的替代方式。它可以让一个条件与多个模式相比较，而且case语句的读写比较方便。 语法： case EXPRESSION in PATTERN1 ) CONSEQUENT-COMMANDS ;; #必须使用 PATTERN2 ...
分类：
系统相关 时间：
2020-05-22 12:48:23
阅读次数：
61
<aop:config> <aop:pointcut id="xmllog" expression="execution(* com.xhu.service.MyService.*(..))"/> <aop:pointcut id="xmlafter" expression="execution(* ...
分类：
编程语言 时间：
2020-05-21 23:43:02
阅读次数：
92
Given a string that contains only digits 0-9 and a target value, return all possibilities to add binary operators (not unary) +, -, or * between the d ...
分类：
其他好文 时间：
2020-05-21 09:38:29
阅读次数：
44
1 <%@ page language="java" import="java.util.*" pageEncoding="utf-8"%> 2 <%@taglib prefix="c" uri="http://java.sun.com/jsp/jstl/core" %> 3 <%-- 4 JSTL ...
分类：
Web程序 时间：
2020-05-20 20:17:59
阅读次数：
74
下载路径： http://yd01.siweidaoxiang.com:8070/jmeter_52z.com.zip 配置汉化中文： 找到jmeter的安装目录：打开 \bin\jmeter.properties 文件 修改37行,去掉# 改为 language=zh_CN 压力测试 启动 jme ...
分类：
其他好文 时间：
2020-05-20 18:32:45
阅读次数：
53
梳理JML语言的理论基础、应用工具链情况 JML(Java Modeling Language) JML是一种形式化的、面向JAVA的行为接口规格语言（behavioral interface specification language） JML允许在规格中混合使用Java语法成分和JML引入的语 ...
分类：
其他好文 时间：
2020-05-20 12:36:25
阅读次数：
79
OO第三单元总结 JML理论基础 JML是用于对Java程序进行规格化设计的一种表示语言，是一种行为接口规格语言(Behavior Interface Specification Language，BISL),基于Larch方法构建。JML以javadoc注释的方式来表示规格，每行都以@起头。而JM ...
分类：
其他好文 时间：
2020-05-20 00:19:58
阅读次数：
73
