void function ( Event arg0 ) { if ( arg0 == null ) { throw new NullPointerException ( "srini_string" ) ; } if ( ! arg0 . hasNodeid ( ) ) { throw new InsufficientInformationException ( "srini_string" ) ; } }
ensures that the given event has a node id concode_field_sep PlaceHolder placeHolder concode_field_sep void checkInterfaceOrIfIndex