jml2b.util
Class ReplaceFileUpdate

java.lang.Object
  jml2b.util.FileUpdate
      jml2b.util.ReplaceFileUpdate

public class ReplaceFileUpdate

extends FileUpdate

Author:

L. Burdy

Constructor Summary

ReplaceFileUpdate(java.io.File f, java.lang.String s, int b)

Method Summary

int

getLine()

Methods inherited from class jml2b.util.FileUpdate

annotateFiles, getFile, getString

Methods inherited from class java.lang.Object

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

Constructor Detail

ReplaceFileUpdate

public ReplaceFileUpdate(java.io.File f,
                         java.lang.String s,
                         int b)

Method Detail

getLine

public int getLine()

Specified by:

getLine in class FileUpdate