public class Event extends Object
Constructor and Description |
---|
Event(String id) |
Event(String id,
String t) |
Modifier and Type | Method and Description |
---|---|
Long |
get_happens() |
String |
get_id() |
String |
get_t() |
void |
set_happens(Long happens) |
void |
set_id(String id) |
void |
set_t(String t) |
JSONObject |
to_json()
The Event is converted to JSON format
|
InfantiumResponse |
validate_event(List<String> elements_list)
Check that the current Event is valid
|
public Event(String id)
id
- public String get_id()
public void set_id(String id)
id
- the id to setpublic String get_t()
public void set_t(String t)
t
- the t to setpublic Long get_happens()
public void set_happens(Long happens)
happens
- the happens to setpublic InfantiumResponse validate_event(List<String> elements_list)
public JSONObject to_json() throws JSONException
JSONException