A B C D E F G H I J K L M N O P Q R S T U V W Z

H

HIERARCHY - Static variable in interface jack.plugin.perspective.ICaseExplorer

Layout corresponding to a hierarchical presentation of the cases.

HypContentProvider - class jpov.viewer.lemma.HypContentProvider.

HypLine - class jpov.viewer.lemma.HypLine.

This class implements a line in the Table viewer that displays the hypothesis of a lemma

HypLine(VirtualFormula, String, boolean) - Constructor for class jpov.viewer.lemma.HypLine

Constructs a line

hasBName() - Method in class jml2b.structure.java.NamedNode

hasChildren(Object) - Method in class jpov.viewer.tree.TreeContentProvider

hasDetails() - Method in class jack.plugin.RunnableWithError

Indicates if a detailed description of the error is available.

hasExsures() - Method in class jml2b.structure.jml.SpecCase

Return true if the current spec case has an exsure clause defined.

hasMoreElements() - Method in class jml2b.pog.printers.AClassEnumeration

hasNoCode() - Method in class jml2b.structure.java.Method

hasSameTypes(Vector) - Method in class jml2b.structure.IAParameters

compare the signature with the given vector of types.

hasSucceeded() - Method in class jack.plugin.RunnableWithError

Return true if the JPO generation succeeded, false otherwise.

highlight(Color, Color, int, int, int) - Method in interface jack.plugin.perspective.ISourceCaseViewer

highlight(Color, Color, int, int, int) - Method in class jack.plugin.perspective.SourceCaseViewer

highlightBox(ISourceCaseViewer) - Method in class jpov.viewer.source.Box

Tries to highlight the box in the given text.