mirror of
https://github.com/corda/corda.git
synced 2025-01-09 22:42:40 +00:00
87b02eb949
Previously, I used a shell script to extract modification date ranges from the Git history, but that was complicated and unreliable, so now every file just gets the same year range in its copyright header. If someone needs to know when a specific file was modified and by whom, they can look at the Git history themselves; no need to include it redundantly in the header.
176 lines
4.0 KiB
Java
176 lines
4.0 KiB
Java
/* Copyright (c) 2008-2013, Avian Contributors
|
|
|
|
Permission to use, copy, modify, and/or distribute this software
|
|
for any purpose with or without fee is hereby granted, provided
|
|
that the above copyright notice and this permission notice appear
|
|
in all copies.
|
|
|
|
There is NO WARRANTY for this software. See license.txt for
|
|
details. */
|
|
|
|
package java.util.regex;
|
|
|
|
import java.util.Iterator;
|
|
import java.util.List;
|
|
import java.util.LinkedList;
|
|
|
|
/**
|
|
* This is a work in progress.
|
|
*
|
|
* @author zsombor and others
|
|
*
|
|
*/
|
|
public class Pattern {
|
|
|
|
public static final int UNIX_LINES = 1;
|
|
public static final int CASE_INSENSITIVE = 2;
|
|
public static final int COMMENTS = 4;
|
|
public static final int MULTILINE = 8;
|
|
public static final int LITERAL = 16;
|
|
public static final int DOTALL = 32;
|
|
public static final int UNICODE_CASE = 64;
|
|
public static final int CANON_EQ = 128;
|
|
|
|
private final int patternFlags;
|
|
private final String pattern;
|
|
|
|
protected Pattern(String pattern, int flags) {
|
|
this.pattern = pattern;
|
|
this.patternFlags = flags;
|
|
|
|
if (! trivial(pattern)) {
|
|
throw new UnsupportedOperationException
|
|
("only trivial regular expressions are supported so far");
|
|
}
|
|
}
|
|
|
|
private static boolean trivial(String pattern) {
|
|
for (int i = 0; i < pattern.length(); ++i) {
|
|
char c = pattern.charAt(i);
|
|
switch (c) {
|
|
case '\\':
|
|
case '.':
|
|
case '*':
|
|
case '+':
|
|
case '?':
|
|
case '|':
|
|
case '[':
|
|
case ']':
|
|
case '{':
|
|
case '}':
|
|
case '(':
|
|
case ')':
|
|
case '^':
|
|
case '$':
|
|
return false;
|
|
}
|
|
}
|
|
return true;
|
|
}
|
|
|
|
public static Pattern compile(String regex) {
|
|
return new Pattern(regex, 0);
|
|
}
|
|
|
|
public static Pattern compile(String regex, int flags) {
|
|
return new Pattern(regex, flags);
|
|
}
|
|
|
|
public int flags() {
|
|
return patternFlags;
|
|
}
|
|
|
|
public Matcher matcher(CharSequence input) {
|
|
return new Matcher(this, input);
|
|
}
|
|
|
|
public static boolean matches(String regex, CharSequence input) {
|
|
return Pattern.compile(regex).matcher(input).matches();
|
|
}
|
|
|
|
public String pattern() {
|
|
return pattern;
|
|
}
|
|
|
|
public String[] split(CharSequence input) {
|
|
return split(input, 0);
|
|
}
|
|
|
|
public String[] split(CharSequence input, int limit) {
|
|
boolean strip;
|
|
if (limit < 0) {
|
|
strip = false;
|
|
limit = Integer.MAX_VALUE;
|
|
} else if (limit == 0) {
|
|
strip = true;
|
|
limit = Integer.MAX_VALUE;
|
|
} else {
|
|
strip = false;
|
|
}
|
|
|
|
List<CharSequence> list = new LinkedList();
|
|
int index = 0;
|
|
int trailing = 0;
|
|
int patternLength = pattern.length();
|
|
while (index < input.length() && list.size() < limit - 1) {
|
|
int i;
|
|
if (patternLength == 0) {
|
|
if (list.size() == 0) {
|
|
i = 0;
|
|
} else {
|
|
i = index + 1;
|
|
}
|
|
} else {
|
|
i = indexOf(input, pattern, index);
|
|
}
|
|
|
|
if (i >= 0) {
|
|
if (patternLength != 0 && i == index) {
|
|
++ trailing;
|
|
} else {
|
|
trailing = 0;
|
|
}
|
|
|
|
list.add(input.subSequence(index, i));
|
|
index = i + patternLength;
|
|
} else {
|
|
break;
|
|
}
|
|
}
|
|
|
|
if (strip && index > 0 && index == input.length()) {
|
|
++ trailing;
|
|
} else {
|
|
trailing = 0;
|
|
}
|
|
list.add(input.subSequence(index, input.length()));
|
|
|
|
String[] result = new String[list.size() - trailing];
|
|
int i = 0;
|
|
for (Iterator<CharSequence> it = list.iterator();
|
|
it.hasNext() && i < result.length; ++ i)
|
|
{
|
|
result[i] = it.next().toString();
|
|
}
|
|
return result;
|
|
}
|
|
|
|
static int indexOf(CharSequence haystack, CharSequence needle, int start) {
|
|
if (needle.length() == 0) return start;
|
|
|
|
for (int i = start; i < haystack.length() - needle.length() + 1; ++i) {
|
|
int j = 0;
|
|
for (; j < needle.length(); ++j) {
|
|
if (haystack.charAt(i + j) != needle.charAt(j)) {
|
|
break;
|
|
}
|
|
}
|
|
if (j == needle.length()) {
|
|
return i;
|
|
}
|
|
}
|
|
|
|
return -1;
|
|
}
|
|
}
|