jflexcrf
Class Dictionary

java.lang.Object
  jflexcrf.Dictionary

public class Dictionary
extends java.lang.Object

The Class Dictionary.

Field Summary

java.util.Map

dict The dict.

Method Summary

void	readDict(java.io.BufferedReader fin) Read dict.
int	size() Size.

Methods inherited from class java.lang.Object

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

Field Detail

dict

public java.util.Map dict

The dict.

Method Detail

readDict

public void readDict(java.io.BufferedReader fin)
              throws java.io.IOException

Read dict.

Parameters:

fin - the fin

Throws:

java.io.IOException - Signals that an I/O exception has occurred.

size

public int size()

Size.

Returns:

the int