jml2b.util
Class AddFileUpdate

java.lang.Object
  jml2b.util.FileUpdate
      jml2b.util.AddFileUpdate

public class AddFileUpdate

extends FileUpdate

Author:

L. Burdy

Constructor Summary

AddFileUpdate(java.io.File f, int l, java.lang.String s)

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

AddFileUpdate

public AddFileUpdate(java.io.File f,
                     int l,
                     java.lang.String s)

Method Detail

getLine

public int getLine()

Specified by:

getLine in class FileUpdate