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

I

IAParameters - class jml2b.structure.IAParameters.

IAParameters() - Constructor for class jml2b.structure.IAParameters

ICaseExplorer - interface jack.plugin.perspective.ICaseExplorer.

This interface defines a case explorer.

IClassResolver - interface jml2b.pog.printers.IClassResolver.

ID_CLASS - Static variable in class jml2b.structure.java.Identifier

Identifiers representing a class

ID_FIELD - Static variable in class jml2b.structure.java.Identifier

Identifiers corresponding to fields.

ID_METHOD - Static variable in class jml2b.structure.java.Identifier

Identifiers corresponding to methods

ID_PACKAGE - Static variable in class jml2b.structure.java.Identifier

Identifiers representing a package:

ID_UNKNOWN - Static variable in class jml2b.structure.java.Identifier

Identifiers whose type is not known yet.

IFormToken - interface jml2b.formula.IFormToken.

This interface defines the token associated to formulas corresponding to operators.

IInteractiveProver - interface jpov.IInteractiveProver.

IJml2bConfiguration - interface jml2b.IJml2bConfiguration.

The interface defines the configuration of the PO generator and the lemma viewer

IJmlFile - interface jml2b.structure.java.IJmlFile.

ILanguage - interface jml2b.languages.ILanguage.

This interface allows to define a new language, it has to be implement by a plugin defining a new language.

ILemma - interface jml2b.pog.lemma.ILemma.

This interface defines the different operations that are performed on lemma or on goal.

ILemmaViewer - interface jack.plugin.perspective.ILemmaViewer.

This interface defines a lemma viewer.

IMAGE_NAME - Static variable in class jack.plugin.JackPlugin

Name of the serialized image file.

IModifiers - interface jml2b.structure.java.IModifiers.

IModifiesField - interface jml2b.formula.IModifiesField.

INSTANCES_SET - Static variable in interface jml2b.pog.substitution.Substitution

Substitution type corresponding to the substitution of instances by instances \/ a

INSTANCES_SINGLE - Static variable in interface jml2b.pog.substitution.Substitution

Substitution type corresponding to the substitution of instances by instances \/ {a}

INSTANCE_CONSTRAINT - Static variable in class jml2b.pog.lemma.GoalOrigin

INTERSECTION_IS_NOT_EMPTY - Static variable in interface jml2b.formula.IFormToken

B intersection binary operator a /\ b /= {} with priority 160.

INVARIANT - Static variable in class jml2b.pog.lemma.VirtualFormula

Formula origin corresponding to an invariant

INVARIANT - Static variable in class jpov.Icons

Image corresponding to the invariant icon.

IObviousProver - interface jml2b.pog.IObviousProver.

This interface describes an obvious prover.

IOutputStream - interface jml2b.util.IOutputStream.

IPrinter - interface jml2b.pog.printers.IPrinter.

This interface defines a printer for a plugin.

IProverStatus - interface jml2b.pog.IProverStatus.

IS_ARRAY - Static variable in interface jml2b.formula.IFormToken

B total injection binary operator a >-> b with priority 120.

IS_FALSE - Static variable in class jml2b.pog.util.ColoredInfo

comment indice corresponding to a test considered as false (blue).

IS_MEMBER_FIELD - Static variable in interface jml2b.formula.IFormToken

B partial function binary operator a +-> b with priority 120.

IS_NEGATIVE - Static variable in class jml2b.pog.util.ColoredInfo

comment indice corresponding to a NegativeArraySizeException (red).

IS_NOT_CASTABLE - Static variable in class jml2b.pog.util.ColoredInfo

comment indice corresponding to a ClassCastException (red).

IS_NOT_STORABLE - Static variable in class jml2b.pog.util.ColoredInfo

comment indice corresponding to a ArrayStoreException (red)

IS_NULL - Static variable in class jml2b.pog.util.ColoredInfo

comment indice corresponding to a NullPointerException (red).

IS_OUT_OF_BOUNDS - Static variable in class jml2b.pog.util.ColoredInfo

