public class ProfilingWriter
extends java.io.Writer
Modifier and Type | Field and Description |
---|---|
private char[] |
buffer |
private int |
n |
private LanguageProfile |
profile |
Constructor and Description |
---|
ProfilingWriter() |
ProfilingWriter(LanguageProfile profile) |
Modifier and Type | Method and Description |
---|---|
private void |
addLetter(char c) |
private void |
addSeparator() |
void |
close() |
void |
flush()
Ignored.
|
LanguageIdentifier |
getLanguage()
Returns the language that best matches the current state of the
language profile.
|
LanguageProfile |
getProfile()
Returns the language profile being built by this writer.
|
void |
write(char[] cbuf,
int off,
int len) |
private final LanguageProfile profile
private char[] buffer
private int n
public ProfilingWriter(LanguageProfile profile)
public ProfilingWriter()
public LanguageProfile getProfile()
getLanguage()
method to get the language that best
matches the current state of the profile.public LanguageIdentifier getLanguage()
public void write(char[] cbuf, int off, int len)
write
in class java.io.Writer
private void addLetter(char c)
private void addSeparator()
public void close() throws java.io.IOException
close
in interface java.io.Closeable
close
in interface java.lang.AutoCloseable
close
in class java.io.Writer
java.io.IOException
public void flush()
flush
in interface java.io.Flushable
flush
in class java.io.Writer