Java UTIL.equals Beispiele

Beispiel #1

Datei: OmlExitStatement.java Projekt: carvil/jml_vdm_mapper

 // ***** VDMTOOLS START Name=hasExpression KEEP=NO
 public Boolean hasExpression() throws CGException {
   return new Boolean(!UTIL.equals(ivExpression, null));
 }