comment indice corresponding to a ArrayIndexOutOfBoundException (red)

IS_STATIC_FIELD - Static variable in interface jml2b.formula.IFormToken

IS_TRUE - Static variable in class jml2b.pog.util.ColoredInfo

comment indice corresponding to a test considered as true (blue).

ISourceCaseViewer - interface jack.plugin.perspective.ISourceCaseViewer.

This interface defines a source viewer.

ITranslatable - interface jml2b.languages.ITranslatable.

This interface defines a translatable object: a formula or a type.

ITranslationResult - interface jml2b.languages.ITranslationResult.

This interface defines the result of the translation of a formula in a given language.

IType - interface jml2b.structure.java.IType.

Icons - class jpov.Icons.

Eclipse-specific part of jpov viewer.

Icons() - Constructor for class jpov.Icons

Identifier - class jml2b.structure.java.Identifier.

class representing Java/Jml identifiers.

Identifier(AField) - Constructor for class jml2b.structure.java.Identifier

Creates a field identifier.

Identifier(AClass) - Constructor for class jml2b.structure.java.Identifier

Creates a class identifier for the given class.

Identifier(AMethod) - Constructor for class jml2b.structure.java.Identifier

Creates an identifier for the given method.

Identifier(String) - Constructor for class jml2b.structure.java.Identifier

Creates an identifier from unknown type with the given string.

IdentifierResolver - class jml2b.pog.util.IdentifierResolver.

This class provides utilities for the treatment of identifiers.

ImageContentEditor - class jack.plugin.ImageContentEditor.

A simple set of widgets allowing to edit the serialized image content.

ImageContentEditor(Shell, IProject) - Constructor for class jack.plugin.ImageContentEditor

ImageGenerator - class jack.plugin.ImageGenerator.

Class allowing to generate a Serialized image of the default classes.

InternalError - error jml2b.exceptions.InternalError.

Exception class used to report internal errors in Jack.

InternalError(String) - Constructor for class jml2b.exceptions.InternalError

Invariant - class jml2b.structure.java.Invariant.

class representing invariants.

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

IsSubtypeOfExp - class jml2b.structure.statement.IsSubtypeOfExp.

This class implements subtype JML expression, it corresponds to code like a <: b

idType - Variable in class jml2b.structure.java.Identifier

implementsInterface(AClass) - Method in class jml2b.structure.java.AClass

Returns true if the current class implements the given interface.

implies(Formula, Formula) - Static method in class jml2b.formula.Formula

Returns the implicative formula between the two parameters.

impliesExceptional(ExceptionalBehaviourStack) - Method in class jml2b.pog.lemma.ExsuresLemma

Returns the proof that the exsures lemma implies an exceptionnal behaviour.

impliesExceptional(ExceptionalBehaviourStack) - Method in class jml2b.pog.lemma.Theorem

Returns the proof that an exsures proof proof implies an exceptionnal behaviour.

in(StyledText, int) - Method in class jpov.viewer.source.Box

inFileProperty - Static variable in class jml2b.Jml2b

if this property is set, then load the state from the given infile.

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

indent(int) - Static method in class jml2b.formula.Formula

Returns the string containing white spaces corresponding to an indentation

init(IWorkbench) - Method in class jack.plugin.JackPreferencePage

init(IWorkbench) - Method in class jack.plugin.JackPreferencePageCompiler

init(IWorkbench) - Method in class jack.plugin.JackPreferencePageEditor

init(IWorkbench) - Method in class jack.plugin.JackPreferencePageProvers

init(IWorkbenchWindow) - Method in class jack.plugin.ToolbarButton

init(IJml2bConfiguration) - Static method in class jml2b.pog.Pog

Initalize the identifier array.

init(IJml2bConfiguration) - Static method in class jml2b.pog.util.IdentifierResolver

Initialize the set of indentifier to the set containing an element corresponding to the length pseudo field

initFresh() - Static method in class jml2b.structure.statement.Statement

Initialize global variables for name generation.

initFromFile(String) - Static method in class jml2b.structure.java.Package

