public class RecorderInstrEmitter extends Emitter
| Constructor and Description |
|---|
RecorderInstrEmitter(boolean isEnum) |
| Modifier and Type | Method and Description |
|---|---|
static String |
asUnicodeString(String str)
Returns a unicode representation of the provided string, for example:
"abc" -> "abc"
In addition it doubles every "\" character in output sequence.
|
static String |
generateCloverProfilesInline(List<CloverProfile> profiles)
Return a string containing inline creation of the CloverProfile array.
|
String |
getInstr() |
void |
init(InstrumentationState state) |
void |
setMaxDataIndex(int maxIndex) |
acceptsContextType, addContext, addDependent, emit, getColumn, getElementContext, getLine, initialise, isEnabled, setEnabled, setInstrpublic void init(InstrumentationState state)
public static String generateCloverProfilesInline(List<CloverProfile> profiles)
new CloverProfile[] {
new CloverProfile("default", "FIXED", "host=localhost;timeout=500"),
new CloverProfile("shared", "SHARED", null),
...
}
public static String asUnicodeString(String str)
public void setMaxDataIndex(int maxIndex)
Copyright © 2024 OpenClover.org. All rights reserved.