Class SegmentExportImport


  • public class SegmentExportImport
    extends java.lang.Object
    Class for export current segment and monitor changes for import if external script produce some results.
    • Field Detail

      • SELECTION_EXPORT

        public static final java.lang.String SELECTION_EXPORT
        The name of the file with the exported selection
        See Also:
        Constant Field Values
      • TARGET_EXPORT

        public static final java.lang.String TARGET_EXPORT
        The name of the file with the target exported segment
        See Also:
        Constant Field Values
      • SOURCE_EXPORT

        public static final java.lang.String SOURCE_EXPORT
        The name of the file with the source exported segment
        See Also:
        Constant Field Values
    • Constructor Detail

      • SegmentExportImport

        public SegmentExportImport​(EditorController controller)
    • Method Detail

      • exportCurrentSegment

        public void exportCurrentSegment​(SourceTextEntry ste)
        Export the current source and target segments in text files.
      • exportCurrentSelection

        public static void exportCurrentSelection​(java.lang.String selection)
      • flushExportedSegments

        public static void flushExportedSegments()
        Empties the exported segments.