Inits the root package (java.lang, etc...) from the given serialized file.

initImages(URL) - Static method in class jpov.Icons

load the images PROVED, UNPROVED, PROVE and SAVE

inputChanged(Viewer, Object, Object) - Method in class jack.plugin.metrics.MetricsContentProvider

inputChanged(Viewer, Object, Object) - Method in class jack.plugin.prove.ProofContentProvider

inputChanged(Viewer, Object, Object) - Method in class jack.plugin.source.JmlMergeViewerContentProvider

inputChanged(Viewer, Object, Object) - Method in class jack.plugin.source.MethodListContentProvider

inputChanged(Viewer, Object, Object) - Method in class jpov.viewer.lemma.GoalContentProvider

inputChanged(Viewer, Object, Object) - Method in class jpov.viewer.lemma.HypContentProvider

inputChanged(Viewer, Object, Object) - Method in class jpov.viewer.tree.TreeContentProvider

instances - Static variable in class jml2b.formula.TerminalForm

The formula instances.

instancie(Formula) - Method in class jml2b.formula.BinaryForm

instancie(Formula) - Method in class jml2b.formula.Formula

Replaces this with the parameter in the expression.

instancie(Formula) - Method in class jml2b.formula.QuantifiedForm

instancie(Formula) - Method in class jml2b.formula.TTypeForm

instancie(Formula) - Method in class jml2b.formula.TerminalForm

instancie(Formula) - Method in class jml2b.formula.TriaryForm

instancie(Formula) - Method in class jml2b.formula.UnaryForm

instancie() - Method in class jml2b.structure.jml.Exsures

Instancie the clause.

instancie() - Method in interface jml2b.structure.jml.JmlExpression

Instancie the expression.

instancie(Expression) - Method in interface jml2b.structure.jml.JmlExpression

Replaces this with the parameter in the expression.

instancie(IJml2bConfiguration) - Method in class jml2b.structure.jml.ModifiesClause

Instancie the modifies clause.

instancie(Expression, IJml2bConfiguration) - Method in class jml2b.structure.jml.ModifiesClause

Replace this with the parameter in the modifies clause.

instancie(IJml2bConfiguration) - Method in class jml2b.structure.jml.ModifiesEverything

instancie(Expression, IJml2bConfiguration) - Method in class jml2b.structure.jml.ModifiesEverything

instancie(IJml2bConfiguration) - Method in class jml2b.structure.jml.ModifiesList

instancie(Expression, IJml2bConfiguration) - Method in class jml2b.structure.jml.ModifiesList

instancie(IJml2bConfiguration) - Method in class jml2b.structure.jml.ModifiesNothing

instancie(Expression, IJml2bConfiguration) - Method in class jml2b.structure.jml.ModifiesNothing

instancie() - Method in class jml2b.structure.jml.Represents

instancie(Expression) - Method in class jml2b.structure.jml.Represents

instancie(Expression) - Method in class jml2b.structure.statement.ArrayInitializer

instancie() - Method in class jml2b.structure.statement.ArrayInitializer

instancie() - Method in class jml2b.structure.statement.BinaryExp

instancie(Expression) - Method in class jml2b.structure.statement.BinaryExp

instancie(Expression) - Method in class jml2b.structure.statement.Expression

Replaces this with the parameter in the expression.

instancie() - Method in class jml2b.structure.statement.IsSubtypeOfExp

instancie(Expression) - Method in class jml2b.structure.statement.IsSubtypeOfExp

instancie() - Method in class jml2b.structure.statement.MethodCallExp

instancie(Expression) - Method in class jml2b.structure.statement.MethodCallExp

instancie() - Method in class jml2b.structure.statement.QuantifiedExp

instancie(Expression) - Method in class jml2b.structure.statement.QuantifiedExp

instancie() - Method in class jml2b.structure.statement.QuestionExp

instancie(Expression) - Method in class jml2b.structure.statement.QuestionExp

instancie() - Method in class jml2b.structure.statement.TTypeExp

