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

R

REF - Static variable in class jml2b.formula.BasicType

REFERENCES - Static variable in class jml2b.formula.TerminalForm

The constant formula REFERENCES.

REMOVE_ALL_TASKS_DESCRIPTOR - Static variable in class jpov.Icons

REMOVE_TASK_DESCRIPTOR - Static variable in class jpov.Icons

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

Goal origin value that corresponds to the proof of a requires clause.

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

Formula origin corresponding to a require clause

REQUIRES - Static variable in class jpov.Icons

Image corresponding to the requires icon.

RUNNING - Static variable in class jack.plugin.prove.ProofTask

Constant corresponding to the running state.

RefType - Static variable in class jml2b.formula.BasicType

ReplaceFileUpdate - class jml2b.util.ReplaceFileUpdate.

ReplaceFileUpdate(File, String, int) - Constructor for class jml2b.util.ReplaceFileUpdate

Represents - class jml2b.structure.jml.Represents.

This abstract class describes a represents clause.

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

Constructs an empty represent clause from a loaded file.

RequiresGenerator - class jack.plugin.source.RequiresGenerator.

Generator of requires clause.

RequiresGenerator(IJml2bConfiguration, Shell, JmlFile, boolean, boolean) - Constructor for class jack.plugin.source.RequiresGenerator

RunnableWithError - class jack.plugin.RunnableWithError.

This class manages errors that can occur during an action.

RunnableWithError() - Constructor for class jack.plugin.RunnableWithError

readBoolean() - Method in class jml2b.util.JpoInputStream

readByte() - Method in class jml2b.util.JpoInputStream

readInt() - Method in class jml2b.util.JpoInputStream

readUTF() - Method in class jml2b.util.JpoInputStream

redraw(IJml2bConfiguration, boolean, boolean) - Method in class jpov.viewer.lemma.LemmaView

refelements - Static variable in class jml2b.formula.ElementsForm

The formula refelements_n.

refresh(IResource) - Static method in class jack.plugin.compile.CompilationUnitDecorator

register(String, ILanguage, ITranslationResult, IPrinter, ProverStatus, IInteractiveProver, IObviousProver, ProofTask) - Static method in class jml2b.languages.Languages

Register a plugin

remove() - Method in class jml2b.pog.lemma.LabeledProofsVector

Removes the last added labeled proof from the list.

removeData(Object) - Method in class jml2b.structure.java.JmlFile

Remove the data stored with the specified key.

removeListener(ILabelProviderListener) - Method in class jack.plugin.source.MethodListLabelProvider

renameParam(Parameters, Vector) - Method in class jml2b.formula.BinaryForm

renameParam(IAParameters, Vector) - Method in class jml2b.formula.Formula

Renames the fields belonging to the parameter list with new names.

renameParam(IAParameters, Vector) - Method in class jml2b.pog.lemma.Proofs

Rename the fields belonging to the parameter list with new names.

renameParam(IAParameters, Vector) - Method in class jml2b.pog.lemma.Theorem

Renames the parameter of a method with new identifier in the theorem

renameParam(Parameters, Parameters) - Method in class jml2b.structure.jml.Exsures

renameParam(IJml2bConfiguration, Parameters, Vector) - Method in class jml2b.structure.jml.ModifiesClause

Renames the parameter in the modifies clause.

renameParam(IJml2bConfiguration, Parameters, Vector) - Method in class jml2b.structure.jml.ModifiesEverything

renameParam(IJml2bConfiguration, Parameters, Vector) - Method in class jml2b.structure.jml.ModifiesList

renameParam(IJml2bConfiguration, Parameters, Vector) - Method in class jml2b.structure.jml.ModifiesNothing

renameParam(IJml2bConfiguration, Parameters, Parameters) - Method in class jml2b.structure.jml.SpecCase

renameParam(Parameters, Parameters) - Method in class jml2b.structure.statement.Expression

Renames the fields belonging to the parameter list with new names.

renamedParam(IAParameters) - Static method in class jml2b.structure.statement.MethodCallExp

Returns a set of fresh variables, each one corresponding to a parameter of the method.

reset() - Static method in class jml2b.exceptions.ErrorHandler

Reset the error and warnig counters.

resetSelectedGoals() - Method in class jpov.viewer.tree.TreeItemSelection

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

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

Resolve identifiers conflict.

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

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

run(IProgressMonitor) - Method in class jack.plugin.Generator

Loads, links and type checks the given compilation units then call the coreRun method.

run(IProgressMonitor) - Method in class jack.plugin.ImageGenerator

run(IAction) - Method in class jack.plugin.compile.CompileButton

run(IAction) - Method in class jack.plugin.compile.VerifySourceAction

Generates Proof Obligations for the selected compilation units.

run(IAction) - Method in class jack.plugin.edit.EditAction

run(IAction) - Method in class jack.plugin.edit.EditButton

run(IAction) - Method in class jack.plugin.metrics.MetricsAction

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

Starts the proof.

run(IAction) - Method in class jack.plugin.prove.ProveAction

run() - Method in class jack.plugin.prove.ProveAction

run(IAction) - Method in class jack.plugin.source.AddJmlAction

Generates JML specifications for the selected compilation units.

run(IProgressMonitor) - Method in class jack.plugin.source.JmlClauseGenerator

runGC() - Static method in class jml2b.util.Profiler

runProofTask(IAction, ProofTask) - Method in class jack.plugin.ToolbarButton

run_proof(Iterator) - Method in class jack.plugin.prove.ProveAction

run_proof_pec(IFile, JpoFile) - Method in class jack.plugin.prove.ProveAction