- 浏览: 122741 次
文章分类
- 全部博客 (121)
- confluence (1)
- android (77)
- PHP (6)
- java (21)
- mysql (3)
- dos (1)
- 传感器 (2)
- 获取电话薄信息 (3)
- 正则表达式 (1)
- 网络 (1)
- 蓝牙 (1)
- 图片 (4)
- intent (3)
- 注意 (1)
- eclipce (1)
- plugins (1)
- dialog (4)
- zip (1)
- sd卡 (1)
- ui (1)
- Camera (1)
- draw (1)
- activity (2)
- launchMode (1)
- 安全 (1)
- Button (1)
- ImageTextButton (1)
- paint (1)
- network (1)
- popupwindow (1)
- jquery (1)
- ant (1)
- notifaction (1)
- Rating (1)
- ListView (3)
- editText (1)
- doc (1)
- jdk (1)
- animation (1)
- sign (1)
- 签名 (1)
- 广播 (1)
- textview (4)
- 删除线 (1)
- 城市列表 (1)
- IDE (1)
- Eclipse (1)
- pixels (2)
- px (1)
- 静默安装 (1)
- Android截屏 (1)
- eclipcetheme (1)
- scroll (1)
- ActivityGroup (1)
- sqlite (1)
- webview (3)
- PullToRefreshListView (1)
- cache (1)
- java引用 (1)
- 命名空间 (1)
- httpClient (1)
- 开源控件 (0)
- sms (1)
- 文字水平滚动 (1)
- 正则 (1)
- 理论知识 (1)
- 属性 (0)
- openfire (1)
- 面试 (1)
- 继承的优缺点 (1)
- PowerDesigner (1)
- 数字格式化 (1)
- andriod (1)
- webservice (1)
- 记录 (0)
- share (0)
- 开源 (1)
最新评论
常见的断言特性
前置条件断言:代码执行之前必须具备的特性
后置条件断言:代码执行之后必须具备的特性
前后不变断言:代码执行前后不能变化的特性
断言使用方式
断言可以有两种形式
1.assert Expression1
2.assert Expression1:Expression2
其中Expression1应该总是一个布尔值,Expression2是断言失败时输出的失败消息的字符串。如果Expression1为假,则抛出一个 AssertionError,这是一个错误,而不是一个异常,也就是说是一个不可控制异常(unchecked Exception),AssertionError由于是错误,所以可以不捕获,但不推荐这样做,因为那样会使你的系统进入不稳定状态。
起用断言
断言在默认情况下是关闭的,要在编译时启用断言,需要使用source1.4标记 既javac source1.4 Test.java ,在运行时启用断言需要使用 -ea参数 。要在系统类中启用和禁用断言可以使用 -esa 和 -dsa参数。
例如:
public class AssertExampleOne{
public AssertExampleOne(){}
public static void main(String args[]){
int x=10;
System.out.println("Testing Assertion that x==100");
assert x==100:"Out assertion failed!";
System.out.println("Test passed!");
}
}
如果编译时未加 -source1.4,则编译通不过
在执行时未加 -ea 时输出为
Testing Assertion that x==100
Test passed
jre忽略了断言的就代码,而使用了该参数就会输出为
Testing Assertion that x==100
Exception in thread "main" java.lang.AssertionError: Out assertion failed!
at AssertExampleOne.main(AssertExampleOne.java:6)
断言的副作用
由于程序员的问题,断言的使用可能会带来副作用 ,例如:
boolean isEnable=false;
//...
assert isEnable=true;
这个断言的副作用是因为它修改了程序中变量的值并且未抛出错误,这样的错误如果不细心的检查是很难发现的。但是同时我们可以根据以上的副作用得到一个有用的特性,根据它来测试断言是否打开。
public class AssertExampleTwo{
public static void main(String args[]){
boolean isEnable=false;
//...
assert isEnable=true;
if(isEnable==false){
throw new RuntimeException("Assertion shoule be enable!");
}
}
}
何时需要使用断言
1.可以在预计正常情况下程序不会到达的地方放置断言 :assert false
2.断言可以用于检查传递给私有方法的参数。(对于公有方法,因为是提供给外部的接口,所以必须在方法中有相应的参数检验才能保证代码的健壮性)
3.使用断言测试方法执行的前置条件和后置条件
4.使用断言检查类的不变状态,确保任何情况下,某个变量的状态必须满足。(如age属性应大于0小于某个合适值)
什么地方不要使用断言
断言语句不是永远会执行,可以屏蔽也可以启用
因此:
1.不要使用断言作为公共方法的参数检查,公共方法的参数永远都要执行
2.断言语句不可以有任何边界效应,不要使用断言语句去修改变量和改变方法的返回值
参考:
http://jcp.org/en/jsr/detail?id=41
http://java.sun.com/j2se/1.4.2/docs/guide/lang/assert.html
http://www-128.ibm.com/developworkers/cn/java/jdiag0723/
http://www-128.ibm.com/developworkers/cn/java/jmerlin/part9/
来自:http://www.blogjava.net/liulu/archive/2006/10/24/77005.html
发表评论
-
数字格式化
2013-12-17 11:32 529今天复习了下jdk的api。 ... -
java 基础
2013-12-13 10:33 304继承的优缺点1.优点: 代码共享,减少创建类的工作量,每个子 ... -
使用java jdk 制作签名
2013-07-05 09:28 724使用jdk提供的工具 keytool keytoo ... -
java JDK 版本列表
2013-06-27 22:38 760http://www.oracle.com/technetw ... -
ANT 理解
2013-05-07 12:41 512在学习struts+spring+hibernate,尤其是 ... -
DES3加密
2013-03-14 17:12 829public class DES3 { priva ... -
java 字符串zip压缩与解压缩
2013-02-23 17:06 924// 压缩 public static Stri ... -
为Eclipce安装jar反编译插件
2013-01-10 14:38 1084目的:做个记录,怕下次搞忘求. 反编译插件URL:http: ... -
android 蓝牙
2012-12-04 14:21 768对于一般的软件开发人员来说,蓝牙是很少用到的,尤其是Andro ... -
2011-09-25 11:03 Android-开启和关闭wifi的代码段
2012-12-03 11:31 7441·申请权限: android.permission. ... -
Android编程获取网络连接状态(3G/Wifi)及调用网络配置界面
2012-12-03 11:25 717获取网络连接状态 随着3G和Wifi的推广,越来越多的And ... -
Android GPS开启与否检测
2012-12-03 10:25 923最近做一个项目:利用到GPS,用户希望在手机GPS未开启的 ... -
JAVA 获取系统编码
2012-12-01 15:45 735package encoding; publi ... -
手机号码和电话号码的正则表达式
2012-11-18 10:42 1424^[\u4E00-\u9FA50-9a-zA-Z_-]{0, ... -
管理配置文件
2012-11-12 14:59 690建立管理读取配置文件类: public class Conf ... -
Quartz学习 1
2012-11-12 14:55 0Quartz让作业调度简单 Quartz是一个完全由ja ... -
mysql字符集查看以及修改
2012-11-07 10:38 7591.查找MySQL的cnf文件的位置 find / -ina ... -
MySQL数据库编码问题(转载)
2012-11-07 10:19 593在程序开发中,有时会 ... -
spring REST中的内容协商(同一资源,多种展现:xml,json,html)
2012-10-30 10:53 947来自:http://www.blogjava.ne ... -
设置tomcat 默认编码
2012-10-29 16:44 628在tomcat/conf/server.xml中找到 ...
相关推荐
编程语言JAVA断言使用.pdf
JAVA断言技术详解,1、What will happen when you attempt to compile and run the following code? (Assume that the code is compiled and run with assertions enabled) 1. public class AssertTest 2. { 3. ...
Selenium-java断言(90)【2021-02-02】.docx
文档表示java中断言的使用,使用断言的好处,以及怎么使用
如果你认真学习每个ppt并自己敲完这些实例,你的java基础已经很优秀了!这些资料就是某些大学和培训机构一个学期或更长时间学习的! 为的是共同学习,共同进步! 注:本资料不承担任何法律责任!
可以为Java复杂的测试提供简单的方法!可以加快开发进度
AssertJ 是 JAVA 的流畅断言库。示例代码:// unique entry point to get access to all assertThat methods and utility methods (e.g. entry) import static org.assertj.core.api.Assertions....
主要介绍了java异常处理机制示例(java抛出异常、捕获、断言),需要的朋友可以参考下
本版也不例外,它反遇了Java SE6的新特性。全书共14章,包括Java基本的程序结构、对象与类、继承、接口与内部类、图形程序设计、事件处理、Swing用户界面组件、部署应用程序和Applet、异常日志断言和调试、叙述方式...
本书是世界级编程大师Herbert Schildt的又一作品。...同时涵盖了Java应用程序和小程序开发、编译、调试和运行等方面所需的全部内容,并包括了最新的Java 2,版本1.4中所含的新特性,如断言、NIO、规...
卷I试图让读者快速地了解Java SE 6的新特性,并帮助有效地从Java早期版本升级到最新版本,或从一种其他的语言变换为使用Java语言。作者十分注重Java语言的基本概念以及用户界面程序设计基础。下面是本卷详细介绍的...
本版也不例外,它反遇了Java SE6的新特性。全书共14章,包括Java基本的程序结构、对象与类、继承、接口与内部类、图形程序设计、事件处理、Swing用户界面组件、部署应用程序和Applet、异常日志断言和调试、叙述方式...
本版也不例外,它反遇了Java SE6的新特性。全书共14章,包括Java基本的程序结构、对象与类、继承、接口与内部类、图形程序设计、事件处理、Swing用户界面组件、部署应用程序和Applet、异常日志断言和调试、叙述方式...
诊断 Java 代码: Java 编程中的断言和时态逻辑 另有翻译诊断 Java 代码: Java 编程中的断言和时态逻辑 另有翻译
【内容简介】 ...卷I试图让读者快速地了解Java SE 6的新特性,并帮助有效地从Java早期版本升级到最新版本,或从一种其他的语言变换为使用Java语言。作者十分注重Java语言的基本概念以及用户界面程序设计基础。
本版也不例外,它反遇了Java SE6的新特性。全书共14章,包括Java基本的程序结构、对象与类、继承、接口与内部类、图形程序设计、事件处理、Swing用户界面组件、部署应用程序和Applet、异常日志断言和调试、叙述方式...
本版也不例外,它反遇了Java SE6的新特性。全书共14章,包括Java基本的程序结构、对象与类、继承、接口与内部类、图形程序设计、事件处理、Swing用户界面组件、部署应用程序和Applet、异常日志断言和调试、叙述方式...
- "断言"*@Function:断言public class TestAssert {开启MyEclipse对断言的支持。