instancie(Expression) - Method in class jml2b.structure.statement.TTypeExp

instancie() - Method in class jml2b.structure.statement.TerminalExp

Returns a dot expression this.e where e is the current expression when it is an identifer that corresponds to a non static field or non static method.

instancie(Expression) - Method in class jml2b.structure.statement.TerminalExp

If the current expression is LITERAL_this, return b else return this.

instancie() - Method in class jml2b.structure.statement.UnaryExp

instancie(Expression) - Method in class jml2b.structure.statement.UnaryExp

instancie() - Method in class jml2b.structure.statement.WithTypeExp

instancie(Expression) - Method in class jml2b.structure.statement.WithTypeExp

intelements - Static variable in class jml2b.formula.ElementsForm

The formula intelements_n.

is(Formula) - Method in class jml2b.formula.BinaryForm

is(Formula) - Method in class jml2b.formula.Formula

Returns whether the formula corresponds to a read formula.

is(Formula) - Method in class jml2b.formula.QuantifiedForm

is(Formula) - Method in class jml2b.formula.TTypeForm

is(Formula) - Method in class jml2b.formula.TerminalForm

is(Formula) - Method in class jml2b.formula.TriaryForm

is(Formula) - Method in class jml2b.formula.UnaryForm

isAnd() - Method in class jml2b.structure.statement.Expression

Tests if the expression operator is an and.

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

isArray() - Method in class jml2b.structure.java.Type

Returns true if this type correspond to an array type.

isBFalse() - Method in class jml2b.formula.Formula

Returns whether a formula corresponds to bfalse

isBTrue() - Method in class jml2b.structure.statement.Expression

Tests if this expression is btrue.

isBoolean() - Method in class jml2b.structure.java.Type

isBuiltin() - Method in class jml2b.structure.java.Type

Returns true if the type is a builtin-type.

isChecked() - Method in class jml2b.pog.lemma.GoalStatus

Tests whether the goal is checked or not.

isChecked() - Method in class jml2b.pog.lemma.NonObviousGoal

isChecked() - Method in class jpov.structure.Goal

isChecked() - Method in class jpov.structure.TreeObject

Returns whether this node is checked

isComma() - Method in class jml2b.structure.statement.Expression

Tests if the expression operator is a comma.

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

return true if the parameters are compatibles with the given vector of Type.

isCompatible(Vector) - Method in class jml2b.structure.bytecode.ClassDefaultConstructor

isCompatible(IModifiers) - Method in class jml2b.structure.java.Modifiers

Indicates wether the modifier is compatible with the given modifier.

isCompatible(Vector) - Method in class jml2b.structure.java.Parameters

return true if the parameters are compatibles with the given vector of Type.

isCompatibleWith(IJml2bConfiguration, IAParameters) - Method in class jml2b.structure.IAParameters

return true if all the types in this are compatible with the types in params.

isCompatibleWith(IJml2bConfiguration, IAParameters) - Method in class jml2b.structure.java.Parameters

return true if all the types in this are compatible with the types in params.

isConstant() - Method in class jml2b.structure.statement.ArrayInitializer

isConstant() - Method in class jml2b.structure.statement.BinaryExp

isConstant() - Method in class jml2b.structure.statement.Expression

Returns whether this expression is a constant.

isConstant() - Method in class jml2b.structure.statement.IsSubtypeOfExp

isConstant() - Method in class jml2b.structure.statement.MethodCallExp

isConstant() - Method in class jml2b.structure.statement.QuantifiedExp

isConstant() - Method in class jml2b.structure.statement.QuestionExp

isConstant() - Method in class jml2b.structure.statement.TTypeExp

isConstant() - Method in class jml2b.structure.statement.TerminalExp

isConstant() - Method in class jml2b.structure.statement.UnaryExp

isConstant() - Method in class jml2b.structure.statement.WithTypeExp

isConstructor() - Method in class jml2b.structure.AMethod

isConstructor() - Method in class jml2b.structure.bytecode.ClassDefaultConstructor

isConstructor() - Method in class jml2b.structure.bytecode.ClassMethod

