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

N

NATIVE - Static variable in interface jml2b.structure.java.ModFlags

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

comment indice corresponding to an object creation (blue).

NEWARRAY - Static variable in interface jml2b.structure.statement.MyToken

Token correspoding to an array creation

NEW_OBJECT - Static variable in interface jml2b.formula.IFormToken

NON_NULL - Static variable in interface jml2b.structure.java.ModFlags

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

Constant corresponding to normal behavior cases.

NOTHING - Static variable in class jack.plugin.JackJml2bConfiguration

NUMBER - Static variable in class jack.plugin.edit.JavaLineStyler

NamedNode - class jml2b.structure.java.NamedNode.

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

NamedNode(JmlFile, AST) - Constructor for class jml2b.structure.java.NamedNode

NamedNode(ParsedItem) - Constructor for class jml2b.structure.java.NamedNode

NonObviousGoal - class jml2b.pog.lemma.NonObviousGoal.

This class implements a non obvious goal, that is a goal that will be saved in the JPO file.

NonObviousGoal() - Constructor for class jml2b.pog.lemma.NonObviousGoal

NonObviousGoal(Goal) - Constructor for class jml2b.pog.lemma.NonObviousGoal

Constructs a non obvious goal from a goal with a goal status to unproved.

NormalLemma - class jml2b.pog.lemma.NormalLemma.

This class defines lemmas resulting from the proof of a normal method specification.

NormalLemma(IJml2bConfiguration, Method, SimpleLemma, SimpleLemma, SimpleLemma, Vector) - Constructor for class jml2b.pog.lemma.NormalLemma

Creates a set of ensures labelled lemma corresponding to the cases of a method specification corresponding to normal behaviours.

name - Variable in class jml2b.structure.java.Package

Short name of the package.

nameIndex - Variable in class jml2b.structure.java.NamedNode

nbLemmas() - Method in class jml2b.pog.lemma.Proofs

nbLemmas() - Method in class jml2b.pog.lemma.TheoremList

Returns the number of lemmas in the theorem list

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

Returns the total number of proof obligations.

nbPo() - Method in class jml2b.pog.lemma.Lemma

Returns the number of goals.

nbPo() - Method in class jml2b.pog.lemma.Proofs

Returns the number of goals (or proof obligations).

nbPo() - Method in class jml2b.pog.lemma.SimpleLemma

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

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

nbPoChecked() - Method in class jml2b.pog.lemma.Lemma

nbPoChecked() - Method in class jml2b.pog.lemma.Proofs

nbPoChecked() - Method in class jml2b.pog.lemma.SimpleLemma

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

nbPoProved(String) - Method in class jml2b.pog.lemma.Lemma

Returns the number of goals that are in a specified state.

nbPoProved() - Method in class jml2b.pog.lemma.Lemma

Returns the number of goals that are in a specified state.

nbPoProved(String) - Method in class jml2b.pog.lemma.Proofs

Returns the number of goals that are in a specified state.

nbPoProved() - Method in class jml2b.pog.lemma.Proofs

Returns the number of goals that are in a specified state.

nbPoProved(String) - Method in class jml2b.pog.lemma.SimpleLemma

nbPoProved() - Method in class jml2b.pog.lemma.SimpleLemma

nbPoProved(String) - Method in class jml2b.structure.java.Class

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

nbPoProved(String) - Method in class jml2b.structure.java.Method

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

nbTheorems() - Method in class jml2b.pog.lemma.Proofs

nbTheorems() - Method in class jml2b.pog.lemma.TheoremList

Returns the number of theorems in the theorem list

negativeArraySizeException - Static variable in class jml2b.structure.statement.Statement

The Class NegativeArraySizeException

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

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

nextToken() - Method in class jack.plugin.edit.JavaScanner

Returns the next lexical token in the document.

nodeString - Static variable in interface jml2b.structure.statement.MyToken

Array associating a string to a token

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

Normalized comma expression (a,b),c in a,(b,c).

not(Formula) - Static method in class jml2b.formula.Formula

Returns the negation of the parameter.

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

nparams() - Method in class jml2b.structure.bytecode.ClassParameters

nparams() - Method in class jml2b.structure.java.Parameters

nullPointerException - Static variable in class jml2b.structure.statement.Statement

The Class NullPointerException