Assertion facility is added in J2SE 1.4. In order to support this facility J2SE 1.4 added the keyword assert to the language, and AssertionError class. An assertion checks a boolean-typed expression that must be true during program runtime execution. The assertion facility can be enabled or disable at runtime.
Declaring Assertion
Assertion statements have two forms as given below
assert expression;
assert expression1 : expression2;
The first form is simple form of assertion, while second form takes another expression. In both of the form boolean expression represents condition that must be evaluate to true runtime.
If the condition evaluates to false and assertions are enabled, AssertionError will be thrown at runtime.
Some examples that use simple assertion form are as follows.
assert value > 5 ;
assert accontBalance > 0;
assert isStatusEnabled();
The expression that has to be asserted runtime must be boolean value. In third example isStatusEnabled() must return boolean value. If condition evaluates to true, execution continues normally, otherwise the AssertionError is thrown.
Following program uses simple form of assertion
//AssertionDemo.java
Class AssertionDemo{
Public static void main(String args[]){
System.out.println( withdrawMoney(1000,500) );
System.out.println( withdrawMoney(1000,2000) );
}
public double withdrawMoney(double balance , double amount){
assert balance >= amount;
return balance ? amount;
}
}
In above given example, main method calls withdrawMoney method with balance and amount as arguments. The withdrawMoney method has a assert statement that checks whether the balance is grater than or equal to amount to be withdrawn. In first call the method will execute without any exception, but in second call it AssertionError is thrown if the assertion is enabled at runtime.
Enable/Disable Assertions
By default assertion are not enabled, but compiler complains if assert is used as an identifier or label. The following command will compile AssertionDemo with assertion enabled.
javac ?source 1.4 AssertionDemo.java
The resulting AssertionDemo class file will contain assertion code.
By default assertion are disabled in Java runtime environment. The argument ?eanbleassertion or ?ea will enables assertion, while ?disableassertion or ?da will disable assertions at runtime.
The following command will run AssertionDemo with assertion enabled.
Java ?ea AssertionDemo
or
Java ?enableassertion AssertionDemo
Second form of Assertion
The second form of assertion takes another expression as an argument.
The syntax is,
assert expression1 : expression2;
where expression1 is the condition and must evaluate to true at runtime.
This statement is equivalent to
assert expression1 : throw new AssertionError(expression2);
Note: AssertionError is unchecked exception, because it is inherited from Error class.
Here, expression2 must evaluate to some value.
By default AssertionError doesn't provide useful message so this form can be helpful to display some informative message to the user.
Rahim Vindhani
Application Develper [Application Development & Webservices]
IBM Global Services, pune, India
email: rahim.vindhani@gmail.com
web: http://www.rahim.co.nr
Our hosted solution allow you to run your own search... Read More
Looks like Microsoft Great Plains becomes more and more popular,... Read More
In the Clinton era the status quo was simple: you... Read More
What is a Web Database?A web database is a database... Read More
Microsoft Business Solutions Great Plains has full-featured manufacturing set of... Read More
Need software to record your voice, streaming audio or musical... Read More
Research bears that less than 70 percent of development projects... Read More
Microsoft Business Solutions Great Plains has several options to enable... Read More
Lotus Domino/Notes ? Microsoft Great Plains tandem as ERP with... Read More
In this short FAQ style article we would like to... Read More
Great Plains Inventory Management (IV) module gives your business a... Read More
How many steps does it take you to locate and... Read More
We don't think about mainframe software pricing anymore, we just... Read More
Microsoft CRM is CRM answer from Microsoft and attempt to... Read More
Microsoft Great Plains is main Microsoft Business Solutions accounting package... Read More
Sales are all about leverage, because there is only so... Read More
The software giants don't do everything and don't always produce... Read More
Professional services firm cuts costs and improves productivity with integrated... Read More
Midsize business or non-profit organization should decide if one-vendor solution... Read More
Is your PC is slow and wimpy? Then you need... Read More
Customer Relationship Management, abbreviated "CRM," is the term for a... Read More
The purpose of Project Management Software is to provide an... Read More
Microsoft Business Solutions Great Plains, former Great Plains Software Dynamics... Read More
Mapping Software Improves Data VisualizationFrom the outset, it is important... Read More
The fact that a software tester is a most infamous... Read More
pet-friendly home cleaners Mundelein ..The Windows registry is a huge database that ensures normal... Read More
If you copy something from a Web site or elsewhere...... Read More
With this small article we are continuing Microsoft Business Solutions... Read More
Microsoft Business Solutions Navision serves both European and American megamarkets.... Read More
It???s easy to understand why you might be drawn to... Read More
Stealing company information used to be the specialty of spies... Read More
If you would like to pick something from Microsoft, or... Read More
Fundraising software lets you connect with donors in a way... Read More
What is installation in the language of technology? Installation... Read More
The intentions of this short tutorial are not to teach... Read More
Have you noticed WordPerfect is gearing up for a comeback... Read More
With any good luck and a good amount of hard... Read More
Microsoft Great Plains fits to majority of horizontals and retail... Read More
Fortunately one of the most common reasons cited for the... Read More
What is Colossus?Colossus is software licensed to about twenty-five insurance... Read More
Before being able to choose a secure Internet communication system,... Read More
After almost two decades of existence, Quark has become the... Read More
Think of this, first we had the HAM Radio, then... Read More
Navision Software was purchased by Microsoft and now it is... Read More
Microsoft CRM and IBM Lotus Notes Domino seem to be... Read More
Midsize business or non-profit organization should decide if one-vendor solution... Read More
It could just be me, but my experiences with document... Read More
Microsoft Business Solutions Great Plains version 8.5, 8.0, 7.5, Great... Read More
Microsoft Business Solutions Great Plains has I'd say end user... Read More
Introduction To ISDN, Part III: Configuring PPP PAP AuthenticationNow we... Read More
Software |