isConstructor() - Method in class jml2b.structure.java.Constructor

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

isConstructor() - Method in class jpov.structure.Method

isDefaultConstructor(String) - Method in class jml2b.structure.bytecode.ClassDefaultConstructor

isDefaultConstructor(String) - Method in class jml2b.structure.bytecode.ClassMethod

isDefaultJmlEnsuresTrue(IProject) - Static method in class jack.plugin.JackJml2bConfiguration

isDefaultJmlRequiresTrue(IProject) - Static method in class jack.plugin.JackJml2bConfiguration

Indicate wether the default value for requires clauses is set to requires true or not.

isDot() - Method in class jml2b.structure.statement.Expression

Tests if the expression operator is a dot.

isExpanded() - Method in class jml2b.structure.AField

isExpanded() - Method in class jml2b.structure.bytecode.ClassField

isExpanded() - Method in class jml2b.structure.java.Field

isExternal() - Method in class jml2b.structure.java.Class

Returns true if the current class is an "external" class.

isExternal() - Method in class jml2b.structure.java.JmlFile

Return true if the file correspond to an external file.

isExternalVisible() - Method in class jml2b.structure.bytecode.ClassDefaultConstructor

isExternalVisible() - Method in class jml2b.structure.bytecode.ClassField

isExternalVisible() - Method in class jml2b.structure.bytecode.ClassFile

isExternalVisible() - Method in class jml2b.structure.bytecode.ClassMethod

isExternalVisible() - Method in interface jml2b.structure.java.IModifiers

isExternalVisible() - Method in class jml2b.structure.java.Modifiers

Returns true if the modifier allow external visibility (that is visibility outside of the package).

isFileContext() - Method in class jml2b.link.LinkContext

isFileGenerated(String) - Method in class jack.plugin.JackJml2bConfiguration

isFileGenerated(String) - Method in interface jml2b.IJml2bConfiguration

isFileGenerated(String) - Method in class jml2b.Jml2bConfig

isFinal() - Method in class jml2b.structure.bytecode.ClassDefaultConstructor

isFinal() - Method in class jml2b.structure.bytecode.ClassField

isFinal() - Method in class jml2b.structure.bytecode.ClassFile

isFinal() - Method in class jml2b.structure.bytecode.ClassMethod

isFinal() - Method in interface jml2b.structure.java.IModifiers

isFinal() - Method in class jml2b.structure.java.Modifiers

isImageUsed() - Method in class jack.plugin.JackProjectPropertyPage

isImportedClass(String) - Method in class jml2b.structure.java.JmlFile

Return true if the given class_name correspond to an imported class.

isIntegral() - Method in class jml2b.structure.java.Type

isInterface() - Method in class jml2b.structure.bytecode.ClassFile

isInterface() - Method in class jml2b.structure.java.AClass

isInterface() - Method in class jml2b.structure.java.Class

isJml() - Method in class jml2b.structure.java.Modifiers

isJmlFile(String) - Static method in class jml2b.structure.java.JmlFile

isLabelProperty(Object, String) - Method in class jack.plugin.source.MethodListLabelProvider

isLeftEditable(Object) - Method in class jack.plugin.source.JmlMergeViewerContentProvider

isLocal() - Method in class jml2b.structure.AField

isLocal() - Method in class jml2b.structure.bytecode.ClassField

isLocal() - Method in class jml2b.structure.java.Field

Indicates wether the field correspond to a local variable or to a parameter.

isLock(IResource) - Static method in class jack.plugin.JackPlugin

isMergeable() - Method in class jpov.structure.Goal

Returns whether the goal is proven or checked.

isModifiersCompatible(Modifiers) - Method in class jml2b.structure.statement.ArrayInitializer

isModifiersCompatible(Modifiers) - Method in class jml2b.structure.statement.BinaryExp

isModifiersCompatible(Modifiers) - Method in class jml2b.structure.statement.Expression

Tests whether the expression contains fields that have modifiers compatible with the invariant modifiers.

