public abstract class HTMLOutputThread extends FileOutputThread
Modifier and Type | Field and Description |
---|---|
protected HtmlFile |
out |
outputPath, writer
sessionResources
threadController
threadDoneListeners
GROUP_TERMINATION_ALLOWED_WITHOUT_CONFIRMATION, GROUP_TERMINATION_NOT_ALLOWED, GROUP_TERMINATION_REQUIRES_CONFIRMATION
Constructor and Description |
---|
HTMLOutputThread(SessionResources sessionResources) |
Modifier and Type | Method and Description |
---|---|
void |
createOutputFile(java.lang.String title,
java.lang.String generator)
Creates the HTML output file with the previously specified standard HTML settings.
|
int |
getBorder() |
void |
setStandardSettings(StandardHtmlSettings settings)
Sets the standard HTML settings.
|
getOutputPath, setOutputFolder, writeTo
getSessionResources, isTerminationRequested, isToRun, requiresUserConfirmationToTerminate, runCore, setTerminationRequiresUserConfirmation, start, terminate
free, register, register, run, runPartAfterCore, setStatusInformation, setThreadController
addThreadDoneListener, fireThreadDone, fireThreadDone, getEventMessage, getFinalState, idle, logDebug, logError, logError, logInfo, setEventErrorMessage, setEventMessage, setFinalState
activeCount, checkAccess, clone, countStackFrames, currentThread, destroy, dumpStack, enumerate, getAllStackTraces, getContextClassLoader, getDefaultUncaughtExceptionHandler, getId, getName, getPriority, getStackTrace, getState, getThreadGroup, getUncaughtExceptionHandler, holdsLock, interrupt, interrupted, isAlive, isDaemon, isInterrupted, join, join, join, resume, setContextClassLoader, setDaemon, setDefaultUncaughtExceptionHandler, setName, setPriority, setUncaughtExceptionHandler, sleep, sleep, stop, stop, suspend, toString, yield
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
getFileName
getName
addThreadDoneListener, setThreadController
runCore
protected HtmlFile out
public HTMLOutputThread(SessionResources sessionResources)
public void setStandardSettings(StandardHtmlSettings settings)
settings
- the standard HTML settingspublic int getBorder()
public void createOutputFile(java.lang.String title, java.lang.String generator) throws java.io.IOException
title
- the title of the HTML file (Tab Name)generator
- the generatorjava.io.IOException
Copyright 1998-2023 Christoph Mueller, Kaerntner Str. 56, D-70469 Stuttgart, Germany, https://www.perpus.de