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

B

BCScanner - class jack.plugin.edit.BCScanner.

A simple scanner for Java and JML

BCScanner() - Constructor for class jack.plugin.edit.BCScanner

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

Goal origin value that corresponds to the proof of an ensures clause of a specified block.

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

Formula origin corresponding to an ensures clause of a specified block

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

Goal origin value that corresponds to the proof of an exsures clause of a specified block.

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

Formula origin corresponding to an exsures clause of a specified block

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

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

BOOL - Static variable in class jml2b.formula.BasicType

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

Token correspoding to an obvious expression

B_ACCOLADE - Static variable in interface jml2b.formula.IFormToken

B bracket unary operator {a} with priority 250.

B_APPLICATION - Static variable in interface jml2b.formula.IFormToken

B application binary operator a(b) with priority 250

B_ARRAY_EQUALS - Static variable in interface jml2b.formula.IFormToken

B function equality operator with priority 50.

B_BOOL - Static variable in interface jml2b.formula.IFormToken

B boolean unary operator bool(a) with priority 250

B_BTRUE - Static variable in interface jml2b.formula.IFormToken

B literal btrue 0=0 with priority 250.

B_COUPLE - Static variable in interface jml2b.formula.IFormToken

B couple binary operator a |-> b with priority 250.

B_DOM - Static variable in interface jml2b.formula.IFormToken

B domaine function with priority 250

B_FUNCTION_EQUALS - Static variable in interface jml2b.formula.IFormToken

B function equality operator with priority 50.

B_IN - Static variable in interface jml2b.formula.IFormToken

B belongs to binary operator a : b with priority 60

B_INTERVAL - Static variable in interface jml2b.formula.IFormToken

B interval binary operator a ..

B_OVERRIDING - Static variable in interface jml2b.formula.IFormToken

B overriding binary operator a <+ b with priority 90.

B_SET_EQUALS - Static variable in interface jml2b.formula.IFormToken

B set equality operator with priority 50.

B_SUBSTRACTION_DOM - Static variable in interface jml2b.formula.IFormToken

B substraction dom operator with priority 40.

B_UNION - Static variable in interface jml2b.formula.IFormToken

B union binary operator a \/ b with priority 140.

BasicType - class jml2b.formula.BasicType.

Type of formula, the type can be boolean integer reference proposition JML \TYPE function of two types.

BasicType(BasicType, BasicType) - Constructor for class jml2b.formula.BasicType

BasicType(JpoInputStream) - Constructor for class jml2b.formula.BasicType

BinaryExp - class jml2b.structure.statement.BinaryExp.

This class implements binary expressions.

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

Constructs a quantified expression form another one

BinaryForm - class jml2b.formula.BinaryForm.

This class implements binary formula.

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

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

Constructs a binary formula from two formulas and a token.

BoolType - Static variable in class jml2b.formula.BasicType

Box - class jack.plugin.edit.Box.

Colored part of the edited java source.

Box - class jpov.viewer.source.Box.

This class describes a colored information in the source text.

Box(JpoInputStream) - Constructor for class jpov.viewer.source.Box

Constructs a box from a .jpo file

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

Returns the name in the B syntax of an identifier

binaryNumericPromotion(Type, Type) - Static method in class jml2b.structure.java.Type

booleanelements - Static variable in class jml2b.formula.ElementsForm

The formula booleanelements_n.

builtinNames - Static variable in interface jml2b.pog.printers.IPrinter

The array of builtin types name

byteelements - Static variable in class jml2b.formula.ElementsForm

The formula byteelements_n.