isModifiersCompatible(Modifiers) - Method in class jml2b.structure.statement.IsSubtypeOfExp

isModifiersCompatible(Modifiers) - Method in class jml2b.structure.statement.MethodCallExp

isModifiersCompatible(Modifiers) - Method in class jml2b.structure.statement.QuantifiedExp

isModifiersCompatible(Modifiers) - Method in class jml2b.structure.statement.QuestionExp

isModifiersCompatible(Modifiers) - Method in class jml2b.structure.statement.TTypeExp

isModifiersCompatible(Modifiers) - Method in class jml2b.structure.statement.TerminalExp

If the expression is an identifier, test if their modifiers are compatible with the invariant modifiers.

isModifiersCompatible(Modifiers) - Method in class jml2b.structure.statement.UnaryExp

isModifiersCompatible(Modifiers) - Method in class jml2b.structure.statement.WithTypeExp

isNumeric() - Method in class jml2b.structure.java.Type

isObject() - Method in class jml2b.structure.java.AClass

Returns true if the current class represents java.lang.Object.

isObvious(boolean) - Method in class jml2b.formula.BinaryForm

isObvious(boolean) - Method in class jml2b.formula.Formula

Returns whether a formula is obvious.

isObvious(boolean) - Method in class jml2b.formula.QuantifiedForm

isObvious(boolean) - Method in class jml2b.formula.TTypeForm

isObvious(boolean) - Method in class jml2b.formula.TerminalForm

isObvious(boolean) - Method in class jml2b.formula.TriaryForm

isObvious(boolean) - Method in class jml2b.formula.UnaryForm

isObviousPoGenerated() - Method in class jack.plugin.JackJml2bConfiguration

isObviousPoGenerated() - Method in interface jml2b.IJml2bConfiguration

Indicates whether obvious PO have to be generated or not

isObviousPoGenerated() - Method in class jml2b.Jml2bConfig

isObviousProver(String) - Method in class jack.plugin.JackJml2bConfiguration

isObviousProver(String) - Static method in class jack.plugin.JackPlugin

isObviousProver(String) - Method in interface jml2b.IJml2bConfiguration

isObviousProver(String) - Method in class jml2b.Jml2bConfig

isOriginal() - Method in class jml2b.pog.lemma.Goal

Returns the isOriginal.

isPackageVisible() - Method in class jml2b.structure.bytecode.ClassDefaultConstructor

isPackageVisible() - Method in class jml2b.structure.bytecode.ClassField

isPackageVisible() - Method in class jml2b.structure.bytecode.ClassFile

isPackageVisible() - Method in class jml2b.structure.bytecode.ClassMethod

isPackageVisible() - Method in interface jml2b.structure.java.IModifiers

isPackageVisible() - Method in class jml2b.structure.java.Modifiers

Indicates wether the modifier corresponds to the package visibility.

isPrivate() - Method in class jml2b.structure.bytecode.ClassDefaultConstructor

isPrivate() - Method in class jml2b.structure.bytecode.ClassField

isPrivate() - Method in class jml2b.structure.bytecode.ClassFile

isPrivate() - Method in class jml2b.structure.bytecode.ClassMethod

isPrivate() - Method in interface jml2b.structure.java.IModifiers

isPrivate() - Method in class jml2b.structure.java.Modifiers

Indicates wether the modifier has the private modifier set.

isProtected() - Method in class jml2b.structure.bytecode.ClassDefaultConstructor

isProtected() - Method in class jml2b.structure.bytecode.ClassField

isProtected() - Method in class jml2b.structure.bytecode.ClassFile

isProtected() - Method in class jml2b.structure.bytecode.ClassMethod

isProtected() - Method in interface jml2b.structure.java.IModifiers

isProtected() - Method in class jml2b.structure.java.Modifiers

Indicates wether the modifier has the protected modifier set.

isProtectedNotSpecPublic() - Method in class jml2b.structure.bytecode.ClassDefaultConstructor

isProtectedNotSpecPublic() - Method in class jml2b.structure.bytecode.ClassField

