Package eu.bandm.tools.d2d2.infra

Class MemString.CharMem<D2>

java.lang.Object

eu.bandm.tools.d2d2.infra.MemString.CharMem<D2>

Enclosing class:

MemString<D>

public static class MemString.CharMem<D2>
extends Object

The data storage underlying every MemString.

Field Summary

Fields

Modifier and Type	Field	Description
protected char[]	data	The character data.
protected D2	originalAddress	The indication of the source of the data, for diagnosis messages.

Constructor Summary

Constructors

Constructor	Description
CharMem(D2 name, File f)	Create an instance with the given name as originalAddress and the data from the file.
CharMem(D2 name, File f, Charset encoding)	Create an instance with the given name as originalAddress and the data from the file, with the given encoding.
CharMem(D2 name, Reader reader)	Create an instance with the given name as originalAddress and the data from the reader.
CharMem(D2 name, String s)	Create an instance with the given name as originalAddress and the data from the string.

Method Summary

Modifier and Type	Method	Description
void	append(String s)	Append the given string to the character data.
void	dump()	printa all character data to System.out
void	dump(PrintStream p)	Prints all character data to the given output.
char[]	get_data()	Return the data.
D2	get_originalAddress()	Returns the string stored as originalAddress, for diagnosis messages.
(package private) void	initData(String s)	Reads the string contents into the memory object, as its only contents.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

originalAddress

protected D2 originalAddress

The indication of the source of the data, for diagnosis messages. ATTENTION in case of file-read, this should correspond.

data

protected char[] data

The character data.

Constructor Details

CharMem

public CharMem(D2 name,
 File f)
        throws IOException

Create an instance with the given name as originalAddress and the data from the file. Uses UTF_8 encoding.

Throws:

IOException

CharMem

public CharMem(D2 name,
 File f,
 Charset encoding)
        throws IOException

Create an instance with the given name as originalAddress and the data from the file, with the given encoding.

Throws:

IOException

CharMem

public CharMem(D2 name,
 Reader reader)
        throws IOException

Create an instance with the given name as originalAddress and the data from the reader.

Throws:

IOException

CharMem

public CharMem(D2 name,
 String s)

Create an instance with the given name as originalAddress and the data from the string.

Method Details

get_originalAddress

public D2 get_originalAddress()

Returns the string stored as originalAddress, for diagnosis messages.

get_data

public char[] get_data()

Return the data.

append

public void append(String s)

Append the given string to the character data.

initData

void initData(String s)

Reads the string contents into the memory object, as its only contents.

dump

public void dump(PrintStream p)

Prints all character data to the given output.

dump

public void dump()

printa all character data to System.out