001: /*
002: * ExtMenu.java
003: *
004: * Created on 9. Februar 2004, 17:46
005: */
006:
007: package org.contineo.core.security;
008:
009: import java.util.Date;
010:
011: /**
012: *
013: * @author Michael Scholz
014: */
015: public class ExtMenu extends Menu {
016: /**
017: * Defines the size of the requested menu; this is either
018: * the number of children or the size of the file the
019: * menu is pointing to.
020: */
021: private long size;
022:
023: /**
024: * Defines the date of the requested menu.
025: * @uml.property name="date"
026: */
027: private Date date;
028:
029: /**
030: * Defines if the user requesting the menu has write access
031: */
032: private boolean writable;
033:
034: /**
035: * Defines if the document is checked out
036: */
037: private int docStatus;
038:
039: /**
040: * Defines the user name of the one who has checked out the document
041: */
042: private String checkoutUser;
043:
044: /**
045: * Defines the document name
046: */
047: private String docName;
048:
049: /** Creates a new instance of ExtMenu */
050: public ExtMenu(Menu m) {
051: this .setMenuGroups(m.getMenuGroups());
052: this .setMenuHier(m.getMenuHier());
053: this .setMenuIcon(m.getMenuIcon());
054: this .setMenuId(m.getMenuId());
055: this .setMenuParent(m.getMenuParent());
056: this .setMenuPath(m.getMenuPath());
057: this .setMenuRef(m.getMenuRef());
058: this .setMenuSort(m.getMenuSort());
059: this .setMenuText(m.getMenuText());
060: this .setMenuType(m.getMenuType());
061: size = 0;
062: writable = false;
063: docStatus = -1;
064: checkoutUser = "";
065: date = new Date();
066: this .docName = "";
067: }
068:
069: public long getSize() {
070: return size;
071: }
072:
073: public void setSize(long sz) {
074: size = sz;
075: }
076:
077: public boolean getWritable() {
078: return writable;
079: }
080:
081: public void setWritable(boolean wa) {
082: writable = wa;
083: }
084:
085: public int getDocStatus() {
086: return docStatus;
087: }
088:
089: public void setDocStatus(int status) {
090: docStatus = status;
091: }
092:
093: public String getCheckoutUser() {
094: return checkoutUser;
095: }
096:
097: public void setCheckoutUser(String user) {
098: checkoutUser = user;
099: }
100:
101: public Date getDate() {
102: return date;
103: }
104:
105: public void setDate(Date date) {
106: this .date = date;
107: }
108:
109: public String getDocName() {
110: return docName;
111: }
112:
113: public void setDocName(String docName) {
114: this .docName = docName;
115: }
116: } // end class ExtMenu
|