isProtectedNotSpecPublic() - Method in class jml2b.structure.bytecode.ClassFile

isProtectedNotSpecPublic() - Method in class jml2b.structure.bytecode.ClassMethod

isProtectedNotSpecPublic() - Method in interface jml2b.structure.java.IModifiers

isProtectedNotSpecPublic() - Method in class jml2b.structure.java.Modifiers

Return true iff the protected modifier is set, and not the spec_public modifier.

isProved(String) - Method in class jml2b.pog.lemma.GoalStatus

isProved() - Method in class jml2b.pog.lemma.GoalStatus

isProved(String) - Method in class jml2b.pog.lemma.NonObviousGoal

Returns whether this goal is proven.

isProved() - Method in class jml2b.pog.lemma.NonObviousGoal

Returns whether this goal is proven.

isProved() - Method in class jml2b.pog.lemma.ProverStatus

Tests whether the goal is proved or not

isProved(String) - Method in class jpov.structure.Goal

isProved() - Method in class jpov.structure.TreeObject

Returns true iff the object represented by this node is fully proved.

isRef() - Method in class jml2b.structure.java.Type

isResultAdmitted() - Method in class jml2b.link.LinkContext

isRightEditable(Object) - Method in class jack.plugin.source.JmlMergeViewerContentProvider

isRunning() - Method in class jack.plugin.prove.ProofTask

Returns true iff proofs are currently performed on this task.

isSameAs(IAParameters) - Method in class jml2b.structure.IAParameters

compare the signature with the signature of the given parameters.

isSameAs(IAParameters) - Method in class jml2b.structure.java.Parameters

compare the signature with the signature of the given parameters.

isSelected() - Method in class jpov.structure.Goal

isSet(int) - Method in class jml2b.structure.java.Modifiers

Returns true if flag is set, false otherwise.

isShow(HypLine) - Method in class jpov.viewer.lemma.LemmaFilterWindow

isShowGoalType() - Method in class jpov.viewer.tree.TreeFilterWindow

Returns whether some goal types are not displayed.

isShowProved() - Method in class jpov.viewer.tree.TreeFilterWindow

Returns whether the proved item should be display or not.

isShowUnProved() - Method in class jpov.viewer.tree.TreeFilterWindow

Returns whether the unproved item should be display or not.

isStatic() - Method in class jml2b.structure.bytecode.ClassDefaultConstructor

isStatic() - Method in class jml2b.structure.bytecode.ClassField

isStatic() - Method in class jml2b.structure.bytecode.ClassFile

isStatic() - Method in class jml2b.structure.bytecode.ClassMethod

isStatic() - Method in interface jml2b.structure.java.IModifiers

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

isStatic() - Method in class jml2b.structure.java.Modifiers

Indicates wether the modifier has the static modifier set.

isStatic() - Method in class jpov.structure.Method

isSubclassOf(AClass) - Method in class jml2b.structure.java.AClass

Returns true if and only if super_class is a super class of this or if this and super_class are the same classes.

isSubtypeOf(Type) - Method in class jml2b.structure.java.Type

return true iff this is a subtype of the given type.

isUnproved() - Method in class jml2b.pog.lemma.ProverStatus

Tests whether the goal is unproved or not.

isUsed(VirtualFormula) - Method in class jml2b.pog.lemma.Proofs

Test wheter an hypothesis is used in the theorems.

isViewShown(String) - Method in class jack.plugin.JackJml2bConfiguration

isViewShown(String) - Method in interface jml2b.IJml2bConfiguration

Indicates whether a view of the lemma have to be displayed or not.

isViewShown(String) - Method in class jml2b.Jml2bConfig

isVisibleFrom(AClass) - Method in class jml2b.structure.java.Declaration

Returns true if the declaration "this" is visible from the given class.

isWellDefPoGenerated() - Method in class jack.plugin.JackJml2bConfiguration

isWellDefPoGenerated() - Method in interface jml2b.IJml2bConfiguration

isWellDefPoGenerated() - Method in class jml2b.Jml2bConfig