|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object org.mmtk.vm.Strings org.jikesrvm.mm.mmtk.Strings
public final class Strings
Constructor Summary | |
---|---|
Strings()
|
Method Summary | |
---|---|
int |
copyStringToChars(String str,
char[] dst,
int dstBegin,
int dstEnd)
Copies characters from the string into the character array. |
private int |
naiveCopyStringToChars(String str,
char[] dst,
int dstBegin,
int dstEnd)
Copies characters from the string into the character array. |
private int |
safeCopyStringToChars(String str,
char[] dst,
int dstBegin,
int dstEnd)
Copies characters from the string into the character array. |
void |
write(char[] c,
int len)
Log a message. |
void |
writeThreadId(char[] c,
int len)
Log a thread identifier and a message. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public Strings()
Method Detail |
---|
public void write(char[] c, int len)
Strings
write
in class Strings
c
- character array with message starting at index 0len
- number of characters in messagepublic void writeThreadId(char[] c, int len)
Strings
writeThreadId
in class Strings
c
- character array with message starting at index 0len
- number of characters in messagepublic int copyStringToChars(String str, char[] dst, int dstBegin, int dstEnd)
Strings
TODO: There are special memory management semantics here that someone should document.
copyStringToChars
in class Strings
str
- the source stringdst
- the destination arraydstBegin
- the start offset in the destination arraydstEnd
- the index after the last character in the
destination to copy to
private int safeCopyStringToChars(String str, char[] dst, int dstBegin, int dstEnd)
TODO: There are special memory management semantics here that someone should document.
str
- the source stringdst
- the destination arraydstBegin
- the start offset in the destination arraydstEnd
- the index after the last character in the
destination to copy to
private int naiveCopyStringToChars(String str, char[] dst, int dstBegin, int dstEnd)
str
- the source stringdst
- the destination arraydstBegin
- the start offset in the destination arraydstEnd
- the index after the last character in the
destination to copy to
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |