public interface GuardedRegionMarker
Modifier and Type | Method and Description |
---|---|
void |
protectRegion(int start,
int len) |
void |
unprotectRegion(int start,
int len) |
Built on January 23 2023. | Copyright © 2017-2023 Apache Software Foundation. All Rights Reserved.