public class EventTriggerWriter extends Object
| Constructor and Description |
|---|
EventTriggerWriter(Writer writer,
String documentText) |
| Modifier and Type | Method and Description |
|---|---|
void |
close() |
Writer |
getFileWriter() |
boolean |
isWritten(EventTrigger trigger) |
void |
setFileWriter(Writer writer) |
void |
writeTrigger(EventTrigger trigger) |
public Writer getFileWriter()
public void setFileWriter(Writer writer)
public void writeTrigger(EventTrigger trigger) throws IOException
IOExceptionpublic void close()
throws IOException
IOExceptionpublic boolean isWritten(EventTrigger trigger)
Copyright © 2019 JULIE Lab Jena, Germany. All rights reserved.