jml2b.util
Class FileUpdate

java.lang.Object
  jml2b.util.FileUpdate

Direct Known Subclasses:

AddFileUpdate, ReplaceFileUpdate

public abstract class FileUpdate

extends java.lang.Object

Author:

L. Burdy

Constructor Summary

FileUpdate(java.io.File f, java.lang.String s)

Method Summary

static java.util.Vector	annotateFiles(java.util.Vector fileUpdates)
java.io.File	getFile()
abstract int	getLine()
java.lang.String	getString()

Methods inherited from class java.lang.Object

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

Constructor Detail

FileUpdate

public FileUpdate(java.io.File f,
                  java.lang.String s)

Method Detail

annotateFiles

public static java.util.Vector annotateFiles(java.util.Vector fileUpdates)
                                      throws java.io.IOException

Throws:

java.io.IOException

getFile

public java.io.File getFile()

Returns:

getString

public java.lang.String getString()

Returns:

getLine

public abstract int getLine()