Class EventTriggerWriter


  • public class EventTriggerWriter
    extends java.lang.Object
    • Constructor Summary

      Constructors 
      Constructor Description
      EventTriggerWriter​(java.io.Writer writer, java.lang.String documentText)  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void close()  
      java.io.Writer getFileWriter()  
      boolean isWritten​(de.julielab.jcore.types.EventTrigger trigger)  
      void setFileWriter​(java.io.Writer writer)  
      void writeTrigger​(de.julielab.jcore.types.EventTrigger trigger)  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • EventTriggerWriter

        public EventTriggerWriter​(java.io.Writer writer,
                                  java.lang.String documentText)
    • Method Detail

      • getFileWriter

        public java.io.Writer getFileWriter()
      • setFileWriter

        public void setFileWriter​(java.io.Writer writer)
      • writeTrigger

        public void writeTrigger​(de.julielab.jcore.types.EventTrigger trigger)
                          throws java.io.IOException
        Throws:
        java.io.IOException
      • close

        public void close()
                   throws java.io.IOException
        Throws:
        java.io.IOException
      • isWritten

        public boolean isWritten​(de.julielab.jcore.types.EventTrigger trigger)