boolean function ( ) { return r . nextBoolean ( ) ; }
asks the symbolic executor to return the `` any '' value , i.e. , a special value that signifies the `` union '' of both true and false , yielding both alternatives whenever it is evaluated . when executed on a jvm different from jbse it draws a random boolean value . note that this semantics is as close as possible , but not equivalent to the one given by jbse : e.g. , when running boolean x = any ; if x ! = x foo ; jbse will analyze the case where foo is invoked , while an ordinary jvm will never invoke foo , whatever value returns any . concode_field_sep Random r concode_field_sep void fail concode_elem_sep String getInvoker concode_elem_sep void succeed concode_elem_sep void ignore concode_elem_sep boolean force concode_elem_sep boolean isRunByJBSE concode_elem_sep void ass3rt concode_elem_sep void assume concode_elem_sep void assumeClassNotInitialized concode_elem_sep boolean isResolved concode_elem_sep void endGuidance