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

D

DEFAULT_BEHAVIOR_CASE - Static variable in class jml2b.structure.jml.SpecCase

Constant corresponding to default behavior cases.

DEFAULT_TAB_SIZE - Static variable in class jml2b.util.Tabs

DEPENDS - Static variable in class jack.plugin.JackPlugin

The property corresponding to the depends file.

DIALOG_TITLE - Static variable in class jack.plugin.JackPlugin

The default title that should be used for error and information dialogs.

Declaration - class jml2b.structure.java.Declaration.

Base class for representing declarations.

Declaration() - Constructor for class jml2b.structure.java.Declaration

Declaration(ParsedItem, Modifiers) - Constructor for class jml2b.structure.java.Declaration

Creates a new instance with the given modifiers from the given parsed item.

Declaration(JmlFile, AST, Modifiers, Class) - Constructor for class jml2b.structure.java.Declaration

Creates a new declaration from the given AST and modifiers.

Declaration(ParsedItem, Modifiers, Class) - Constructor for class jml2b.structure.java.Declaration

Creates a new declaration instance.

Depends - class jml2b.structure.jml.Depends.

This class implements a depends clause.

Depends(JmlFile, AST, Modifiers, Class) - Constructor for class jml2b.structure.jml.Depends

Constructs an empty depends clause that will be fill at parsing.

dec() - Method in class jml2b.util.Tabs

declarField(Field) - Static method in class jml2b.formula.Formula

Returns the formula corresponding to a field declaration.

declare(IJml2bConfiguration, AClass, Vector) - Static method in class jml2b.pog.Pog

Quantifies and skolemizes the member invariant of a class for all instances of this class.

decorate(Object, IDecoration) - Method in class jack.plugin.compile.CompilationUnitDecorator

defaultClasses - Static variable in class jml2b.structure.java.JmlLoader

dependsContains(String) - Method in class jpov.structure.JmlFile

displayGoal(Goal, boolean) - Method in interface jml2b.languages.ILanguage

Displays a goal in the lemma view.

displayGoal(Goal, boolean) - Method in class jml2b.languages.java.JavaLanguage

displayStatus() - Method in class jack.plugin.perspective.CaseExplorer

Updates the view

displayStatus() - Method in interface jack.plugin.perspective.ICaseExplorer

displayUsage() - Static method in class jml2b.Jml2b

Displays the usage

displayUsage() - Static method in class jml2b.Serializer

displayUsage() - Static method in class jml2b.astprint

displayUsage() - Static method in class jml2b.util.Emitter

Displays the usage

displayUsage() - Static method in class jml2b.util.TestSerialize

dispose() - Method in class jack.plugin.ToolbarButton

Default implementation that does nothing.

dispose() - Method in class jack.plugin.metrics.MetricsContentProvider

dispose() - Method in class jack.plugin.metrics.MetricsView

dispose() - Method in class jack.plugin.prove.ProofContentProvider

dispose() - Method in class jack.plugin.prove.ProofView

dispose() - Method in class jack.plugin.source.JmlMergeViewerContentProvider

dispose() - Method in class jack.plugin.source.MethodListContentProvider

dispose() - Method in class jack.plugin.source.MethodListLabelProvider

dispose() - Method in class jpov.viewer.lemma.GoalContentProvider

dispose() - Method in class jpov.viewer.lemma.HypContentProvider

dispose() - Method in class jpov.viewer.lemma.MyLabelProvider

dispose() - Method in class jpov.viewer.tree.TreeContentProvider

dispose() - Method in class jpov.viewer.tree.TreeLabelProvider

Performs no action

domainRestrict(Vector) - Method in class jml2b.formula.Formula

Applies successive domain restriction to the formula

doubleClick(DoubleClickEvent) - Method in class jack.plugin.prove.ProofClickListener