A B C D E F G H I L M N O P R S T U W X Y Z

H

handleRenderingProblem() - Method in interface ides.api.latex.LatexManager

Handle the situation when a LaTeX rendering problem occurs.

hasAnnotation(String) - Method in interface ides.api.core.Annotable

Returns true if there is an annotation for the given key.

hasControllabilityConflict(FSAModel[]) - Static method in class ides.api.plugin.operation.FSAToolbox

A check to see whether there is a conflict in the controllability attribute of events contained in the given models.

hashCode() - Method in interface ides.api.plugin.model.DESEvent

Returns an integer for the event which can be used for hashing.

hasModel(String) - Method in interface ides.api.core.Workspace

Check if the workspace contains a model with the given name.

hasObservabilityConflict(FSAModel[]) - Static method in class ides.api.plugin.operation.FSAToolbox

A check to see whether there is a conflict in the observability attribute of events contained in the given models.

head - Variable in class ides.api.utilities.HeadTailInputStream

The header to be available before the content of the original stream.

HeadTailInputStream - Class in ides.api.utilities

Wrapper for InputStreams which allows the prefixing of the stream with a header and the appending of a tail to the stream.

HeadTailInputStream(InputStream, byte[], byte[]) - Constructor for class ides.api.utilities.HeadTailInputStream

Wrap an InputStream so that readers read a custom header before the original content and a custom tail after the original content.

Hub - Class in ides.api.core

The main hub of the program.