ESC/Java2
© 2003,2004,2005 David Cok and Joseph Kiniry
© 2005 UCD Dublin
© 2003,2004 Radboud University Nijmegen
© 1999,2000 Compaq Computer Corporation
© 1997,1998,1999 Digital Equipment Corporation
All Rights Reserved

javafe
Class FileInputEntry

java.lang.Object
  extended byjavafe.InputEntry
      extended byjavafe.FileInputEntry

public class FileInputEntry
extends InputEntry


Field Summary
 
Fields inherited from class javafe.InputEntry
auto, contents, name
 
Constructor Summary
FileInputEntry(java.lang.String n)
           
 
Method Summary
 java.lang.String type()
           
 java.lang.String typeOption()
           
 java.lang.String verify()
           
static java.lang.String verify(java.lang.String name)
           
 
Methods inherited from class javafe.InputEntry
clear, clear, make, make, match, resolve, savedString, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

FileInputEntry

public FileInputEntry(java.lang.String n)
Method Detail

type

public java.lang.String type()
Overrides:
type in class InputEntry

typeOption

public java.lang.String typeOption()
Overrides:
typeOption in class InputEntry

verify

public java.lang.String verify()
Overrides:
verify in class InputEntry

verify

public static java.lang.String verify(java.lang.String name)

ESC/Java2
© 2003,2004,2005 David Cok and Joseph Kiniry
© 2005 UCD Dublin
© 2003,2004 Radboud University Nijmegen
© 1999,2000 Compaq Computer Corporation
© 1997,1998,1999 Digital Equipment Corporation
All Rights Reserved

The ESC/Java2 Project Homepage