public interface Trigger
| Modifier and Type | Method and Description |
|---|---|
String |
getId() |
Date |
getLastseen() |
String |
getPagename() |
String |
getPagespace() |
String |
getTriggerspec() |
String |
getUser() |
void |
setId(String id) |
void |
setLastseen(Date lastseen) |
void |
setPagename(String pagename) |
void |
setPagespace(String pagespace) |
void |
setTriggerspec(String triggerspec) |
void |
setUser(String user) |
String getId()
void setId(String id)
id - The id to set.Date getLastseen()
void setLastseen(Date lastseen)
lastseen - The lastseen to set.String getPagename()
void setPagename(String pagename)
pagename - The pagename to set.String getPagespace()
void setPagespace(String pagespace)
pagespace - The pagespace to set.String getTriggerspec()
void setTriggerspec(String triggerspec)
triggerspec - The triggerspec to set.String getUser()
void setUser(String user)
user - The user to set.Copyright © 2003–2021 Sakai Project. All rights reserved.