return matcher.matches();
}
+ @MJI
+ public boolean find__I__Z (MJIEnv env, int objref, int i) {
+ Matcher matcher = getInstance( env, objref);
+ return matcher.find(i);
+ }
+
@MJI
public boolean find____Z (MJIEnv env, int objref) {
Matcher matcher = getInstance( env, objref);
*/
public class PrintStreamTest extends TestJPF {
- @Test // currently fails with: java.lang.NoSuchMethodError: java.util.regex.Matcher.find(I)Z
+ @Test
public void testPrintCharFormat () {
if (verifyNoPropertyViolation()){
ByteArrayOutputStream baos = new ByteArrayOutputStream(1);
PrintStream baps = new PrintStream(baos, true);
-// baps.printf("%c", 'a'); // fails
-// assert (baos.toByteArray()[0] == 97);
+ baps.printf("%c", 'a');
+ assert (baos.toByteArray()[0] == 97);
}
}
-}
+}
\ No newline at end of file