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

Field Summary

Fields

Modifier and Type	Field and Description
protected char[]	data
protected String	originalAddress

Constructor Summary

Constructors

Constructor and Description
CharMem(File f)
CharMem(String name, File f)
CharMem(String name, String s)

Method Summary

Modifier and Type	Method and 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) printa all character data to the printStream. OBSOLETE ??? should be "printWriter" ?????
char[]	get_data()
String	get_originalAddress() returns the string stored as origninalAdress.
protected void	initData(File f) Reads the file into the memory and sets the canonical file name as the "original address" of the charMem. The LineNumberReader is required NOT for counting lines, but for substituting "\\n", "\\r" and "\\r\\n" (as used by "operating systems") all by a simple "\\n", which is the format recognized by MemScanner.
protected void	initData(String s)

Methods inherited from class java.lang.Object

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

Field Detail

originalAddress

protected String originalAddress

data

protected char[] data

Constructor Detail

CharMem

public CharMem(String name,
               File f)

CharMem

public CharMem(File f)
        throws IOException

Throws:

IOException

CharMem

public CharMem(String name,
               String s)

Method Detail

get_originalAddress

public String get_originalAddress()

returns the string stored as origninalAdress. shich is currently the path of the file name the character data had been read from.

get_data

public char[] get_data()

initData

protected void initData(File f)

Reads the file into the memory and sets the canonical file name as the "original address" of the charMem. The LineNumberReader is required NOT for counting lines, but for substituting "\\n", "\\r" and "\\r\\n" (as used by "operating systems") all by a simple "\\n", which is the format recognized by MemScanner.

append

public void append(String s)

append the given string to the character data.

initData

protected void initData(String s)

dump

public void dump(PrintStream p)

printa all character data to the printStream.
OBSOLETE ??? should be "printWriter" ?????

dump

public void dump()

printa all character data to System.out