JML理论基础 JML规定了一些语法,用这些语法可以描述一个方法,一个类的行为,理论基础是离散数学吧 JML常用语法 前置条件: 使用 require + 表达式 ,表达式一般为布尔表达式 副作用: assignable列出这个方法能够修改的类成员属性,\nothing是个关键词,表示这个方法不对任 ...
分类:
其他好文 时间:
2020-05-20 14:35:05
阅读次数:
60
布尔运算符分为四种: 取反运算符(!) 且运算符(&&) 或运算符(||) 三元运算符( ? 表达式1 : 表达式2 ) 取反运算符(!) 用于将任何值转换为布尔值后再变为相反值,即true变false,false变true 取反运算符对以下六个值返回false,其余都返回true: undefin ...
分类:
编程语言 时间:
2020-05-03 23:09:09
阅读次数:
136
表达式由操作数(operand)和运算符(operator)构成 1.运算符分类和优先级 2.运算符按操作数目分类 3.表达式分类 按运算符数目可分为:一元表达式,二元表达式,三元表达式 按用途分类:正则表达式、Lambda表达式等等 4.强制类型转换和扩展赋值运算符 在赋值运算符两侧的类型不一致的 ...
描述 众所周知,任何一个表达式,都可以用一棵表达式树来表示。例如,表达式a+b c,可以表示为如下的表达式树: + / \\ a \ / \\ b c 现在,给你一个中缀表达式,这个中缀表达式用变量来表示(不含数字),请你将这个中缀表达式用表达式二叉树的形式输出出来。 输入 输入分为三个部分。 第一 ...
分类:
其他好文 时间:
2020-04-29 21:48:12
阅读次数:
74
1、三目运算符三目运算符也叫条件运算符、三元运算符,是由一个问号和一个冒号组成。语法:表达式1?表达式2:表达式3;语义:先执行表达式1,如果表达式1的结果如果为真,那么执行表达式2,并且这个整体的运算式的结果是表达式2的结果;如果表达式1的结果如果为假,执行表达式3,运算式的结果是表达式3的结果。inta,b,c;a=7;b=6;c=(a>b)?a:b;等同于if(a>b)c=a;e
分类:
编程语言 时间:
2020-04-28 18:53:21
阅读次数:
91
在学习了for方法后,利用for循环可以大大减少代码的冗余,使用起来方便快捷; 我们都知道for循环的语法是: for(表达式1;表达式2;表达式3){ 循环操作; } 那么他们的执行顺序是怎么样的? 首先我们先在Eclipse中创建一个简单的for循环: 如图: 结果: 我们很清楚的看到了程序执行 ...
分类:
其他好文 时间:
2020-04-19 00:42:59
阅读次数:
66
1.1基础查询 1.去重结果集:distinct select distinct * from t_stu; 2.计算列:一般可以使用四则运算计算一些列的值(一般只会进行数值类型的计算) ifnull(表达式1,表达式2):null参与的计算,计算结果都为null 表达式1:那个字段需要判断是否为n ...
分类:
数据库 时间:
2020-04-17 00:31:21
阅读次数:
77
表达式:((25[0-5]|2[0-4]\d|((1\d{2})|([1-9]?\d)))\.){3}(25[0-5]|2[0-4]\d|((1\d{2})|([1-9]?\d))) 详见:https://www.cnblogs.com/olive987/p/5844501.html ...
分类:
其他好文 时间:
2020-04-15 23:01:49
阅读次数:
113
python注释 注释以#号开头,直至行尾。让#号后的字符不参与执行。 python程序的组成 程序由模块组成 模块由语句、函数、类等组成 语句包含表达式 表达式建立并处理对象 基本输出函数 print(值1, 值2, ...) print("a=%d" % a) print(value, sep= ...
分类:
编程语言 时间:
2020-04-12 14:29:42
阅读次数:
75
1.1 Xpath定位 1.1.1 选取节点 1.1.1.1 精确选择节点 XPath 使用路径表达式在 XML 文档中选取节点。节点是通过沿着路径或者 step 来选取的 路径表达式 表达式 描述 nodename 选取此节点的所有子节点。 / 从根节点选取。 // 从匹配选择的当前节点选择文档中 ...
分类:
其他好文 时间:
2020-04-12 12:21:23
阅读次数:
76