org.latdraw.orderedset
Class InputLattice

java.lang.Object
  org.latdraw.orderedset.InputLattice

All Implemented Interfaces:

java.io.Serializable

public class InputLattice
extends java.lang.Object
implements java.io.Serializable

A class for inputting a lattice (or ordered set) from a file, string or network connection.

Version:

$Id: InputLattice.java,v 1.4 2005/05/09 07:56:57 ralph Exp $

Author:

Ralph Freese

See Also:

Serialized Form

Field Summary

java.util.HashMap	edgeColors
static int	FILE
static java.lang.String	joinSign
static java.lang.String	joinStr
java.util.List	labels
static java.lang.String	meetSign
static java.lang.String	meetStr
java.lang.String	name
static int	STRING
java.util.List	upperCoversList
static int	URL

Constructor Summary

protected	InputLattice()
	InputLattice(java.lang.String file)
	InputLattice(java.lang.String file, boolean isFile)
	InputLattice(java.lang.String file, int type)
	InputLattice(java.lang.String file, int type, boolean convertJoinMeet)
	InputLattice(java.lang.String nm, java.util.List labelvec, java.util.List ucovers) InputLattice from String (name) List of Strings (labels) List of lists of strings (upper covers)

Method Summary

java.lang.String

stringSubstitute(java.lang.String str, java.lang.String old, java.lang.String rep) Global subsitution.

Methods inherited from class java.lang.Object

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

Field Detail

FILE

public static final int FILE

See Also:

Constant Field Values

STRING

public static final int STRING

See Also:

Constant Field Values

URL

public static final int URL

See Also:

Constant Field Values

labels

public java.util.List labels

upperCoversList

public java.util.List upperCoversList

edgeColors

public java.util.HashMap edgeColors

joinStr

public static final java.lang.String joinStr

See Also:

Constant Field Values

meetStr

public static final java.lang.String meetStr

See Also:

Constant Field Values

joinSign

public static final java.lang.String joinSign

See Also:

Constant Field Values

meetSign

public static final java.lang.String meetSign

See Also:

Constant Field Values

name

public java.lang.String name

Constructor Detail

InputLattice

protected InputLattice()

InputLattice

public InputLattice(java.lang.String file)
             throws java.io.FileNotFoundException,
                    java.io.IOException

Throws:

java.io.FileNotFoundException

java.io.IOException

InputLattice

public InputLattice(java.lang.String file,
                    int type)
             throws java.io.FileNotFoundException,
                    java.io.IOException

Throws:

java.io.FileNotFoundException

java.io.IOException

InputLattice

public InputLattice(java.lang.String file,
                    int type,
                    boolean convertJoinMeet)
             throws java.io.FileNotFoundException,
                    java.io.IOException

Throws:

java.io.FileNotFoundException

java.io.IOException

InputLattice

public InputLattice(java.lang.String file,
                    boolean isFile)
             throws java.io.FileNotFoundException,
                    java.io.IOException

Throws:

java.io.FileNotFoundException

java.io.IOException

InputLattice

public InputLattice(java.lang.String nm,
                    java.util.List labelvec,
                    java.util.List ucovers)

InputLattice from String (name) List of Strings (labels) List of lists of strings (upper covers)

Method Detail

stringSubstitute

public java.lang.String stringSubstitute(java.lang.String str,
                                         java.lang.String old,
                                         java.lang.String rep)

Global subsitution. Could be more efficient.