regex.js 182 B

123
  1. export const MatchResult = $.type("java.util.regex.MatchResult");
  2. export const Matcher = $.type("java.util.regex.Matcher");
  3. export const Pattern = $.type("java.util.regex.Pattern");