Package eu.bandm.tools.d2d2.infra

Class MemString.CharMem

java.lang.Object

eu.bandm.tools.d2d2.infra.MemString.CharMem

Enclosing class:

MemString

public static class MemString.CharMem
extends Object

The data storage underlying every MemString.

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor	Description
CharMem(File f)	Create an instance with the File.getCanonicalPath() as originalAddress and the data from the file.
CharMem(String name, File f)	Create an instance with the given name as originalAddress and the data from the file.
CharMem(String 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(String name, Reader reader)	Create an instance with the given name as originalAddress and the data from the reader.
CharMem(String 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.
String	get_originalAddress()	Returns the string stored as originalAddress, for diagnosis messages.
(package private) void	initData(String s)

Methods inherited from class java.lang.Object

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

Field Details

originalAddress

protected String originalAddress

The indication of the source of the data, for diagnosis messages. When constructed from a file by CharMem(File), this is the path of the file from which he character data had been read.

data

protected char[] data

The character data.

Constructor Details

CharMem

public CharMem(File f)
        throws IOException

Create an instance with the File.getCanonicalPath() as originalAddress and the data from the file. Uses UTF_8 encoding.

Throws:

IOException

CharMem

public CharMem(String 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(String 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(String 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(String name,
 String s)

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

Method Details

get_originalAddress

public String 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)

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