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

U

UNPROVED - Static variable in class jml2b.pog.lemma.ProverStatus

Proof state value that corresponds to a goal that is not proved neither checked.

UNPROVED - Static variable in class jpov.Icons

Image corresponding to the unproved icon.

USE_SERIALIZED_IMAGE_PROPERTY - Static variable in class jack.plugin.JackPlugin

Name of the property allowing the use of an image file.

UnaryExp - class jml2b.structure.statement.UnaryExp.

This class implements unary expressions.

UnaryExp(int, String, Expression) - Constructor for class jml2b.structure.statement.UnaryExp

Constructs an unary expression form another unary expression.

UnaryForm - class jml2b.formula.UnaryForm.

This class implements unary Formula.

UnaryForm(UnaryForm) - Constructor for class jml2b.formula.UnaryForm

UnaryForm(byte, Formula) - Constructor for class jml2b.formula.UnaryForm

Constructs a unary formula from a formula and a token.

UniqString - class jpov.UniqString.

This class provides facilities to manage strings that appears during the view phases.

UniqString() - Constructor for class jpov.UniqString

UpdatedJmlFile - class jml2b.util.UpdatedJmlFile.

Util - class jml2b.util.Util.

Class containing utility functions.

Util() - Constructor for class jml2b.util.Util

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

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

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

Disallow all identifier of the set of identifier to use their short name

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

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

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

files that don't have linked statements

unprove() - Method in class jpov.JpoFile

Sets all the lemma to unprove

unprove() - Method in class jpov.structure.JmlFile

Sets all the goals of this JML file to unprove.

unsetShortName() - Method in class jml2b.pog.util.IdentifierResolver

Indicates that the absolute name can be used.

untokenize(String[], String) - Static method in class jml2b.util.Util

Returns a string contained from an array of string and a delimiter

updateControls(IProject) - Method in class jack.plugin.JackDefaultSpecEditor

Updates the state of the controls depending on the state of the given project.

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

Updates the view from a new jpo file

updateStatus() - Method in class jpov.structure.JmlFile

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