tree eab5385494372a1aa7f1e6edf69442f4af1140cd
parent 42d10accbfd50f1c1ba895c04b8beb4d8b9d8bbd
author Paul Wankadia <junyer@google.com> 1581590059 -0800
committer Paul Wankadia <junyer@google.com> 1581658037 +0000

Provide instrumentation points called "hooks".

Change-Id: I854b2ba264d8c7239efb8a80bc440b1f5e0955f5
Reviewed-on: https://code-review.googlesource.com/c/re2/+/51834
Reviewed-by: Randall Bosetti <rlb@google.com>
Reviewed-by: Paul Wankadia <junyer@google.com>