|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectc408h003.omnieditor.User
Constructor Summary | |
User(int userId)
Constructs a User object with name and id. |
Method Summary | |
void |
addFile(java.lang.String name)
Adds a file NAME to the list of the editing files of the user. |
java.lang.String[] |
getFiles()
Get all filenames that the user's editing. |
int |
getId()
Get the user's id number. |
int |
getVersionNumber(java.lang.String fileName)
Get the version number of a specific file. |
boolean |
isFileInUse(java.lang.String fileName)
|
void |
removeFile(java.lang.String name)
Removes a file NAME from the list of the editing files of the user |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public User(int userId)
userId
- id number of the userMethod Detail |
public void addFile(java.lang.String name)
name
- the file NAMEpublic void removeFile(java.lang.String name)
name
- the file NAME numberpublic int getId()
public java.lang.String[] getFiles()
public int getVersionNumber(java.lang.String fileName)
fileName
- the name the file which version wanted
public boolean isFileInUse(java.lang.String fileName)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |