Index

Overview

Package

Class

Tree

Deprecated

Index

Help

PREV NEXT

FRAMES NO FRAMES

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

$

$START - Static variable in class att.grappa.Symbols

A

a - Variable in class GFI_Datas.QuadrupletEntiers
AB - Variable in class PreuveAB_tmp: Interface permettant d'interagir avec l'atelier B
Abandon - Variable in class ResultatAnalyse
accept(File) - Method in class AppliGene.FileFilterGS
action_obj - Variable in class att.grappa.Parser: Instance of action encapsulation class.
action_tab - Variable in class java_cup.runtime.lr_parser: Direct reference to the action table.
action_table() - Method in class att.grappa.Parser: Access to parse-action table.
action_table() - Method in class java_cup.runtime.lr_parser: The action table (supplied by generated subclass).
actionPerformed(ActionEvent) - Method in class AffichageDot.DotFrame
actionPerformed(ActionEvent) - Method in class AppliGene: gestion des ecouteurs d'evenement
actionPerformed(ActionEvent) - Method in class att.grappa.ExceptionDisplay.Display.WindowObserver
actionPerformed(ActionEvent) - Method in class att.grappa.GrappaAdapter: Invoked when an action occurs.
actionPerformed(ActionEvent) - Method in class ModeNettoyer: gestion des ecouteurs d'evenement
activerLancer() - Method in class AppliGene: activer le bouton Lancer *********
activerVerifierOracle() - Method in class AppliGene: activer le checkbox verifier oracle ****
Add_component(String, boolean) - Method in class interfacageAB: Permet d'ajouter un composant dans le projet courant sous l'atelier B.
addArrow(GeneralPath, GeneralPath, GrappaPoint, GrappaPoint, double, double) - Method in class att.grappa.GrappaLine
addColor(String, Color) - Static method in class att.grappa.GrappaColor: Adds a color to the application color table.
addEdge(Edge, boolean) - Method in class att.grappa.Node: Add the given edge to this node's inEdges or outEdges dictionaries, if it is not already there.
addEdge(Edge) - Method in class att.grappa.Subgraph: Adds the specified edge to the subgraph's Edge dictionary.
addField(TableField) - Method in class att.grappa.TableField
addGrappaListener(GrappaListener) - Method in class att.grappa.GrappaPanel: Adds the specified listener to receive mouse events from this graph.
addIdMapping(Element) - Method in class att.grappa.Graph: Add id to element lookup table (used in setId method)
addNode(Node) - Method in class att.grappa.Subgraph: Adds the specified node to the subgraph's Node dictionary.
addPanel(GrappaPanel) - Method in class att.grappa.Graph: Adds a panel to the list of GrappaPanels that are displaying this graph.
addSubgraph(Subgraph) - Method in class att.grappa.Subgraph: Adds the specified subgraph to the subgraph's graph dictionary.
addTag(String) - Method in class att.grappa.Element: Tags the element with the supplied string.
addTypeTag(int, String) - Method in class att.grappa.Subgraph: Adds a default tag for the specified element type within this subgraph.
AdresseDossierBDB - Static variable in class ConfigurationGeneSyst: Adresse du dossier BDB de l'atelier
advance() - Method in class att.grappa.Lexer: Advance the scanner one character in the input stream.
advance_lookahead() - Method in class java_cup.runtime.lr_parser: Advance to next "parse ahead" input Symbol.
AffichageDot - Class in <Unnamed>
AffichageDot() - Constructor for class AffichageDot
AffichageDot.DotFrame - Class in <Unnamed>
AffichageDot.DotFrame(Graph) - Constructor for class AffichageDot.DotFrame
AffichageGarde(int, int, int, int) - Method in class GFI_Exportation: Methodes permettant d'afficher les renseignements sur declanchabilité, atteignabilité et etats initiaux
AffichageMinimum - Static variable in class MethodesNonFonctionnelles: Vrai ssi l'utilisateur veut un affichage minimum des traces.
AffichageMinimum - Variable in class PrintWriterGeneSyst
AfficheDebug(String) - Method in class interfacageAB: Affiche la chaiune S passée en parametre si et seulement si la variable Debugage est a VRAI.
Afficher(PrintWriter, Vector<TOperation>, String) - Method in class GFI_Exportation: Méthode permettant d'afficher, sur le flux de sortie précisé, une représentation textuelle du STE courant.
AfficherBilan(ResultatAnalyse) - Method in class GestionFormatIntermediaire
AfficheStatistiques(long) - Method in class MethodesNonFonctionnelles
AfficheTabInt(int[], PrintWriter) - Static method in class MethodesNonFonctionnelles: Méthode utilisée pour la gestion des états atteignables.
AfficheTabInt(int[], PrintWriter, String) - Static method in class MethodesNonFonctionnelles: Méthode utilisée pour la gestion des états atteignables.
AfficheTout() - Method in class GFI_Datas: Méthode de Débug.
affine - Variable in class att.grappa.GrappaPathIterator
AjouteMachinePourDependances(String) - Method in class PreuveAB_tmp: Cette méthode recopie (sans la clause opérations) la machine spécifiée par NomFichierAvecExtension dans le dossier de travail courant et l'intègre dans le projet B en cours.
ALNUM - Static variable in class att.grappa.GrappaSupport
ALPHA - Static variable in class att.grappa.GrappaSupport
alternate - Variable in class att.grappa.PrintfParser
ancestorAdded(AncestorEvent) - Method in class att.grappa.GrappaPanel
ancestorMoved(AncestorEvent) - Method in class att.grappa.GrappaPanel
ancestorRemoved(AncestorEvent) - Method in class att.grappa.GrappaPanel
anon_id - Variable in class att.grappa.CUP$Parser$actions
anonStr() - Method in class att.grappa.CUP$Parser$actions
ANONYMOUS_PREFIX - Static variable in interface att.grappa.GrappaConstants: Name prefix for name generation of unnamed subgraphs.
antiAliasText - Static variable in class att.grappa.Grappa: Indicates whether anti-aliasing should be used when drawing text.
AppelAtelierB - Static variable in class ConfigurationGeneSyst: Methode d'appel du prouveur
AppelCommandeExterne(String, boolean) - Static method in class MethodesNonFonctionnelles: Exécute la commande donnée avec le shell SH et renvoie le résultat de la commande (si celui-ci a été demandé).
AppelCommandeExterneAvecScript(String, String) - Method in class MethodesNonFonctionnelles: Exécute la commande donnée avec la méthode AppelCommandeExterne en lui donnant comme paramètre un fichier contenant le Script donné et renvoie le résultat de la commande.
appendAttr(String, String) - Method in class att.grappa.CUP$Parser$actions
appendNode(String, String) - Method in class att.grappa.CUP$Parser$actions
AppliGene - Class in <Unnamed>
AppliGene() - Constructor for class AppliGene: Constructeur de la fenetre principale******
AppliGene.FileFilterGS - Class in <Unnamed>
AppliGene.FileFilterGS(String) - Constructor for class AppliGene.FileFilterGS
applyAttrs(Element, Attribute, Attribute) - Method in class att.grappa.CUP$Parser$actions
arcHeightFactor - Static variable in class att.grappa.GrappaNexus: RoundRectangle arc height factor
arcWidthFactor - Static variable in class att.grappa.GrappaNexus: RoundRectangle arc width factor
areaIterator - Variable in class att.grappa.GrappaPathIterator
arrayForTuple(String) - Static method in class att.grappa.GrappaSupport
arrayOffset - Static variable in class att.grappa.GrappaSupportRects
arrow - Variable in class att.grappa.GrappaLine
arrowLength - Static variable in class att.grappa.GrappaLine: Arrow head length
arrowWidth - Static variable in class att.grappa.GrappaLine: Arrow head width
aspect(Rectangle2D.Double) - Method in class att.grappa.Subgraph
Assertion - Variable in class ResultatAnalyse
ATOM - Static variable in class att.grappa.Symbols
ATSIGN - Static variable in class att.grappa.Symbols
att.grappa - package att.grappa
AttConnues - Variable in class GFI_Datas: Tableau décrivant l'ensemble des atteignabilités connues.
Atteignable - Static variable in class GFI_Datas: Constante utilisée lors de la construction inductive des différentes transitions.
attrAssignment - Static variable in class att.grappa.Symbols
attrDefs - Static variable in class att.grappa.Symbols
Attribute - Class in att.grappa: A class used for representing attributes associated with the graph elements.
Attribute(int, String, Object) - Constructor for class att.grappa.Attribute: Constructs a new attribute from a name / value pair.
Attribute(Attribute) - Constructor for class att.grappa.Attribute: Constructs a new attribute from an existing one.
AttributeHandler - Interface in att.grappa: An interface for methods that perform attribute value conversions.
attributes - Variable in class att.grappa.Element
attributeType - Variable in class att.grappa.Attribute
attributeType(int, String) - Static method in class att.grappa.Attribute: Returns the attribute conversion type for the supplied attribute name and element type..
attributeType(String) - Static method in class att.grappa.Edge: Returns the attribute conversion type for the supplied attribute name.
attributeType(String) - Static method in class att.grappa.Element: Returns the attribute conversion type for the supplied attribute name.
attributeType(String) - Static method in class att.grappa.Graph: Returns the attribute conversion type for the supplied attribute name.
attributeType(String) - Static method in class att.grappa.Node: Returns the attribute conversion type for the supplied attribute name.
attributeType(String) - Static method in class att.grappa.Subgraph: Returns the attribute conversion type for the supplied attribute name.
attrItem - Static variable in class att.grappa.Symbols
attrList - Static variable in class att.grappa.Symbols
attrMacro - Static variable in class att.grappa.Symbols
attrNotOfInterest(String) - Method in class att.grappa.Element: Remove the name of an attribute of interest to this object
attrOfInterest(String) - Method in class att.grappa.Element: Add the name of an attribute of interest to this element
attrs - Variable in class att.grappa.CUP$Parser$actions
attrsOfInterest - Variable in class att.grappa.Element
attrStmt(int, String) - Method in class att.grappa.CUP$Parser$actions
attrStmt - Static variable in class att.grappa.Symbols
attrType - Static variable in class att.grappa.Symbols
auMoinsUnFormat() - Method in class AppliGene: verifie si il y a au moins un format qui a été choisi **
autoPositionNodeLabel - Static variable in class att.grappa.Grappa: Indicates if the label position for node labels should automatically be set to the center point of the node.
AvecG - Static variable in class GFI_Datas: Constante définissant une condition Gardée

B

b - Variable in class GFI_Datas.QuadrupletEntiers
backer - Variable in class att.grappa.GrappaPanel
backgroundDrawing - Static variable in class att.grappa.Grappa: Indicates that background drawing, if any is provided via a GrappaBacker implementation, should be displayed or not.
barreDeroul - Variable in class GestionAffichage
barreDeroul - Variable in class TextWriter
bbox - Variable in class att.grappa.GrappaNexus
BBOX_ATTR - Static variable in interface att.grappa.GrappaConstants: String name for bounding box attribute (bb).
BBOX_HASH - Static variable in interface att.grappa.GrappaConstants: Hash code for bounding box attribute (bb).
bboxCheckSet() - Method in class att.grappa.GrappaNexus
bCocher - Variable in class ModeNettoyer
bdfs(int) - Method in class att.grappa.Element: Performs a breadth-first or a depth-first search starting at this Element.
bEffacer - Variable in class ModeNettoyer
bLancer - Variable in class AppliGene
bNettoyer - Variable in class AppliGene
body - Static variable in class att.grappa.Symbols
BOTH_ARROW_EDGE - Static variable in class att.grappa.GrappaLine: Bit flag to indicate that line has arrow heads at both ends.
bounds - Variable in class att.grappa.TableField
boundText - Variable in class att.grappa.GrappaNexus: Indicates if element text should be included in the element bounding box.
BOX_SHAPE - Static variable in interface att.grappa.GrappaConstants: Indicator that the element has a box shape.
BOX_TYPE - Static variable in interface att.grappa.GrappaConstants: Indicator that attribute value is an instance of GrappaBox.
boxFromCorners(double, double, double, double) - Static method in class att.grappa.GrappaSupport: Creates a GrappaBox from the coordinates of any two opposing corners.
boxFromCorners(GrappaBox, double, double, double, double) - Static method in class att.grappa.GrappaSupport: Creates a GrappaBox from the coordinates of any two opposing corners.
bParcourir1 - Variable in class AppliGene
bParcourir2 - Variable in class AppliGene
bParcourir3 - Variable in class AppliGene
bParcourir4 - Variable in class AppliGene
bQuitter - Variable in class AppliGene
bQuitter - Variable in class ModeNettoyer
bRetour - Variable in class GestionAffichage
bRetour - Variable in class ModeNettoyer
bufferEdges() - Method in class att.grappa.CUP$Parser$actions
buildBox(StringBuffer, Rectangle2D, boolean, boolean) - Method in class att.grappa.PrintfParser
buildChar(StringBuffer, int) - Method in class att.grappa.PrintfParser
buildExp(StringBuffer, double, boolean) - Method in class att.grappa.PrintfParser
buildFlex(StringBuffer, double, boolean) - Method in class att.grappa.PrintfParser
buildFloat(StringBuffer, double) - Method in class att.grappa.PrintfParser
buildHex(StringBuffer, int, boolean) - Method in class att.grappa.PrintfParser
buildInteger(StringBuffer, long) - Method in class att.grappa.PrintfParser
buildOctal(StringBuffer, int) - Method in class att.grappa.PrintfParser
buildPoint(StringBuffer, Point2D, boolean) - Method in class att.grappa.PrintfParser
buildShape() - Method in class att.grappa.Element: Creates and populates the GrappaNexus object for this element.
buildShapes() - Method in class att.grappa.Graph: Builds any GrappaNexus object not already built for elements in this graph.
buildSize(StringBuffer, Dimension2D, boolean) - Method in class att.grappa.PrintfParser
buildString(StringBuffer, String) - Method in class att.grappa.PrintfParser
busy - Variable in class att.grappa.Element
busy - Variable in class att.grappa.Graph
buttonPanel - Variable in class att.grappa.ExceptionDisplay.Display
bVisualiserAbstr - Variable in class GestionAffichage
bVisualiserRaff - Variable in class GestionAffichage

C

c - Variable in class GFI_Datas.QuadrupletEntiers
canonColor(String, float[]) - Static method in class att.grappa.GrappaColor
canonize(String) - Static method in class att.grappa.GrappaSupport: Canonize string by converting to lower-case and removing all non-letter, non-digit characters.
canonName - Variable in class att.grappa.Element
canonString(String) - Static method in class att.grappa.Element: Canonicalizes the supplied string for output.
canonValue(String) - Static method in class att.grappa.Element: Canonicalizes the supplied string for look-up.
cap - Variable in class att.grappa.GrappaStyle
CaptureAssocNumEtat_Etat(FileReader) - Method in class GFI_Parseur: Méthode du parseur de fichiers d'oracle.
CaptureAssocNumEv_Ev(FileReader) - Method in class GFI_Parseur: Méthode du parseur de fichiers d'oracle.
CaptureAtt(FileReader) - Method in class GFI_Parseur: Méthode du parseur de fichiers d'oracle.
CaptureDecl(FileReader) - Method in class GFI_Parseur: Méthode du parseur de fichiers d'oracle.
CaptureEqu(FileReader) - Method in class GFI_Parseur: Méthode du parseur de fichiers d'oracle.
CaptureInit(FileReader) - Method in class GFI_Parseur: Méthode du parseur de fichiers d'oracle.
CaptureInstruction(FileReader) - Method in class GFI_Parseur: Méthode du parseur de fichiers d'oracle.
CaptureInt(FileReader) - Method in class GFI_Parseur: Méthode du parseur de fichiers d'oracle.
CaptureNomIdf(FileReader) - Method in class GFI_Parseur: Méthode du parseur de fichiers d'oracle.
CapturePr(FileReader) - Method in class GFI_Parseur: Méthode du parseur de fichiers d'oracle.
CaptureStr(FileReader) - Method in class GFI_Parseur: Méthode du parseur de fichiers d'oracle.
centerPanel(Point2D, GrappaPanel) - Static method in class att.grappa.GrappaSupport: Scroll to the viewport containing the specified GrappaPanel so that it is centered on the given point.
centerPanelAtPoint(Point2D) - Method in class att.grappa.GrappaPanel: Centers the panel at the supplied point.
centerPointNodes - Static variable in class att.grappa.Grappa: Indicates if element node position indicates the node center point.
CetteFenetre - Variable in class AppliGene
chABP - Variable in class AppliGene
chAf - Variable in class AppliGene
changeArrowType(int) - Method in class att.grappa.GrappaLine: Changes the arrow type for this line.
char_symbols - Variable in class att.grappa.Lexer
chargeOracle(String) - Method in class GFI_Parseur: Méthode du parseur de fichiers d'oracle.
chDg - Variable in class AppliGene
chDot - Variable in class AppliGene
CheckBoxSelectionnes() - Method in class ModeNettoyer: recupere les cases selectionnées
CheminEtNomFichierAbstrProduitAuFormatDot - Static variable in class geneSyst
CheminEtNomFichierRaffProduitAuFormatDot - Static variable in class geneSyst
ChercheMessageErreur(String) - Method in class interfacageAB: Fonction dont le role est de dire si l'une des balises d'erreur est presente dans la chaine donnee.
ChercheMessageErreur(String, int) - Method in class interfacageAB: Fonction dont le role est de dire si l'erreur specifiee est presente dans Chaine.
ChercheMessageErreur(String, String) - Method in class interfacageAB: Fonction dont le role est de dire si l'erreur specifiee est presente dans Chaine.
chGxl - Variable in class AppliGene
chHtml - Variable in class AppliGene
chN - Variable in class AppliGene
chOP - Variable in class AppliGene
chOPEx - Variable in class AppliGene
chV - Variable in class AppliGene
CIRCLE_XDIAG - Static variable in class att.grappa.GrappaShape
CIRCLE_YDIAG - Static variable in class att.grappa.GrappaShape
ClasseEquivalenceEtats - Class in <Unnamed>
ClasseEquivalenceEtats() - Constructor for class ClasseEquivalenceEtats
ClausesNonTraitees - Variable in class PreuveAB_tmp
ClausesNonTraiteesSaufVarEtInv - Variable in class PreuveAB_tmp
clearBBox() - Method in class att.grappa.Element
clearChanged() - Method in class att.grappa.Attribute: Use to indicate that this object has no longer changed, or that it has already notified all of its observers of its most recent change.
clearOutline() - Method in class att.grappa.GrappaPanel: Clear swept outline, if any.
clearPatchWork() - Method in class att.grappa.Subgraph
clearText - Variable in class att.grappa.GrappaNexus: Indicates if the area bounding the element text should be filled/outlined along with the element when being drawn.
clone() - Method in class att.grappa.GrappaLine: Creates a new object of the same class as this object.
clone() - Method in class att.grappa.GrappaNexus: Creates a new object of the same class as this object.
clone() - Method in class att.grappa.GrappaShape: Creates a new object of the same class as this object.
clone() - Method in class att.grappa.GrappaStyle: Creates a new object of the same class as this object.
Close_Project(boolean) - Method in class interfacageAB: Ferme le projet spécifié sous l'atelier B.
closeGraph() - Method in class att.grappa.CUP$Parser$actions
closeSubg() - Method in class att.grappa.CUP$Parser$actions
cluster - Variable in class att.grappa.Subgraph
CLUSTERRANK_ATTR - Static variable in interface att.grappa.GrappaConstants: String name for cluster rank attribute (clusterrank).
cmnstrbuf - Variable in class att.grappa.Lexer: common StringBuffer (suggested by Ginny Travers (bbn.com))
CN - Static variable in class att.grappa.GrappaSupport
cocherTous() - Method in class ModeNettoyer
COLON - Static variable in class att.grappa.Symbols
color - Variable in class att.grappa.GrappaNexus
COLOR_ATTR - Static variable in interface att.grappa.GrappaConstants: String name for color attribute (color).
COLOR_HASH - Static variable in interface att.grappa.GrappaConstants: Hash code for color attribute (color).
COLOR_TYPE - Static variable in interface att.grappa.GrappaConstants: Indicator that attribute value is an instance of java.awt.Color.
colorLookUp - Static variable in class att.grappa.GrappaColor
colorTable - Static variable in class att.grappa.GrappaColor
combPatchWork() - Method in class att.grappa.Subgraph
COMMA - Static variable in class att.grappa.Symbols
CommentaireDebugage() - Method in class GFI_Datas: Calcule le commentaire de fin de ligne en mode débugage.
compare(Object, Object) - Method in class att.grappa.Subgraph
componentHidden(ComponentEvent) - Method in class att.grappa.GrappaPanel
componentMoved(ComponentEvent) - Method in class att.grappa.GrappaPanel
componentPaint(Graphics) - Method in class att.grappa.GrappaPanel
componentResized(ComponentEvent) - Method in class att.grappa.GrappaPanel
componentShown(ComponentEvent) - Method in class att.grappa.GrappaPanel
composantB - Variable in class ResultatAnalyse
compound - Static variable in class att.grappa.Symbols
compSqPatchWork(Rectangle2D.Double, boolean) - Method in class att.grappa.Subgraph
compStdPatchWork(Rectangle2D.Double, boolean) - Method in class att.grappa.Subgraph
computePatchWork(Rectangle2D.Double, boolean) - Method in class att.grappa.Subgraph
ConfigurationGeneSyst - Class in <Unnamed>
ConfigurationGeneSyst() - Constructor for class ConfigurationGeneSyst
Conjonction(TPredicat) - Method in class MethodesNonFonctionnelles: La méthode Conjonction decompose le predicat pred selon les 'et', en un vecteur de predicats.
constantFontwidth - Static variable in class att.grappa.GrappaSupportRects: Rough font sizing information for the courier (or constant) font.
contains(double, double) - Method in class att.grappa.GrappaLine
contains(double, double, double, double) - Method in class att.grappa.GrappaLine
contains(Point2D) - Method in class att.grappa.GrappaLine
contains(Rectangle2D) - Method in class att.grappa.GrappaLine
contains(double, double) - Method in class att.grappa.GrappaNexus
contains(double, double, double, double) - Method in class att.grappa.GrappaNexus
contains(Point2D) - Method in class att.grappa.GrappaNexus
contains(Rectangle2D) - Method in class att.grappa.GrappaNexus
contains(double, double) - Method in class att.grappa.GrappaShape
contains(double, double, double, double) - Method in class att.grappa.GrappaShape
contains(Point2D) - Method in class att.grappa.GrappaShape
contains(Rectangle2D) - Method in class att.grappa.GrappaShape
ConvertDisjEtats(Vector<TPredicat>) - Method in class GFI_Exportation: Convertie le vecteurs de disjonctions d'états donnés en paramètre en un tableau de String.
convertStringValue(int, String, String, int) - Method in class att.grappa.Attribute: Convert the supplied string value to the appropriate Object.
convertStringValue(int, String, String, int) - Method in interface att.grappa.AttributeHandler: Convert the supplied string value to the appropriate Object.
convertValue(int, String, Object, int) - Method in class att.grappa.Attribute: Convert the supplied value to a string.
convertValue(int, String, Object, int) - Method in interface att.grappa.AttributeHandler: Convert the supplied value to a string.
CopieMachineDansDossierTravail(String) - Method in class PreuveAB_tmp: Cette méthode permet de recopier une machine, un raffinement ou une implantation B dans le dossier de travail courant.
copyValue(int, String, Object, int) - Method in class att.grappa.Attribute: Make a copy of the supplied value.
copyValue(int, String, Object, int) - Method in interface att.grappa.AttributeHandler: Make a copy of the supplied value.
corbeille - Variable in class ModeNettoyer
counter - Variable in class att.grappa.Element: A convenience variable, not used by Grappa, but available to keep track of or otherwise mark graph elements when traversing a graph.
countOfElements(int) - Method in class att.grappa.Subgraph: Get a count of elements in this subgraph and, by recursion, descendant subgraphs.
countOfLocalElements(int) - Method in class att.grappa.Subgraph: Get a count of elements in this subgraph.
Create_Project(String, String, String) - Method in class interfacageAB: Méthode permettant de créer un projet sous l'atelier B.
Create_Project_Securise(String, String, String) - Method in class interfacageAB: Retourne une chaine de caracteres correspondant au nom du projet cree.
createElement(int, Object[], Attribute[]) - Method in class att.grappa.Subgraph: Creates a new element and adds it to the subgraph's element dictionary.
CreationDeFichierB(int, int, int, int, TPredicat) - Method in class PreuveAB_tmp: CreationDeFichierB créé un fichier B de nom NomFichier dans le dossier NomDossier en y inscrivant toutes les clauses mises de coté précédemment, ainsi que l'assertion Assertion & AssertionPerso.
Cst_FaireExistentielle - Static variable in class ConfigurationGeneSyst: Variable indiquant le choix par defaut quand aux preuves existentielles.
CstImplementation - Static variable in class MethodesNonFonctionnelles
CstMachine - Static variable in class MethodesNonFonctionnelles
CstRefinement - Static variable in class MethodesNonFonctionnelles
ctype - Static variable in class att.grappa.GrappaSupport
CUP$Parser$actions - Class in att.grappa: Cup generated class to encapsulate user supplied action code.
CUP$Parser$actions(Parser) - Constructor for class att.grappa.CUP$Parser$actions: Constructor
CUP$Parser$do_action(int, lr_parser, Stack, int) - Method in class att.grappa.CUP$Parser$actions: Method with the actual generated action code.
cur_err_token() - Method in class java_cup.runtime.lr_parser: Return the current lookahead in our error "parse ahead" buffer.
cur_token - Variable in class java_cup.runtime.lr_parser: The current lookahead Symbol.
current_line - Variable in class att.grappa.Lexer: Current line number for use in error messages.
current_position - Variable in class att.grappa.Lexer: Character position in current line.
currentSegment(double[]) - Method in class att.grappa.GrappaPathIterator
currentSegment(float[]) - Method in class att.grappa.GrappaPathIterator
currentSelection - Variable in class att.grappa.Subgraph: Reference to the current selection (or vector of selections).
CUSTOM_ATTR - Static variable in interface att.grappa.GrappaConstants: String name for custom class used to draw custom shapes (custom).
CUSTOM_HASH - Static variable in interface att.grappa.GrappaConstants: Hash code for custom attribute (custom).
CUSTOM_SHAPE - Static variable in interface att.grappa.GrappaConstants: Indicator that the element shape is determined by a user-supplied class defined by the "custom" attribute
custom_shape - Variable in class att.grappa.GrappaNexus
CustomRenderer - Interface in att.grappa: An interface for describing the drawing of custom shapes that cannot be captured via a single GeneralPath.

D

d - Variable in class GFI_Datas.QuadrupletEntiers
D_EDGE_OP - Static variable in class att.grappa.Symbols
dash - Variable in class att.grappa.GrappaStyle
dash_phase - Variable in class att.grappa.GrappaStyle
debug_message(String) - Method in class att.grappa.Parser: Write a debugging message to the error stream.
debug_message(int, String) - Method in class att.grappa.Parser: Write a debugging message to the error stream.
debug_message(String) - Method in class java_cup.runtime.lr_parser: Write a debugging message to System.err for the debugging version of the parser.
debug_parse(int) - Method in class att.grappa.Parser: Invokes the parser in debug mode.
debug_parse() - Method in class java_cup.runtime.lr_parser: Perform a parse with debugging output.
debug_reduce(int, int, int) - Method in class java_cup.runtime.lr_parser: Do debug output for a reduce.
debug_shift(Symbol) - Method in class java_cup.runtime.lr_parser: Do debug output for shift.
debug_stack() - Method in class java_cup.runtime.lr_parser: Do debug output for stack state.
Debugage - Static variable in class interfacageAB: Vrai ssi on veut les traces de DEBUGAGE
Debugage - Static variable in class MethodesNonFonctionnelles: Vrai ssi on est en mode de débugage
debugID() - Method in class att.grappa.TableField
debugLevel - Variable in class att.grappa.Parser
DeclConnues - Variable in class GFI_Datas: Tableau décrivant l'ensemble des déclenchabilités connues.
DeclenchabiliteDesTransitions(int[], Vector<TPredicat>, Vector<TOperation>, boolean[][][], boolean[][], GestionFormatIntermediaire, boolean, boolean) - Method in class geneSyst: DeclenchabiliteDesTransitions recherche quels sont les couples d'états (E1,E2) possibles tels que pour un événement Ev donné on ait : E1 - Ev -> E2 Le calcul de l'état d'arrivé est déporté dans la méthode RecherchePointArriveeDesTransition.
Declenchable - Static variable in class GFI_Datas: Constante utilisée lors de la construction inductive des différentes transitions.
decocherTous() - Method in class ModeNettoyer
decrementIndent() - Method in class att.grappa.Graph: Decrease the indent string by removing one INDENT_STRING.
DEFAULT_SET_STRING - Static variable in class att.grappa.GrappaStyle: A style attribute with this string value gets set to the default style for the associated element type.
defaultBackground - Static variable in class att.grappa.GrappaColor: The default background color (white).
defaultColor - Static variable in class att.grappa.GrappaColor: The default color of last resort in all cases (black).
defaultFontcolor - Static variable in class att.grappa.GrappaColor: The default font color (black).
defaultForeground - Static variable in class att.grappa.GrappaColor: The default foreground color (black).
defaultNamePrefix - Static variable in class att.grappa.Edge: Default edge name prefix used by setName().
defaultNamePrefix - Static variable in class att.grappa.Node: Default node name prefix used by setName().
defaultNamePrefix - Static variable in class att.grappa.Subgraph: Default graph name prefix used by setName().
defaultStroke - Static variable in class att.grappa.GrappaStyle
defaultStrokeString - Static variable in class att.grappa.GrappaStyle
defaultXOR - Static variable in class att.grappa.GrappaColor: The default XOR color (light gray).
dejaActive - Variable in class AppliGene
DejaEtudie - Static variable in class GFI_Datas: Constante utilisée lors de la construction inductive des différentes transitions.
delete() - Method in class att.grappa.Element: Method for deleting an element.
deleteCalled - Variable in class att.grappa.Element
deleteCalled() - Method in class att.grappa.Element: Boolean inicating if a delete request has been received by this element.
DELETION_MASK - Static variable in interface att.grappa.GrappaConstants: Bit indicator that deletion highlight is active.
deletionStyle - Variable in class att.grappa.GrappaPanel
DernierCarLuInutilise - Variable in class GFI_Parseur: Variable gloable servant au parseur de fichiers d'oracle.
DG - Static variable in class att.grappa.GrappaSupport
diagonals - Variable in class att.grappa.GrappaStyle
DIAMOND_SHAPE - Static variable in interface att.grappa.GrappaConstants: Indicator that the element has a diamond shape.
dictType - Variable in class att.grappa.Subgraph.Enumerator
DIGRAPH - Static variable in class att.grappa.Symbols
dimensioned - Variable in class att.grappa.GrappaBox
DIR_ATTR - Static variable in interface att.grappa.GrappaConstants: String name for direction attribute (dir).
DIR_HASH - Static variable in interface att.grappa.GrappaConstants: Hash code for edge direction attribute (dir).
DIR_TYPE - Static variable in interface att.grappa.GrappaConstants: Indicator that attribute value is an instance of java.lang.Integer representing an edge direction.
directed - Variable in class att.grappa.CUP$Parser$actions
directed - Variable in class att.grappa.Graph
direction - Variable in class att.grappa.Edge
dirty - Variable in class att.grappa.GrappaNexus
Disjonction(TPredicat) - Method in class MethodesNonFonctionnelles: La méthode Disjonction decompose le predicat pred selon les 'ou', en un vecteur de predicats.
dismiss - Variable in class att.grappa.ExceptionDisplay.Display
dismiss() - Method in class att.grappa.ExceptionDisplay.Display.WindowObserver
display - Variable in class att.grappa.ExceptionDisplay
displayException(Exception) - Method in class att.grappa.ExceptionDisplay: Pops up the frame and displays information on the supplied exception.
displayException(Exception, String) - Method in class att.grappa.ExceptionDisplay: Pops up the frame and displays information on the supplied exception.
displayException(Exception) - Static method in class att.grappa.Grappa: Method for displaying an exception in a pop-up window (if enabled).
displayException(Exception, String) - Static method in class att.grappa.Grappa: Method for displaying an exception in a pop-up window (if enabled).
DISTORTION_ATTR - Static variable in interface att.grappa.GrappaConstants: String name for distortion attribute (distortion).
DISTORTION_HASH - Static variable in interface att.grappa.GrappaConstants: Hash code for distortion attribute (distortion).
do_action(int, lr_parser, Stack, int) - Method in class att.grappa.Parser: Invoke a user supplied parse action.
do_action(int, lr_parser, Stack, int) - Method in class java_cup.runtime.lr_parser: Perform a bit of user supplied action code (supplied by generated subclass).
do_html_string() - Method in class att.grappa.Lexer: Swallow up an html-like string.
do_id() - Method in class att.grappa.Lexer: Process an identifier.
do_quote_string() - Method in class att.grappa.Lexer: Swallow up a quote string.
doAddColor(String, Color, boolean) - Static method in class att.grappa.GrappaColor
doAddColor(String, Color) - Static method in class att.grappa.GrappaColor
doBDFS(int, int, long, int, Vector, Vector) - Static method in class att.grappa.Element
doDisplayException - Static variable in class att.grappa.Grappa: Boolean for enabling/disabling exception pop-up window display.
done_parsing() - Method in class java_cup.runtime.lr_parser: This method is called to indicate that the parser should quit.
Donne_Resultat_Preuve(String) - Static method in class MethodesPMI: Cette méthode renvoie vrai si et seulement si la chaine var passée en paramètre contient le texte Proved.
DonneAtt(int, int, int) - Method in class GFI_Datas: Renvoie le niveau de preuve de l'atteignabilité depuis l'état précisé pour l'événement Donné vers l'état donné.
DonneDecl(int, int) - Method in class GFI_Datas: Renvoie le niveau de preuve de la déclenchabilité de l'état précisé pour l'événement Donné.
DonneEquiv(int) - Method in class GFI_Datas: Renvoie le numéro de la disjonction d'états équivalente à Etat1.
DonneEquiv(int, int) - Method in class GFI_Datas: Renvoie le niveau de preuve de l'équivalence entre l'état abstrait Etat1 et la disjonction d'états Etat2 précisée.
DonneEtatAbstraitCorrespondant(TPredicat, int, Vector<TPredicat>, GestionFormatIntermediaire, boolean) - Method in class geneSyst: DonneEtatAbstraitCorrespondant recherche, par la preuve quel état du vector preds_disjA est équivalent au prédicat EtatR.
DonneEtatArrivee(Vector<GFI_Datas.QuadrupletEntiers>, int) - Static method in class GFI_Datas
DonneEtatDepart(Vector<GFI_Datas.QuadrupletEntiers>, int) - Static method in class GFI_Datas: Méthode permettant d'accèder au champs Etat de départ d'une transition issue de la méthode DonneListeTransitions.
DonneEtatNDuCluster(int, int) - Method in class GFI_Datas: Donne le NumEtat-ième état du regroupement d'états Cluster lors d'un raffinement.
DonneEtatsAVisiter() - Method in class GFI_Datas: La méthode DonneEtatsAVisiter renvoie un tableau d'entiers dont chacun des éléments est le numéro d'un état atteind n'ayant pas encore été observé du point de vue de la déclenchabilité des événements
DonneEtatsInit() - Method in class GFI_Datas: La méthode DonneEtatsInit renvoie un tableau d'entiers contenant l'ensemble des numéros des états initiaux.
DonneEvenement(Vector<GFI_Datas.QuadrupletEntiers>, int) - Static method in class GFI_Datas
DonneExtension(String) - Static method in class MethodesNonFonctionnelles: La fonction DonneExtension prend un nom de fichier et renvoie une Chaine de caractères ne contenant que l'extension (sans le point).
DonneListeTransitions() - Method in class GFI_Datas: Méthode permettant de lister toutes les transitions réalisables par un système.
DonneNbEtats() - Method in class GFI_Datas: Renvoie le nombre d'états présents dans le STE.
DonneNumClusterFromEtat(int) - Method in class GFI_Datas: Donne le numéro du cluster dans lequel se trouve l'état précisé.
DonnePredAtt(int, int, int) - Method in class GFI_Datas: Donne la condition pour l'evenement atteignable
DonnePredDecl(int, int) - Method in class GFI_Datas: Donne la condition pour l'evenement declenchable
DonnePredInit(int) - Method in class GFI_Datas: Donne la condition pour l'etat initial
Donner_Extension() - Method in class MethodesNonFonctionnelles: Donne tous les extensions possibles au fichier NomDuProjet
DonnerNombreDePreuves - Static variable in class geneSyst
doParse(Node, boolean, boolean) - Static method in class att.grappa.GrappaSupportRects
Dossiers - Variable in class GestionNettoyer
DOUBLE_TYPE - Static variable in interface att.grappa.GrappaConstants: Indicator that attribute value is an instance of java.lang.Double.
DOUBLECIRCLE_SHAPE - Static variable in interface att.grappa.GrappaConstants: Indicator that the element has a double circle shape.
DOUBLEOCTAGON_SHAPE - Static variable in interface att.grappa.GrappaConstants: Indicator that the element has a double octagon shape.
doubleToString(double, String) - Method in class att.grappa.PrintfParser
draw(Graphics2D) - Method in interface att.grappa.CustomRenderer: The method called when the element needs to be drawn.
draw(Graphics2D) - Method in class att.grappa.GrappaNexus: Draw the element using the supplied Graphics2D context.
drawBackground(Graphics2D, Graph, Rectangle2D, Shape) - Method in interface att.grappa.GrappaBacker: The method for drawing the background image.
drawImage(Graphics2D) - Method in interface att.grappa.CustomRenderer: The method called when the element needs to draw its background image.
drawImage(Graphics2D) - Method in class att.grappa.GrappaNexus: Draw the image associated with the IMAGE_ATTR using the supplied Graphics2D context.
drawText - Variable in class att.grappa.GrappaNexus: Indicates if element text should be drawn when drawing the element.
drillDown(Subgraph, Vector, int, int) - Method in class att.grappa.GrappaAdapter
dropcloth(boolean, boolean) - Method in class att.grappa.Graph: Sets and unsets a flag in a synchronized manner so that during the period that the flag is set, painting will not occur.
dump_stack() - Method in class java_cup.runtime.lr_parser: Dump the parse stack for debugging purposes.

E

Edge - Class in att.grappa: This class describes an edge.
Edge(Subgraph, Node, Node) - Constructor for class att.grappa.Edge: Use this constructor when creating an edge.
Edge(Subgraph, Node, String, Node, String) - Constructor for class att.grappa.Edge: Use this constructor when creating an edge with ports.
Edge(Subgraph, Node, String, Node, String, String) - Constructor for class att.grappa.Edge: Use this constructor when creating an edge requiring a key to distinguish it.
Edge(Subgraph, Node, Node, String) - Constructor for class att.grappa.Edge: Use this constructor when creating an edge with a supplied unique name for easy look-up (the name is also used as the key).
Edge(Subgraph, Node, String, Node, String, String, String) - Constructor for class att.grappa.Edge: Use this constructor when creating an edge requiring a key to distinguish it and a supplied lookup name.
EDGE - Static variable in interface att.grappa.GrappaConstants: Element type value indicating an edge.
EDGE - Static variable in class att.grappa.Symbols
Edge.Enumerator - Class in att.grappa
Edge.Enumerator(Node, Node) - Constructor for class att.grappa.Edge.Enumerator
edge_op - Static variable in class att.grappa.Symbols
edgeAttributes - Variable in class att.grappa.Subgraph
edgeAttrsOfInterest() - Method in class att.grappa.Edge
edgedict - Variable in class att.grappa.Subgraph
edgeElements() - Method in class att.grappa.Node: Get an Enumeration of the edges directed to or from this node.
edgeElements() - Method in class att.grappa.Subgraph: Get an enumeration of the edge elements in this subgraph.
edgeLabels - Variable in class att.grappa.GrappaPanel
edgeLabels - Variable in class att.grappa.Subgraph
edgeLabelsScaleCutoff - Static variable in class att.grappa.Grappa: When the transform scale applied when drawing in a GrappaPanel is less than this value, then edge labels are suppressed.
edgeRHS(Node, String, Object[], Attribute, Attribute) - Method in class att.grappa.CUP$Parser$actions
edges - Variable in class att.grappa.CUP$Parser$actions
edgeWrap() - Method in class att.grappa.CUP$Parser$actions
editable - Variable in class att.grappa.Graph
editeur - Variable in class TextWriter: editeur de texte pour affichage du resultat
effacageCasParCasDossier(String) - Method in class GestionNettoyer: efface le dossier specifié
effacageProjets(String[]) - Method in class GestionNettoyer: efface les projets specifiés
EffaceFichierTrace() - Method in class interfacageAB: Efface le fichier de Trace
EffaceFichierTrace() - Method in class PreuveAB_tmp: Efface, le cas échéant le fichier de trace créé lors l'utilisation de l'atelier B en parallèle.
EGG_SHAPE - Static variable in interface att.grappa.GrappaConstants: Indicator that the element has a egg shape.
eid - Variable in class att.grappa.Graph
elem - Variable in class att.grappa.Subgraph.Enumerator
Element - Class in att.grappa: This abstract class is the root class for the Node, Edge, Subgraph and Graph classes.
Element() - Constructor for class att.grappa.Element: Element constructor needed only during init phase of Graph class.
Element(int, Subgraph) - Constructor for class att.grappa.Element: Element constructor used during init phase of the Node, Edge and Subgraph classes.
element - Variable in class att.grappa.GrappaNexus
element4Id(Long) - Method in class att.grappa.Graph: Get the element associated with an id key
elementAttrsOfInterest() - Method in class att.grappa.Element
elementPrintAllAttributes - Static variable in class att.grappa.Grappa: Boolean to indicate if all element attributes should be printed.
elementPrintDefaultAttributes - Static variable in class att.grappa.Grappa: Boolean to indicate if the default attributes associated with a subgraph should be printed.
elements(int) - Method in class att.grappa.Subgraph: Get an enumeration of elements in this subgraph and any subgraphs under this one.
elements() - Method in class att.grappa.Subgraph: Get an enumeration of all elements in this subgraph and any subgraphs under this one.
elementSelection - Static variable in class att.grappa.Grappa: Indicates which classes of elements are suitable for selection based on cursor position.
elementType - Variable in class att.grappa.Attribute
elementType - Variable in class att.grappa.GrappaStyle
elementVector - Variable in class att.grappa.GrappaPanel
elPatches - Variable in class att.grappa.Subgraph
emit_error(String) - Method in class att.grappa.Lexer: Emit an error message.
emit_warn(String) - Method in class att.grappa.Lexer: Emit a warning message.
emitFields(TableField, Object[]) - Static method in class att.grappa.GrappaSupportRects
empty() - Method in class java_cup.runtime.virtual_parse_stack: Indicate whether the stack is empty.
emptyEnumeration - Static variable in class att.grappa.Grappa: A convenience Vector useful when an enumeration is to be returned, but the object to be enumerated is null (in which case, the return value can be Grappa.emptyEnumeration.elements(), whose hasMoreElements() method will return false).
EnleveExtension(String) - Static method in class MethodesNonFonctionnelles: La fonction EnleveExtension prend un nom de fichier et renvoie une Chaine de caractères ne contenant que le nom sans l'extension ni le point.
enm - Variable in class att.grappa.Subgraph.Enumerator
EOF - Static variable in class att.grappa.Symbols
EOF_CHAR - Static variable in class att.grappa.Lexer: EOF constant.
EOF_sym() - Method in class att.grappa.Parser: EOF Symbol index.
EOF_sym() - Method in class java_cup.runtime.lr_parser: The index of the end of file terminal Symbol (supplied by generated subclass).
EQUAL - Static variable in class att.grappa.Symbols
equals(Attribute) - Method in class att.grappa.Attribute: Tests for equality with the given attribute.
equals(Object) - Method in class att.grappa.GrappaLine: Check for equality of this object with the supplied object.
equals(Object) - Method in class att.grappa.Subgraph
equalsValue(Attribute) - Method in class att.grappa.Attribute: Tests for equality of this attribute's value with the given attribute's value.
EquivalenceEtats - Variable in class ResultatAnalyse
EquivEtatsConnues - Variable in class GFI_Datas: Tableau décrivant l'ensemble des équivalences d'états connues.
Err - Variable in class interfacageAB
ErreurException - Exception in <Unnamed>
ErreurException(String) - Constructor for exception ErreurException
ErreurException(String, Throwable) - Constructor for exception ErreurException
error - Static variable in class att.grappa.Symbols
error_count - Variable in class att.grappa.Lexer: Count of total errors detected so far.
error_recovery(boolean) - Method in class java_cup.runtime.lr_parser: Attempt to recover from a syntax error.
error_sym() - Method in class att.grappa.Parser: error Symbol index.
error_sym() - Method in class java_cup.runtime.lr_parser: The index of the special error Symbol (supplied by generated subclass).
error_sync_size() - Method in class java_cup.runtime.lr_parser: The number of Symbols after an error we much match to consider it recovered from.
errWriter - Variable in class att.grappa.Graph
errWriter - Variable in class att.grappa.Lexer
errWriter - Variable in class att.grappa.Parser
EstAlphaNum(char) - Method in class GFI_Parseur: Méthode du parseur de fichiers d'oracle.
EstInitial(int) - Method in class GFI_Datas: Renvoie le niveau de preuve de l'initiabilité de l'état précisé.
EstInt(char) - Method in class GFI_Parseur: Méthode du parseur de fichiers d'oracle.
EtatsEtudies - Variable in class GFI_Datas: Taleau Permettant de mémoriser les états ayant déjà été visités lors de la construction inductive des différentes transitions.
EtatsInitiaux - Variable in class GFI_Datas: Tableau décrivant l'ensemble des états initiaux.
exception - Variable in class att.grappa.ExceptionDisplay
ExceptionDisplay - Class in att.grappa: A class for displaying exception information in a pop-up frame.
ExceptionDisplay(String) - Constructor for class att.grappa.ExceptionDisplay: Creates an instance of the class for displaying exceptions.
exceptionDisplay - Static variable in class att.grappa.Grappa
ExceptionDisplay.Display - Class in att.grappa
ExceptionDisplay.Display(String) - Constructor for class att.grappa.ExceptionDisplay.Display
ExceptionDisplay.Display.WindowObserver - Class in att.grappa
ExceptionDisplay.Display.WindowObserver() - Constructor for class att.grappa.ExceptionDisplay.Display.WindowObserver
ExporteFichier(String, Vector<TOperation>, Vector<TPredicat>) - Method in class GFI_Exportation: Méthode permettant d'exporter les informations en mémoire vers un fichier d'oracle.
ExporterCommentaire - Static variable in class geneSyst
ExporterCommentaire - Static variable in class GFI_Exportation
ext - Variable in class AppliGene.FileFilterGS
ExtensionComposantTraite - Variable in class PreuveAB_tmp
ExtensionFichier - Variable in class ResultatAnalyse

F

FaireOPExistentielle - Variable in class geneSyst
FenetreGestionAffichage - Variable in class TextWriter
FermeFichierTrace() - Method in class interfacageAB: Ferme le fichier de Trace
FermeParenthese(FileReader) - Method in class GFI_Parseur: Méthode du parseur de fichiers d'oracle.
fGene - Variable in class GestionAffichage
fGene - Variable in class GestionOnglets
fGene - Variable in class ModeNettoyer
FichierTrace - Variable in class interfacageAB: Fichier de Trace (de log)
fichierValide(String, String) - Method in class AppliGene: Verification de l'extansion du fichier
fieldAt(int) - Method in class att.grappa.TableField
fieldCount() - Method in class att.grappa.TableField
fields - Static variable in class att.grappa.GrappaSupportRects
fill(Graphics2D) - Method in interface att.grappa.CustomRenderer: The method called when the element needs to be filled.
fill(Graphics2D) - Method in class att.grappa.GrappaNexus: Fill the element using the supplied Graphics2D context.
fillcolor - Variable in class att.grappa.GrappaNexus
FILLCOLOR_ATTR - Static variable in interface att.grappa.GrappaConstants: String name for fill color attribute (fillcolor).
FILLCOLOR_HASH - Static variable in interface att.grappa.GrappaConstants: Hash code for fillcolor attribute (fillcolor).
filled - Variable in class att.grappa.GrappaStyle
filterGraph(Graph, Object) - Static method in class att.grappa.GrappaSupport: Filter the supplied graph using the given connector.
filterGraph(Graph, Object, String) - Static method in class att.grappa.GrappaSupport: Filter the supplied graph using the given connector.
filterMode - Variable in class att.grappa.Graph: used internally by Grappa
FinChargementEtats - Variable in class GFI_Parseur: Vrai ssi les états ont terminés d'etre chargés lors de la lecture d'un orcale depuis un fichier
FinChargementEv - Variable in class GFI_Parseur: Vrai ssi les événements ont terminés d'etre chargés lors de la lecture d'un orcale depuis un fichier
find_recovery_config(boolean) - Method in class java_cup.runtime.lr_parser: Put the (real) parse stack into error recovery configuration by popping the stack down to a state that can shift on the special error Symbol, then doing the shift.
find_single_char(int) - Method in class att.grappa.Lexer: Try to look up a single character symbol, returns -1 for not found.
findContainedElements(Subgraph, GrappaBox) - Static method in class att.grappa.GrappaSupport: Find the elements in the supplied subgraph that are contained in the given box.
findContainingElement(Subgraph, Point2D) - Method in class att.grappa.GrappaPanel
findContainingElement(Subgraph, Point2D, Element) - Method in class att.grappa.GrappaPanel
findContainingElement(Subgraph, Point2D) - Static method in class att.grappa.GrappaSupport: Find an element in the supplied subgraph that contains the given point.
findEdgeByKey(Node, Node, String) - Static method in class att.grappa.Edge: Returns the edge with the given tail node, head node and key.
findEdgeByName(String) - Method in class att.grappa.Subgraph: Searches current subgraph and, by recursion, descendent subgraphs for the edge matching the supplied name.
findEdgesByEnds(Node, Node) - Static method in class att.grappa.Edge: Returns an enumeration of edges that have one end fixed at node1 and the other end at node2.
findElementByName(int, String) - Method in class att.grappa.Subgraph
findElementInSubgraphByName(int, String) - Method in class att.grappa.Subgraph
findInEdgeByKey(Node, String) - Method in class att.grappa.Node: Find an inbound edge given its tail and key.
findNodeByName(String) - Method in class att.grappa.Subgraph: Searches current subgraph and, by recursion, descendent subgraphs for the node matching the supplied name.
findOutEdgeByKey(Node, String) - Method in class att.grappa.Node: Find an outbound edge given its head and key.
findSubgraphByName(String) - Method in class att.grappa.Subgraph: Searches current subgraph and, by recursion, descendent subgraphs for the subgraph matching the supplied name.
FinUtilisation() - Method in class PreuveAB_tmp: Cette méthode permet de clore les différents fichiers ouverts et les processus lancés.
fixed_size - Variable in class att.grappa.GrappaStyle
floatArrayForTuple(String) - Static method in class att.grappa.GrappaSupport
flush() - Method in class TextWriter: On réécrit la fonction flush pour que le texte soit afficher dans la fenêtre graphique.
FlushFichierTrace() - Method in class interfacageAB: Vide le tampon mémoire dans le fichier de trace.
font - Variable in class att.grappa.GrappaNexus
font_color - Variable in class att.grappa.GrappaNexus
font_style - Variable in class att.grappa.GrappaStyle
FONTCOLOR_ATTR - Static variable in interface att.grappa.GrappaConstants: String name for fontcolor attribute (fontcolor).
FONTCOLOR_HASH - Static variable in interface att.grappa.GrappaConstants: Hash code for fontcolor attribute (fontcolor).
FONTNAME_ATTR - Static variable in interface att.grappa.GrappaConstants: String name for fontname attribute (fontname).
FONTNAME_HASH - Static variable in interface att.grappa.GrappaConstants: Hash code for fontname attribute (fontname).
FONTSIZE_ATTR - Static variable in interface att.grappa.GrappaConstants: String name for fontsize attribute (fontsize).
FONTSIZE_HASH - Static variable in interface att.grappa.GrappaConstants: Hash code for fontsize attribute (fontsize).
FONTSTYLE_ATTR - Static variable in interface att.grappa.GrappaConstants: String name for fontstyle attribute (fontstyle).
FONTSTYLE_HASH - Static variable in interface att.grappa.GrappaConstants: Hash code for fontstyle attribute (fontstyle).
FONTSTYLE_TYPE - Static variable in interface att.grappa.GrappaConstants: Indicator that attribute value is a java.lang.Integer representing a font style.
Force - Static variable in class MethodesNonFonctionnelles: Définition du niveau de preuve par défaut
Force - Variable in class PreuveAB_tmp
FormatDot - Static variable in class ConfigurationGeneSyst: Definition des constantes correspondant aux formats
FormatDot - Static variable in class GFI_Datas: Definition des constantes correspondant aux formats
FormatGxl - Static variable in class ConfigurationGeneSyst
FormatGxl - Static variable in class GFI_Datas
FormatHtml - Static variable in class ConfigurationGeneSyst
FormatHtml - Static variable in class GFI_Datas
frame - Variable in class AffichageDot
fromNode - Variable in class att.grappa.CUP$Parser$actions
fromPortName - Variable in class att.grappa.CUP$Parser$actions
FusionneTabOfInt(int[], int[]) - Static method in class MethodesNonFonctionnelles: Méthode utilisée pour la gestion des états atteignables.

G

generateStrokeString(float, int, int, float, float[], float) - Static method in class att.grappa.GrappaStyle
generateStyleString(Color, int, float, int, int, float, float[], float, boolean, boolean, boolean, boolean, boolean, Integer, boolean, int) - Static method in class att.grappa.GrappaStyle
GenerationDesSTE(String, String, int, boolean, char, char, char, boolean, boolean, String, String, boolean) - Method in class geneSyst: GenerationDesSTE réalise les Systèmes de Transitions Etiquetés (STE) du raffinement et de la machine B précisés.
GenerationDOT(String, String[], Vector<TPredicat>, char, char, char, String) - Method in class GFI_Exportation: Génère un fichier .dot, traduisible avec l'outil dot de GRAPHVIZ de AT&T, en une image de différents formats.
GenerationDOT(String, String[], Vector<TPredicat>, Vector<TPredicat>, int[], char, char, char, String) - Method in class GFI_Exportation: Génère un fichier .dot, traduisible avec l'outil dot de GRAPHVIZ de AT&T, en une image de différents formats.
GenerationFichierClusterHTML(int, String, Vector<String>, String) - Method in class GFI_Exportation: Methodes permettant de generer les fichiers HTML fournissant les renseignements des CLUSTERS
GenerationFichiersEtatHTML(int, String, int, String) - Method in class GFI_Exportation: Methodes permettant de generer les fichiers HTML fournissant les renseignements des ETATS
GenerationFichierTransitionHTML(int, ArrayList<GFI_Datas.QuadrupletEntiers>, int, int, String) - Method in class GFI_Exportation: Methodes permettant de generer les fichiers HTML fournissant les renseignements des TRANSITIONS
GenerationGXL(String, String[], Vector<TPredicat>, char, char, char, String) - Method in class GFI_Exportation: Generation du fichier Gxl: NomMachine.gxl cas des machines
GenerationGXL(String, String[], Vector<TPredicat>, Vector<TPredicat>, int[], char, char, char, String) - Method in class GFI_Exportation: Generation du fichier Gxl: NomMachine.gxl
GenerationIndexHtml(String, String) - Method in class GFI_Exportation: Generation du fichier html:index.html
GenerationMessageErreur(int, String) - Method in class interfacageAB: Fonction dont le role est de generer les messages d'erreur
geneSyst - Class in <Unnamed>: La classe geneSyst permet de générer l'automate comportemental exacte d'une spécification B événementielle et de son premier raffinement.
geneSyst() - Constructor for class geneSyst
GestionAffichage(String) - Static method in class AffichageDot
GestionAffichage(InputStream) - Method in class AffichageDot
GestionAffichage - Class in <Unnamed>
GestionAffichage(AppliGene) - Constructor for class GestionAffichage: Constructeur de la fenetre gérant l'affichage de la trace de GénéSyst
GestionFormatIntermediaire - Class in <Unnamed>: Cette classe définie une structure de données pour la mise en mémoire des traces avec les méthodes KiVontBien pour sauvegarder ou lire les données depuis un fichier.
GestionFormatIntermediaire(PrintWriterGeneSyst, String) - Constructor for class GestionFormatIntermediaire
GestionFormatIntermediaire(PrintWriterGeneSyst, String, int, int) - Constructor for class GestionFormatIntermediaire
GestionNettoyer - Class in <Unnamed>
GestionNettoyer(ModeNettoyer, String) - Constructor for class GestionNettoyer: Constructeur GestionNettoyer
GestionNomDeProjet(String) - Method in class MethodesNonFonctionnelles: Méthode utilisée pour la gestion des noms de projet
GestionOnglets - Class in <Unnamed>
GestionOnglets(JFrame) - Constructor for class GestionOnglets: Constructeur de la fenetre GestionOnglets
get_action(int, int) - Method in class java_cup.runtime.lr_parser: Fetch an action from the action table.
Get_AssertionLemmas(String) - Method in class interfacageAB: La fonction Get_AssertionLemmas renvoie une chaines de caracteres qui est le pourcentage de preuve de la clause AssertionLemmas.
Get_AssertionLemmas_V2(String, String) - Method in class interfacageAB: Renvoie si oui ou non l'assertion de la machine donnée est complètement prouvée.
get_from_real() - Method in class java_cup.runtime.virtual_parse_stack: Transfer an element from the real to the virtual stack.
Get_Machines_List() - Method in class interfacageAB: Cette chaine comencera toujours par : "Printing machine list ..."
Get_Machines_List_In_Array() - Method in class interfacageAB: La fonction Get_Machines_List_In_Array renvoie un tableau de chaines de caracteres dont chacune d'elle est le nom d'une machine visible par l'utilisateur dans le projet courrant.
Get_Projects_List() - Method in class interfacageAB: La fonction Get_Projects_List renvoie une chaine de caracteres correspondant a celle renvoiee par l'atelier B lors de la commande show_project_list.
Get_Projects_List_In_Array() - Method in class interfacageAB: La fonction Get_Projects_List_In_Array renvoie un tableau de chaines de caracteres dont chacune d'elle est le nom d'un projet visible par l'utilisateur courrant
get_reduce(int, int) - Method in class java_cup.runtime.lr_parser: Fetch a state from the reduce-goto table.
Get_Status_Global() - Method in class interfacageAB: La fonction Get_Status_Global renvoie une chaine de caracteres correspondant a celle renvoyee par l'atelier B lors de la commande status_global.
Get_Status_Global_In_Array() - Method in class interfacageAB: La fonction Get_Status_Global_In_Array renvoie un tableau a 2 dimensions de chaines de caracteres dont chacune d'elle est le nom d'une machine pour la premiere colonne et le pourcentage de preuve dans la seconde.
Get_Status_Machine(String) - Method in class interfacageAB: Cette chaine comencera toujours par : "Printing the status of"
et finira toujours par "End of Printing the status".
Get_Status_Machine_In_Array(String) - Method in class interfacageAB: La fonction Get_Status_Machine_In_Array renvoie un tableau a 2 dimensions de chaines de caracteres dont chacune d'elle est le nom d'une clause ou methode de la machine pour la premiere colonne et le pourcentage de preuve dans la seconde.
getActionObject() - Method in class att.grappa.Parser
getArrowType() - Method in class att.grappa.GrappaLine: Return the arrow type for this line.
getAttribute(String) - Method in class att.grappa.Element: Get the Attribute of this Element for the specified key.
getAttributePairs() - Method in class att.grappa.Element: Get an enumeration of all attribute pairs for this element.
getAttributeType() - Method in class att.grappa.Attribute: Get the attribute value type for this attribute.
getAttributeValue(String) - Method in class att.grappa.Element: Get the Attribute value of this Element for the specified key.
getBoundingBox() - Method in class att.grappa.Subgraph: Get the bounding box of the subgraph.
getBounds() - Method in class att.grappa.GrappaLine
getBounds() - Method in class att.grappa.GrappaNexus
getBounds() - Method in class att.grappa.GrappaShape
getBounds() - Method in class att.grappa.TableField: Get the bounding box of this element
getBounds2D() - Method in class att.grappa.GrappaLine
getBounds2D() - Method in class att.grappa.GrappaNexus
getBounds2D() - Method in class att.grappa.GrappaShape
getCapStyle() - Method in class att.grappa.GrappaStyle: Get the cap style.
getCenterPoint() - Method in class att.grappa.Node: Returns the center point of the node.
getColor(String, Color) - Static method in class att.grappa.GrappaColor: Return the color in the color table with the given name.
getColorName(Color) - Static method in class att.grappa.GrappaColor: Return the name of the supplied color.
getCPT() - Method in class att.grappa.GrappaPanel
getDash() - Method in class att.grappa.GrappaStyle: Get the dash specification.
getDashPhase() - Method in class att.grappa.GrappaStyle: Get the dash phase.
getDebugLevel() - Method in class att.grappa.Parser: Get the debug level for this parser.
getDefaultAttribute(int, String) - Method in class att.grappa.Element: Get the corresponding default attribute for the specified type and key.
getDefaultAttribute(String) - Method in class att.grappa.Element: Get the default attribute of this element for the specified key.
getDescription() - Method in class AppliGene.FileFilterGS
getDiagonals() - Method in class att.grappa.GrappaStyle: Get the diagonal corner specification.
getEdgeAttribute(String) - Method in class att.grappa.Subgraph: Gets the subgraph-specific default attribute for the named edge attribute.
getEdgeAttributeKeys() - Method in class att.grappa.Subgraph: Gets an enumeration of the subgraph-specific edge attribute keys
getEdgeAttributePairs() - Method in class att.grappa.Subgraph: Gets an enumeration of the subgraph-specific edge attributes
getEdgeAttributeValue(String) - Method in class att.grappa.Subgraph: Gets the subgraph-specific default value for the named edge attribute.
getElement() - Method in class att.grappa.GrappaNexus: Get the underlying element.
getElementType() - Method in class att.grappa.Attribute: Get the element type for this attribute.
getEnumerationTypes() - Method in interface att.grappa.GraphEnumeration: Get the types of elements possibly contained in this enumeration.
getEnumerationTypes() - Method in class att.grappa.Subgraph.Enumerator
getErrorWriter() - Method in class att.grappa.Graph: Get the current PrintWriter used for error messages.
getErrorWriter() - Method in class att.grappa.Parser: Get the error writer, if any, for this parser.
getException() - Method in class att.grappa.ExceptionDisplay.Display
getFilled() - Method in class att.grappa.GrappaStyle: Get the fill specification.
getFixedSize() - Method in class att.grappa.GrappaStyle: Get the fixed size specification.
getFontStyle() - Method in class att.grappa.GrappaStyle: Get the font style.
getGlobalAttribute(int, String) - Static method in class att.grappa.Graph: Gets a graph default attribute.
getGlobalAttributeKeys(int) - Static method in class att.grappa.Graph: Gets an enumeration of the specified graph default attribute keys
getGlobalAttributePairs(int) - Static method in class att.grappa.Graph: Gets an enumeration of the specified graph default attributes
getGlobalAttributeSize(int) - Static method in class att.grappa.Graph: Get a count of the graph default attributes of a particular type.
getGraph() - Method in class att.grappa.Element: Get the Graph of this Element.
getGraph() - Method in class att.grappa.Parser: Get the graph resulting from the parsing operations.
getGrappaAttribute(String) - Method in class att.grappa.Graph: Gets Grappa default attribute.
getGrappaAttributeKeys() - Method in class att.grappa.Graph: Get an enumeration of the Grappa package attribute keys.
getGrappaAttributeValue(String) - Method in class att.grappa.Graph: Gets Grappa default attribute value.
getGrappaNexus() - Method in class att.grappa.Element: Returns the GrappaNexus object associated with this element.
getHead() - Method in class att.grappa.Edge: Get the node at the head end of the edge.
getHeadPortId() - Method in class att.grappa.Edge: Get the head port id of the edge.
getHeight() - Method in class att.grappa.GrappaSize: Returns the height.
getId() - Method in class att.grappa.Element: Get the ID number of this Element.
getId(int) - Method in class att.grappa.Graph: Get the next id number for the specified type, but do not increment the counter.
getId() - Method in class att.grappa.TableField
getIdentifier() - Method in class att.grappa.TableField
getIdKey() - Method in class att.grappa.Element: Get the ID of this Element as a Long object.
getImage() - Method in class att.grappa.GrappaNexus: Return the image, if any, loaded for this element
getIndent() - Method in class att.grappa.Graph: Get the current indent string.
getInverseTransform() - Method in class att.grappa.GrappaPanel: Get the inverse AffineTransform that applies to this drawing.
getInvis() - Method in class att.grappa.GrappaStyle: Get the invisibility specification.
getJoinStyle() - Method in class att.grappa.GrappaStyle: Get the join style.
getKey() - Method in class att.grappa.Edge: Get the key for this edge.
getLexer() - Method in class att.grappa.Parser: Get the Lexer object associated with this parser.
getLineColor() - Method in class att.grappa.GrappaStyle: Get the line color.
getLineStyle() - Method in class att.grappa.GrappaStyle: Get the line style.
getLineWidth() - Method in class att.grappa.GrappaStyle: Get the line width.
getLocalAttribute(String) - Method in class att.grappa.Element: Get only the corresponding local attribute for the specified key.
getLocalAttributeKeys() - Method in class att.grappa.Element: Gets an enumeration of the keys for this Element's local attributes.
getLocalAttributePairs() - Method in class att.grappa.Element: Get an Enumeration of the Attribute objects for this Element.
getLocation() - Method in class att.grappa.Lexer: Get the current location in the form "[line_number(character_offser)]".
getMiterLimit() - Method in class att.grappa.GrappaStyle: Get the miter limit.
getName() - Method in class att.grappa.Attribute: Get the name of this attribute.
getName() - Method in class att.grappa.Element: Get the name of this Element.
getNameHash() - Method in class att.grappa.Attribute: Get the hash value for this attributes name.
getNext() - Method in class att.grappa.Edge.Enumerator
getNodeAttribute(String) - Method in class att.grappa.Subgraph: Gets the subgraph-specific default attribute for the named node attribute.
getNodeAttributeKeys() - Method in class att.grappa.Subgraph: Gets an enumeration of the subgraph-specific node attribute keys
getNodeAttributePairs() - Method in class att.grappa.Subgraph: Gets an enumeration of the subgraph-specific node attributes
getNodeAttributeValue(String) - Method in class att.grappa.Subgraph: Gets the subgraph-specific default value for the named node attribute.
getParent() - Method in class att.grappa.TableField
getParentDefault(int, String) - Method in class att.grappa.Subgraph
getPatch() - Method in class att.grappa.Element
getPatches() - Method in class att.grappa.Subgraph
getPatchSize() - Method in class att.grappa.Element
getPathIterator() - Method in class att.grappa.GrappaLine: Equivalent to getPathIterator(null).
getPathIterator(AffineTransform) - Method in class att.grappa.GrappaLine
getPathIterator(AffineTransform, double) - Method in class att.grappa.GrappaLine
getPathIterator() - Method in class att.grappa.GrappaNexus: Equivalent to getPathIterator(null).
getPathIterator(AffineTransform) - Method in class att.grappa.GrappaNexus
getPathIterator(AffineTransform, double) - Method in class att.grappa.GrappaNexus
getPathIterator() - Method in class att.grappa.GrappaShape: Equivalent to getPathIterator(null).
getPathIterator(AffineTransform) - Method in class att.grappa.GrappaShape
getPathIterator(AffineTransform, double) - Method in class att.grappa.GrappaShape
getPreferredScrollableViewportSize() - Method in class att.grappa.GrappaPanel: Returns the size of the bounding box of the graph augmented by the margin attribute and any scaling.
getRounded() - Method in class att.grappa.GrappaStyle: Get the rounded corner specification.
getScanner() - Method in class java_cup.runtime.lr_parser: Simple accessor method to get the default scanner.
getScrollableBlockIncrement(Rectangle, int, int) - Method in class att.grappa.GrappaPanel: Returns 90% of the view area dimension that is in the orientation of the requested scroll.
getScrollableTracksViewportHeight() - Method in class att.grappa.GrappaPanel: Always returns false as the viewport should not force the height of this GrappaPanel to match the width of the viewport.
getScrollableTracksViewportWidth() - Method in class att.grappa.GrappaPanel: Always returns false as the viewport should not force the width of this GrappaPanel to match the width of the viewport.
getScrollableUnitIncrement(Rectangle, int, int) - Method in class att.grappa.GrappaPanel: Always returns 1 since a GrappaPanel has not logical rows or columns.
getShowEdgeLabels() - Method in class att.grappa.Subgraph: Get flag that indicates if edge labels should be rendered
getShowNodeLabels() - Method in class att.grappa.Subgraph: Get flag that indicates if node labels should be rendered
getShowSubgraphLabels() - Method in class att.grappa.Subgraph: Get flag that indicates if subgraph labels should be rendered
getSize() - Method in class att.grappa.TableField: Get the size of this object.
GetStackTrace() - Method in exception ErreurException
GetStackTrace(StackTraceElement[]) - Static method in exception ErreurException
getStringValue() - Method in class att.grappa.Attribute: Get the value of this attribute converted to a String.
getSubgraph() - Method in class att.grappa.Element: Get the containing Subgraph of this Element.
getSubgraph() - Method in class att.grappa.GrappaPanel: Get the subgraph being drawn on this panel.
getSubgraphRoot() - Method in interface att.grappa.GraphEnumeration: Get the root of this enumeration.
getSubgraphRoot() - Method in class att.grappa.Subgraph.Enumerator
getSynchronizePaint() - Method in class att.grappa.Graph: Get the current paint synchronization indicator value.
getTail() - Method in class att.grappa.Edge: Get the node at the tail end of the edge.
getTailPortId() - Method in class att.grappa.Edge: Get the tail port id of the edge.
getText() - Method in class att.grappa.TableField
getTextBounds() - Method in class att.grappa.TableField
getThisAttribute(String) - Method in class att.grappa.Element: Get only the corresponding local attribute for the specified key if it is not inherited from the parent, otherwise return null.
getThisAttributeValue(String) - Method in class att.grappa.Element: Get only the value of the corresponding local attribute for the specified key if the attribute is not inherited from the parent, otherwise return null.
getToolTipText() - Method in class att.grappa.Graph: Get the tooltip text displayed when outside the graph area.
getToolTipText() - Static method in class att.grappa.Grappa: Gets the current tool-tip text displayed when outside graph, but inside the display panel.
getToolTipText(MouseEvent) - Method in class att.grappa.GrappaPanel: Generate an appropriate tooltip based on the mouse location provided by the given event.
getTopMost() - Method in class att.grappa.TableField
getTransform() - Method in class att.grappa.GrappaPanel: Get the AffineTransform that applies to this drawing.
getType() - Method in class att.grappa.Edge: Get the type of this element.
getType() - Method in class att.grappa.Element: Get the type of this Element.
getType() - Method in class att.grappa.Node: Get the type of this element.
getType() - Method in class att.grappa.Subgraph: Get the type of this element.
getValue() - Method in class att.grappa.Attribute: Get the value of this attribute.
getWidth() - Method in class att.grappa.GrappaSize: Returns the width.
getWindingRule() - Method in class att.grappa.GrappaLine: Return the winding rule for this line.
getWindingRule() - Method in class att.grappa.GrappaNexus: Return the winding rule for this line.
getWindingRule() - Method in class att.grappa.GrappaPathIterator: Return the winding rule for determining the interior of the path.
GFI_Datas - Class in <Unnamed>: Cette classe définie une structure de données pour la mise en mémoire des traces avec les méthodes KiVontBien pour sauvegarder ou lire les données depuis un fichier.
GFI_Datas(PrintWriterGeneSyst) - Constructor for class GFI_Datas: Constructeur simplifié de la classe de gestion du format intermédiaire.
GFI_Datas(PrintWriterGeneSyst, int, int) - Constructor for class GFI_Datas: Constructeur de la classe de gestion du format intermédiaire.
GFI_Datas.QuadrupletEntiers - Class in <Unnamed>: Sous classe permettant le stockage de données dans des vecteurs ou tableaux
GFI_Datas.QuadrupletEntiers(int, int, int, int, String, String, String, TPredicat) - Constructor for class GFI_Datas.QuadrupletEntiers: Constructeur de la sous-classe QuadrupletEntiers qui ne contient pas que 4 entiers mais qui est l'unité élémentaire de stockage dans GFI.
GFI_Exportation - Class in <Unnamed>: Cette classe définie une structure de données pour la mise en mémoire des traces avec les méthodes KiVontBien pour exporter les données vers un fichier graphique ou de format intermédiaire.
GFI_Exportation(PrintWriterGeneSyst, String) - Constructor for class GFI_Exportation
GFI_Exportation(PrintWriterGeneSyst, String, int, int) - Constructor for class GFI_Exportation
GFI_Parseur - Class in <Unnamed>: Cette classe définie un parseur pour charger la structure de données depuis un fichier.
GFI_Parseur(PrintWriterGeneSyst, String) - Constructor for class GFI_Parseur
GFI_Parseur(PrintWriterGeneSyst, String, int, int) - Constructor for class GFI_Parseur
gid - Variable in class att.grappa.Graph
goesForward() - Method in class att.grappa.Edge: Check if the edge connects in the forward direction.
goesReverse() - Method in class att.grappa.Edge: Check if the edge connects in the reverse direction.
gp - Variable in class AffichageDot.DotFrame
gpts - Variable in class att.grappa.GrappaLine
graph - Variable in class AffichageDot.DotFrame
graph - Variable in class att.grappa.CUP$Parser$actions
graph - Variable in class att.grappa.Element
Graph - Class in att.grappa: This class is the root of the overall graph and provides methods for working with the entire graph (for example. printing the graph).
Graph(String, boolean, boolean) - Constructor for class att.grappa.Graph: Creates a new, empty Graph object.
Graph(String) - Constructor for class att.grappa.Graph: Creates a directed graph that is not strict A convenience method equivalent to Graph(graphName,true,false).
graph - Variable in class att.grappa.GrappaPanel
GRAPH - Static variable in class att.grappa.GrappaSupport
GRAPH - Static variable in class att.grappa.Symbols
graph - Static variable in class att.grappa.Symbols
graphAttrDefs - Static variable in class att.grappa.Symbols
graphdict - Variable in class att.grappa.Subgraph
GraphEnumeration - Interface in att.grappa: An extension of the Enumeration interface specific to enumerations of graph elements.
GraphParserException - Exception in att.grappa: This class is used whenever a problem is detected during parsing.
GraphParserException() - Constructor for exception att.grappa.GraphParserException: Constructs an GraphParserException with no detail message.
GraphParserException(String) - Constructor for exception att.grappa.GraphParserException: Constructs an GraphParserException with the specified detail message.
graphType - Variable in class att.grappa.CUP$Parser$actions
graphType - Static variable in class att.grappa.Symbols
Grappa - Class in att.grappa: This class sets default option variables and other set-up.
Grappa() - Constructor for class att.grappa.Grappa
GRAPPA_BACKGROUND_COLOR_ATTR - Static variable in interface att.grappa.GrappaConstants: String name for background color attribute (grappaBackgroundColor).
GRAPPA_BACKGROUND_COLOR_HASH - Static variable in interface att.grappa.GrappaConstants: Hash code for background color attribute (grappaBackgroundColor).
GRAPPA_DELETION_STYLE_ATTR - Static variable in interface att.grappa.GrappaConstants: String name for deletion color attribute (grappaDeletionColor).
GRAPPA_DELETION_STYLE_HASH - Static variable in interface att.grappa.GrappaConstants: Hash code for deletion color attribute (grappaDeletionColor).
GRAPPA_FONTSIZE_ADJUSTMENT_ATTR - Static variable in interface att.grappa.GrappaConstants: String name for fontsize adjustment attribute (grappaFontsizeAdjustment).
GRAPPA_FONTSIZE_ADJUSTMENT_HASH - Static variable in interface att.grappa.GrappaConstants: Hash code for fontsize adjustment attribute (grappaFontsizeAdjustment).
GRAPPA_SELECTION_STYLE_ATTR - Static variable in interface att.grappa.GrappaConstants: String name for selection color attribute (grappaSelectionColor).
GRAPPA_SELECTION_STYLE_HASH - Static variable in interface att.grappa.GrappaConstants: Hash code for selection color attribute (grappaSelectionColor).
GRAPPA_SHAPE - Static variable in interface att.grappa.GrappaConstants: Bit flag indicating that the shape path needs to be generated by by Grappa rather than relying on Java built-ins.
GrappaAdapter - Class in att.grappa: A convenience class that implements the GrappaListener interface for handling mouse-related activity that occurs on a graph.
GrappaAdapter() - Constructor for class att.grappa.GrappaAdapter
GrappaBacker - Interface in att.grappa: An interface for defining an image drawing method to be used for painting the background of the graph.
GrappaBox - Class in att.grappa: This class extends java.awt.geom.Rectangle2D.Double and provides built-in string-to-Rectangle2D and Rectangle2D-to-string conversions suitable for Grappa.
GrappaBox() - Constructor for class att.grappa.GrappaBox: Constructs and initializes a GrappaBox with upper-left coordinates (0, 0) and zero width and height.
GrappaBox(Rectangle2D) - Constructor for class att.grappa.GrappaBox: Constructs and initializes a GrappaBox from a Rectangle2D
GrappaBox(double, double, double, double) - Constructor for class att.grappa.GrappaBox: Constructs and initializes a GrappaBox with the specified coordinates.
GrappaBox(String, boolean) - Constructor for class att.grappa.GrappaBox: Constructs and initializes a GrappaBox with the coordinates derived from the specified String representation.
GrappaBox(String) - Constructor for class att.grappa.GrappaBox: Constructs and initializes a GrappaBox with the coordinates derived from the specified String representation.
grappaClicked(Subgraph, Element, GrappaPoint, int, int, GrappaPanel) - Method in class att.grappa.GrappaAdapter: The method called when a mouse click occurs on a displayed subgraph.
grappaClicked(Subgraph, Element, GrappaPoint, int, int, GrappaPanel) - Method in interface att.grappa.GrappaListener: The method called when a single mouse click occurs on a displayed subgraph.
GrappaColor - Class in att.grappa: This abstract class sets up and provides name-to-color and color-to-name mappings and some associated class methods.
GrappaColor() - Constructor for class att.grappa.GrappaColor
GrappaConstants - Interface in att.grappa: This class provides a common set of constant, class variables used by the classes in the grappa package.
grappaDragged(Subgraph, GrappaPoint, int, Element, GrappaPoint, int, GrappaBox, GrappaPanel) - Method in class att.grappa.GrappaAdapter: The method called when a mouse drag occurs on a displayed subgraph.
grappaDragged(Subgraph, GrappaPoint, int, Element, GrappaPoint, int, GrappaBox, GrappaPanel) - Method in interface att.grappa.GrappaListener: The method called when a mouse drag occurs on a displayed subgraph.
GrappaLine - Class in att.grappa: This class provides line and bezier-curve support for Grappa.
GrappaLine(GrappaPoint[], int) - Constructor for class att.grappa.GrappaLine: Constructs a new GrappaLine object from an array of (cubic) curve points.
GrappaLine(String) - Constructor for class att.grappa.GrappaLine: Constructs a new GrappaLine object from a string of (cubic) curve points as used by "dot".
GrappaListener - Interface in att.grappa: An interface for handling mouse-related activity that occurs on a graph.
grappaListener - Variable in class att.grappa.GrappaPanel
grappaNexus - Variable in class att.grappa.Element
GrappaNexus - Class in att.grappa: This class brings together shape, text and attribute information related to bounding and drawing an element.
GrappaNexus(Element) - Constructor for class att.grappa.GrappaNexus: Constructs a new GrappaNexus object from an element.
grappaNexus - Variable in class att.grappa.GrappaPathIterator
GrappaPanel - Class in att.grappa: A class used for drawing the graph.
GrappaPanel(Subgraph) - Constructor for class att.grappa.GrappaPanel: Constructs a new canvas associated with a particular subgraph.
GrappaPanel(Subgraph, GrappaBacker) - Constructor for class att.grappa.GrappaPanel: Constructs a new canvas associated with a particular subgraph.
GrappaPathIterator - Class in att.grappa: This class provides a PathIterator for GrappaNexus shapes.
GrappaPathIterator(GrappaNexus) - Constructor for class att.grappa.GrappaPathIterator: Constructs a new GrappaPathIterator given a GrappaNexus.
GrappaPathIterator(GrappaNexus, AffineTransform) - Constructor for class att.grappa.GrappaPathIterator: Constructs a new GrappaPathIterator given a GrappaNexus and an optional AffineTransform.
GrappaPoint - Class in att.grappa: This class extends java.awt.geom.Point2D.Double and provides built-in string-to-Point2D and Point2D-to-string conversions suitable for Grappa.
GrappaPoint() - Constructor for class att.grappa.GrappaPoint: Constructs and initializes a GrappaPoint with coordinates (0, 0).
GrappaPoint(double, double) - Constructor for class att.grappa.GrappaPoint: Constructs and initializes a GrappaPoint with the specified coordinates.
GrappaPoint(String) - Constructor for class att.grappa.GrappaPoint: Constructs and initializes a GrappaPoint with the coordinates derived from the specified String representation.
grappaPressed(Subgraph, Element, GrappaPoint, int, GrappaPanel) - Method in class att.grappa.GrappaAdapter: The method called when a mouse press occurs on a displayed subgraph.
grappaPressed(Subgraph, Element, GrappaPoint, int, GrappaPanel) - Method in interface att.grappa.GrappaListener: The method called when a mouse press occurs on a displayed subgraph.
grappaReleased(Subgraph, Element, GrappaPoint, int, Element, GrappaPoint, int, GrappaBox, GrappaPanel) - Method in class att.grappa.GrappaAdapter: The method called when a mouse release occurs on a displayed subgraph.
grappaReleased(Subgraph, Element, GrappaPoint, int, Element, GrappaPoint, int, GrappaBox, GrappaPanel) - Method in interface att.grappa.GrappaListener: The method called when a mouse release occurs on a displayed subgraph.
GrappaShape - Class in att.grappa: This class provides a flexible, parameterized polygonal shape builder.
GrappaShape(int, double, double, double, double, int, int, double, double, double, boolean, boolean, Object) - Constructor for class att.grappa.GrappaShape: Constructs a new GrappaShape object.
GrappaSize - Class in att.grappa: This class extends java.awt.geom.Dimension2D and provides built-in string-to-Dimension2D and Dimension2D-to-string conversions suitable for Grappa.
GrappaSize() - Constructor for class att.grappa.GrappaSize: Constructs and initializes a GrappaSize with coordinates (0, 0).
GrappaSize(double, double) - Constructor for class att.grappa.GrappaSize: Constructs and initializes a GrappaSize with the specified coordinates.
GrappaSize(String) - Constructor for class att.grappa.GrappaSize: Constructs and initializes a GrappaSize with the coordinates derived from the specified String representation.
GrappaStyle - Class in att.grappa: This class translates and encapsulates information provided by the style attribute.
GrappaStyle(int, String) - Constructor for class att.grappa.GrappaStyle: Constructs a new GrappaStyle object from a style description string.
GrappaSupport - Class in att.grappa: A class providing some supports function for Grappa.
GrappaSupport() - Constructor for class att.grappa.GrappaSupport
GrappaSupportPrintf - Class in att.grappa: A class providing sprintf support.
GrappaSupportPrintf() - Constructor for class att.grappa.GrappaSupportPrintf
GrappaSupportRects - Class in att.grappa: This class provides a method for parsing RECORD_SHAPE node labels and deriving the RECT_ATTR information from it.
GrappaSupportRects() - Constructor for class att.grappa.GrappaSupportRects
grappaTip(Subgraph, Element, GrappaPoint, int, GrappaPanel) - Method in class att.grappa.GrappaAdapter: The method called when a element tooltip is needed.
grappaTip(Subgraph, Element, GrappaPoint, int, GrappaPanel) - Method in interface att.grappa.GrappaListener: The method called when a element tooltip is needed.
grattributes - Variable in class att.grappa.Graph

H

hasAttributeForKey(String) - Method in class att.grappa.Element: Checks to see if this element has an Attribute matching the key
hasDefaultTag(String) - Method in class att.grappa.Element: Check if this Element has the supplied tag as a default tag.
hasDefaultTags() - Method in class att.grappa.Element: Check if this Element has any default tags at all.
hasEmptySubgraphs() - Method in class att.grappa.Subgraph
hasFields() - Method in class att.grappa.TableField
HASHLIST_TYPE - Static variable in interface att.grappa.GrappaConstants: Indicator that attribute value is a java.lang.Hashtable whose keys provide a list of values
hasLocalTag(String) - Method in class att.grappa.Element: Check if this Element has the supplied tag locally.
hasLocalTags() - Method in class att.grappa.Element: Check if this Element is tagged at all locally.
hasMoreElements() - Method in class att.grappa.Edge.Enumerator
hasMoreElements() - Method in class att.grappa.Node.Enumerator
hasMoreElements() - Method in class att.grappa.Subgraph.Enumerator
hasOutline() - Method in class att.grappa.GrappaPanel: Check if a swept outline is still available.
HASPORT - Static variable in class att.grappa.GrappaSupportRects
HASTABLE - Static variable in class att.grappa.GrappaSupportRects
hasTag(String) - Method in class att.grappa.Element: Check if this Element has the supplied tag either locally or as a default.
hasTags() - Method in class att.grappa.Element: Check if this Element is tagged at all either locally or with a default.
HASTEXT - Static variable in class att.grappa.GrappaSupportRects
hasTypeTag(int, String) - Method in class att.grappa.Subgraph: Check if the specified element type has the supplied default tag within this subgraph.
hasTypeTags(int) - Method in class att.grappa.Subgraph: Check if this element type has any default tags at all.
HauteurFenetre - Variable in class AffichageDot.DotFrame
HauteurFenetre - Static variable in class AppliGene
haveId - Variable in class att.grappa.Lexer: needed to handle anonymous subgraphs since parser has no precedence
HD - Static variable in class att.grappa.GrappaSupport
hdr - Static variable in class att.grappa.Symbols
HEAD_ARROW_EDGE - Static variable in class att.grappa.GrappaLine: Bit flag to indicate that line has an arrow head at its head end.
HEADLABEL_ATTR - Static variable in interface att.grappa.GrappaConstants: String name for head label attribute (headlabel).
HEADLABEL_HASH - Static variable in interface att.grappa.GrappaConstants: Hash code for head label attribute (headlabel).
HEADLP_ATTR - Static variable in interface att.grappa.GrappaConstants: String name for head label position attribute (head_lp).
HEADLP_HASH - Static variable in interface att.grappa.GrappaConstants: Hash code for head label position attribute (head_lp).
headNode - Variable in class att.grappa.Edge
headPortId - Variable in class att.grappa.Edge
height - Variable in class att.grappa.GrappaSize: The height of the Dimension.
HEIGHT_ATTR - Static variable in interface att.grappa.GrappaConstants: String name for height attribute (height).
HEIGHT_HASH - Static variable in interface att.grappa.GrappaConstants: Hash code for height attribute (height).
helveticaFontwidth - Static variable in class att.grappa.GrappaSupportRects: Rough font sizing information for the helvetica (or sansserif) font.
HEXAGON_SHAPE - Static variable in interface att.grappa.GrappaConstants: Indicator that the element has a hexagon shape.
highlight - Variable in class att.grappa.Element: Determines the type of highlighting to apply, if any, when drawing.
HIGHLIGHT_MASK - Static variable in interface att.grappa.GrappaConstants: Bit mask for highlight bits.
HIGHLIGHT_OFF - Static variable in interface att.grappa.GrappaConstants: Bit indicator that an element should not be highlighted.
HIGHLIGHT_ON - Static variable in interface att.grappa.GrappaConstants: Bit indicator that an element should be highlighted.
HIGHLIGHT_TOGGLE - Static variable in interface att.grappa.GrappaConstants: Bit indicator that an element's highlight should be toggled.
HOUSE_SHAPE - Static variable in interface att.grappa.GrappaConstants: Indicator that the element has a house shape.

I

IAB - Variable in class geneSyst
id2element - Variable in class att.grappa.Graph
id_char(int) - Static method in class att.grappa.Lexer: Check if character is a valid id character;
id_char(char) - Static method in class att.grappa.Lexer: Check if character is a valid id character;
IDENTXFRM - Static variable in interface att.grappa.GrappaConstants: The identity transform (as a convenience).
idKey - Variable in class att.grappa.Element
idKeyId(Long) - Static method in class att.grappa.Graph: Get the type of the id key.
idKeyType(Long) - Static method in class att.grappa.Graph: Get the type of the id key.
idMapKey(int, int) - Static method in class att.grappa.Graph: Creates a id key given a type and id number.
idTag - Variable in class att.grappa.TableField
image - Variable in class att.grappa.GrappaNexus
IMAGE_ATTR - Static variable in interface att.grappa.GrappaConstants: String name for image attribute (image).
IMAGE_HASH - Static variable in interface att.grappa.GrappaConstants: Hash code for image attribute (image).
imageLoading - Variable in class att.grappa.GrappaNexus
imageUpdate(Image, int, int, int, int, int) - Method in class att.grappa.GrappaNexus
in - Variable in class interfacageAB
inCnt - Variable in class att.grappa.Node.Enumerator
Inconnu - Static variable in class GFI_Datas: Constante définissant une condition inconnue (Non Calculée).
incrementIndent() - Method in class att.grappa.Graph: Increase the indent string by appending INDENT_STRING.
indent - Variable in class att.grappa.Graph
INDENT_STRING - Static variable in class att.grappa.Graph: The string used for indentation when printing out the graph.
inEdgeElements() - Method in class att.grappa.Node: Get an Enumeration of the edges directed to this node.
inEdges - Variable in class att.grappa.Edge.Enumerator
inEdges - Variable in class att.grappa.Node.Enumerator
inEdges - Variable in class att.grappa.Node
init() - Method in class att.grappa.Lexer: Initialize internal tables and read two characters of input for look-ahead purposes.
init_actions() - Method in class att.grappa.Parser: Action encapsulation object initializer.
init_actions() - Method in class java_cup.runtime.lr_parser: Initialize the action object.
InitClausesNonTraitee(Vector<TClause>, Vector<TClause>) - Method in class PreuveAB_tmp: Permet de configurer la valeur des variables ClausesNonTraitees et ClausesNonTraiteesSaufVarEtInv qui sont des chaines de caractères représentant l'ensemble des clauses Non traitées du composant B courant.
InitComposantTraite(TComposant) - Method in class PreuveAB_tmp: Permet de mettre à jour les valeurs du nom du composant B traité son Type
initDialog(String) - Method in class AppliGene: Ouverture de la boite de dialog permettant de recuperer un fichier
initFenetre() - Method in class ModeNettoyer
initFenetre() - Method in class ModeNettoyerDossier
InitFichierTrace(String) - Method in class interfacageAB: Ouvre un fichier, dont le nom est précisé, pour sauvegarder les traces d'exécution de l'interface avec l'atelierB.
initialisation() - Method in class GestionOnglets
InitialiseNbEtats(int) - Method in class GFI_Datas
InitialiseNbEvents(int) - Method in class GFI_Datas
initialize(String) - Method in class att.grappa.Graph
InitQueGenererOp(boolean) - Method in class PreuveAB_tmp: Permet de mettre à jour la valeur de la variable QueGenererOp
initTactiquesInteractives(ArrayList<ArrayList<String>>) - Static method in class ConfigurationGeneSyst
initTaille(int, int, boolean) - Method in class AffichageDot.DotFrame
inMenu - Variable in class att.grappa.GrappaPanel
INPORT - Static variable in class att.grappa.GrappaSupportRects
inReader - Variable in class att.grappa.Lexer
INTEGER_TYPE - Static variable in interface att.grappa.GrappaConstants: Indicator that attribute value is an instance of java.lang.Integer.
interfacageAB - Class in <Unnamed>: Classe permettant d'utiliser l'atelier B.
interfacageAB() - Constructor for class interfacageAB
intersects(double, double, double, double) - Method in class att.grappa.GrappaLine
intersects(Rectangle2D) - Method in class att.grappa.GrappaLine
intersects(double, double, double, double) - Method in class att.grappa.GrappaNexus
intersects(Rectangle2D) - Method in class att.grappa.GrappaNexus
intersects(double, double, double, double) - Method in class att.grappa.GrappaShape
intersects(Rectangle2D) - Method in class att.grappa.GrappaShape
INTEXT - Static variable in class att.grappa.GrappaSupportRects
IntNonPresent(int[], int[]) - Static method in class MethodesNonFonctionnelles: Méthode utilisée pour la gestion des états atteignables.
intToStr(int, int) - Static method in class GFI_Exportation
Invariant - Variable in class GFI_Datas: Invariant du composant en cours, servant à la preuve existencielle de transitions
inverseTransform - Variable in class att.grappa.GrappaPanel
inverseVecteur(Vector<TPredicat>) - Method in class MethodesNonFonctionnelles: Prend un vecteur V et renvoie un vecteur contenant les memes éléments que V, mais dans l'ordre inverse.
INVERTEDHOUSE_SHAPE - Static variable in interface att.grappa.GrappaConstants: Indicator that the element has a upside-down house shape.
INVERTEDTRAPEZIUM_SHAPE - Static variable in interface att.grappa.GrappaConstants: Indicator that the element has a upside-down trapezium shape.
INVERTEDTRIANGLE_SHAPE - Static variable in interface att.grappa.GrappaConstants: Indicator that the element has a upside-down triangle shape.
invis - Variable in class att.grappa.GrappaStyle
isalnum(int) - Static method in class att.grappa.GrappaSupport: for ASCII only
isalpha(int) - Static method in class att.grappa.GrappaSupport: for ASCII only
isascii(int) - Static method in class att.grappa.GrappaSupport: for ASCII only
isCluster() - Method in class att.grappa.Subgraph: Check if the subgraph is a cluster subgraph.
iscntrl(int) - Static method in class att.grappa.GrappaSupport: for ASCII only
isdigit(int) - Static method in class att.grappa.GrappaSupport: for ASCII only
isDimensioned() - Method in class att.grappa.GrappaBox: Returns true if the String format will be "x1,x2,width,height" or false if the format will be "x1,y1,x2,y2".
isDirected() - Method in class att.grappa.Graph: Check if the graph is directed.
isDone() - Method in class att.grappa.GrappaPathIterator
isEdge() - Method in class att.grappa.Edge: Check if this element is an edge.
isEdge() - Method in class att.grappa.Element: Check if this Element is an edge.
isEditable() - Method in class att.grappa.Graph: Check if this graph is interactively editable (i.e., through mouse events).
isgraph(int) - Static method in class att.grappa.GrappaSupport: for ASCII only
isImageLoading() - Method in class att.grappa.GrappaNexus: Return status of image loading.
islower(int) - Static method in class att.grappa.GrappaSupport: for ASCII only
isLR() - Method in class att.grappa.Subgraph: Check if the orientation of this subgraph is LR (left-to-right) as opposed to TB (top-to-bottom).
isLR() - Method in class att.grappa.TableField
isMenuable() - Method in class att.grappa.Graph: Check if an element-specific menu is available interactively (i.e., through mouse events).
isNode() - Method in class att.grappa.Element: Check if this Element is a node.
isNode() - Method in class att.grappa.Node: Check if this element is a node.
isoctal(int) - Static method in class att.grappa.GrappaSupport: for ASCII only
isOfInterest(String) - Method in class att.grappa.Element: Check if the name of an attribute of interest to this object
isprint(int) - Static method in class att.grappa.GrappaSupport: for ASCII only
ispunct(int) - Static method in class att.grappa.GrappaSupport: for ASCII only
isRoot() - Method in class att.grappa.Subgraph: Check if the subgraph is the root of the graph.
isSelectable() - Method in class att.grappa.Graph: Check if graph elements are interactively selectable (i.e., through mouse events).
isspace(int) - Static method in class att.grappa.GrappaSupport: for ASCII only
isSpec(char) - Static method in class att.grappa.GrappaSupportRects
isStrict() - Method in class att.grappa.Graph: Check if the graph is strict (i.e., no self-loops).
isSubgraph() - Method in class att.grappa.Element: Check if this Element is a subgraph.
isSubgraph() - Method in class att.grappa.Subgraph: Check if this element is a subgraph.
isupper(int) - Static method in class att.grappa.GrappaSupport: for ASCII only
isxdigit(int) - Static method in class att.grappa.GrappaSupport: for ASCII only
itD - Variable in class AppliGene
itE - Variable in class AppliGene
itF - Variable in class AppliGene
itP - Variable in class AppliGene

J

java_cup.runtime - package java_cup.runtime
JBas - Variable in class ModeNettoyer
JCentre - Variable in class ModeNettoyer
JHaut - Variable in class ModeNettoyer
join - Variable in class att.grappa.GrappaStyle
jsp - Variable in class AffichageDot.DotFrame

K

key - Variable in class att.grappa.Edge
keyToShape - Static variable in class att.grappa.Grappa: Look-up table that maps a shape name to its integer reference value.
keywords - Variable in class att.grappa.Lexer: hash tables to hold symbols

L

LABEL_ATTR - Static variable in interface att.grappa.GrappaConstants: String name for label attribute (label).
LABEL_HASH - Static variable in interface att.grappa.GrappaConstants: Hash code for label attribute (label).
labelGraphBottom - Static variable in class att.grappa.Grappa: Indicates that graph labels, when not explicitly positioned via the lp attribute, should be placed at the bottom of the graph instead of the top.
labelGraphOutside - Static variable in class att.grappa.Grappa: Indicates that graph labels, when not explicitly positioned via the lp attribute, should be placed just outside the graph bounding box instead of just inside.
lancement_Generation() - Method in class AppliGene
LancerAB() - Method in class interfacageAB: Cette méthode sert à lancer l'atelier B.
LanceScriptExterne(String) - Method in class MethodesNonFonctionnelles: Exécute la commande donnée avec la méthode AppelCommandeExterne en lui donnant comme paramètre un fichier contenant le Script donné et renvoie le résultat de la commande.
LargeurFenetre - Variable in class AffichageDot.DotFrame
LargeurFenetre - Static variable in class AppliGene
lastDecorationUpdate - Variable in class att.grappa.GrappaNexus
lastImageUpdate - Variable in class att.grappa.GrappaNexus
lastShapeUpdate - Variable in class att.grappa.GrappaNexus
lastStyleUpdate - Variable in class att.grappa.GrappaNexus
lastSubgraph - Variable in class att.grappa.CUP$Parser$actions
lastTextUpdate - Variable in class att.grappa.GrappaNexus
lastUpdate - Variable in class att.grappa.GrappaNexus
LayoutAuto() - Method in class AffichageDot.DotFrame
LBR - Static variable in class att.grappa.Symbols
LC - Static variable in class att.grappa.GrappaSupport
LCUR - Static variable in class att.grappa.Symbols
left - Variable in class java_cup.runtime.Symbol: The data passed to parser
Lexer - Class in att.grappa: A class for doing lexical analysis of dot formatted input.
Lexer(Reader, PrintWriter) - Constructor for class att.grappa.Lexer: Create an instance of Lexer that reads from input and sends error messages to error.
lexer - Variable in class att.grappa.Parser
line_color - Variable in class att.grappa.GrappaStyle
LINE_SHAPE - Static variable in interface att.grappa.GrappaConstants: Indicator that the element has a line shape.
line_style - Variable in class att.grappa.GrappaStyle
LINE_TYPE - Static variable in interface att.grappa.GrappaConstants: Indicator that attribute value is an instance of GrappaLine.
line_width - Variable in class att.grappa.GrappaStyle
linewidth - Variable in class att.grappa.Element: Indicates indicates line width for element (for nodes or subgraphs, it is the outline width, when applicable).
listAttrsOfInterest() - Method in class att.grappa.Element: Provide an enumeration of the names of the attributes of interest.
listeDossiers(Vector) - Method in class ModeNettoyer: remplissage du panel JCentre
ListeEtats - Variable in class GFI_Exportation
ListeEtatsAbstraits - Variable in class GFI_Exportation
ListeEtatsParCluster - Variable in class GFI_Datas: Tableau associant au numéro d'un cluster (d'une équivalence d'états lors du raffinement), un vecteur d'entiers qui représente l'ensemble des numéros d'état des états du cluster donné.
ListeNomsOps - Variable in class ResultatAnalyse
ListeOperation - Variable in class ResultatAnalyse
ListePredicatsEtats - Variable in class ClasseEquivalenceEtats
ListeVariables - Variable in class GFI_Datas: Vecteur contenant les TExprIdentificateur, servant à la preuve existencielle de transitions
LOG10 - Static variable in interface att.grappa.GrappaConstants: Natural log of 10 (as a convenience).
lookahead - Variable in class java_cup.runtime.lr_parser: Lookahead Symbols used for attempting error recovery "parse aheads".
lookahead_pos - Variable in class java_cup.runtime.lr_parser: Position in lookahead input buffer used for "parse ahead".
LOWERTOUPPER - Static variable in class att.grappa.GrappaSupport
LP_ATTR - Static variable in interface att.grappa.GrappaConstants: String name for label position attribute (lp).
LP_HASH - Static variable in interface att.grappa.GrappaConstants: Hash code for label position attribute (lp).
lpos - Variable in class att.grappa.GrappaNexus
lr_parser - Class in java_cup.runtime: This class implements a skeleton table driven LR parser.
lr_parser() - Constructor for class java_cup.runtime.lr_parser: Simple constructor.
lr_parser(Scanner) - Constructor for class java_cup.runtime.lr_parser: Constructor that sets the default scanner.
lstr - Variable in class att.grappa.GrappaNexus

M

main(String[]) - Static method in class AffichageDot
main(String[]) - Static method in class AppliGene
main(String[]) - Static method in class geneSyst: Procédure principale.
MARGIN_ATTR - Static variable in interface att.grappa.GrappaConstants: String name for label position attribute (margin).
MARGIN_HASH - Static variable in interface att.grappa.GrappaConstants: Hash code for margin attribute (margin).
MCIRCLE_SHAPE - Static variable in interface att.grappa.GrappaConstants: Indicator that the element has a circular shape with parallel chords top and bottom.
MCLIMIT_ATTR - Static variable in interface att.grappa.GrappaConstants: String name for mincross limit attribute [unused] (mclimit).
MCLIMIT_HASH - Static variable in interface att.grappa.GrappaConstants: Hash code for mincross limit attribute (mclimit).
MDIAMOND_SHAPE - Static variable in interface att.grappa.GrappaConstants: Indicator that the element has a diamond shape with triangles inset in each corner.
menuable - Variable in class att.grappa.Graph
MessageIntrouvableDansLaTrace - Static variable in class interfacageAB
MessagesErreurAtelierBPossibles - Static variable in class interfacageAB: Liste des messages d'erreur trouvable lors de l'execution de l'atelier
MethodesNonFonctionnelles - Class in <Unnamed>: Quelques méthodes Indépendantes du fonctionnement de genesyst et permettant d'alleger le fichier de cette dernière classe.
MethodesNonFonctionnelles() - Constructor for class MethodesNonFonctionnelles
MethodesPMI - Class in <Unnamed>: Titre : Méthodes D'accès à un fichier PMI Description : Ensemble de méthodes permettant de parser un fichier PMI Copyright : Copyright (c) 2004
MethodesPMI() - Constructor for class MethodesPMI
MINBOX_ATTR - Static variable in interface att.grappa.GrappaConstants: String name for minimum subgraph bounding box attribute (minbox).
MINBOX_HASH - Static variable in interface att.grappa.GrappaConstants: Hash code for minimum subgraph bounding box attribute (minbox).
MINLEN_ATTR - Static variable in interface att.grappa.GrappaConstants: String name for minimum rank distance between head and tail of edges attribute [unused] (minlen).
MINLEN_HASH - Static variable in interface att.grappa.GrappaConstants: Hash code for minimum rank distance between head and tail of edges attribute (minlen).
MINSIZE_ATTR - Static variable in interface att.grappa.GrappaConstants: String name for minimum subgraph size attribute (minsize).
MINSIZE_HASH - Static variable in interface att.grappa.GrappaConstants: Hash code for minimum subgraph size attribute (minsize).
miter_limit - Variable in class att.grappa.GrappaStyle
ModeCourant - Variable in class TextWriter
ModeNettoyer - Class in <Unnamed>
ModeNettoyer(GestionOnglets, JFrame, String) - Constructor for class ModeNettoyer: Constructeur de l'onglet nettoyer
ModeNettoyerDossier - Class in <Unnamed>
ModeNettoyerDossier(GestionOnglets, JFrame, String) - Constructor for class ModeNettoyerDossier: Constructeur de l'onglet ModeNettoyerDossier
mouseClicked(MouseEvent) - Method in class att.grappa.GrappaPanel
mouseDragged(MouseEvent) - Method in class att.grappa.GrappaPanel
mouseEntered(MouseEvent) - Method in class att.grappa.GrappaPanel
mouseExited(MouseEvent) - Method in class att.grappa.GrappaPanel
mouseMoved(MouseEvent) - Method in class att.grappa.GrappaPanel
mousePressed(MouseEvent) - Method in class att.grappa.GrappaPanel
mouseReleased(MouseEvent) - Method in class att.grappa.GrappaPanel
MRECORD_SHAPE - Static variable in interface att.grappa.GrappaConstants: Indicator that the element has a record shape with triangles inset in each of its four outer corners.
MSQUARE_SHAPE - Static variable in interface att.grappa.GrappaConstants: Indicator that the element has a square shape with triangles inset in each of its corners.
multiplyScaleFactor(double) - Method in class att.grappa.GrappaPanel: Adjust the scale factor by the supplied multiplier.

N

name - Variable in class att.grappa.Attribute
name - Variable in class att.grappa.Element
nameHash - Variable in class att.grappa.Attribute
NatureComposantTraite - Variable in class PreuveAB_tmp
NbCluster() - Method in class GFI_Datas: Donne le nombre de cluster en mémoire.
NbEtatDansCluster(int) - Method in class GFI_Datas: Donne le nombre d'états contenus dans le regroupement d'états Cluster lors d'un raffinement.
NbEtatsCharges - Variable in class GFI_Datas: Nombre d'états dans le STE courant
NbEvCharges - Variable in class GFI_Datas: Nombre d'événements dans le STE courant
NbFormatsSortie - Static variable in class ConfigurationGeneSyst: Nombre de formats de sortie supportes par GeneSyst.
nbOPUnproved(String, String) - Static method in class MethodesPMI: Parse le fichier PMI spécifié et renvoie le nombre d'obligations de preuve associées à la clause précisée.
NbPreuvesAvantRedemarrage - Static variable in class MethodesNonFonctionnelles: Pour éviter les "Cpu Limit Exceeded" On limite le nombre de preuve avant de redémarrer l'atelier.
NbPreuvesFaitesDepuisDemarrage - Static variable in class MethodesNonFonctionnelles: Pour éviter les "Cpu Limit Exceeded" On limite le nombre de preuve avant de redémarrer l'atelier.
NbPreuvesFaitesParBoB - Static variable in class MethodesNonFonctionnelles: Pour les statistiques.
NbPreuvesFaitesParTactiques - Static variable in class MethodesNonFonctionnelles: Pour les statistiques.
nbreCheckBox() - Method in class ModeNettoyer: renvoie le nombre de dossiers
nbreCheckBoxSelectionnes() - Method in class ModeNettoyer: renvoie le nombre de dossiers sélectionnés
NBSP - Static variable in interface att.grappa.GrappaConstants: The unicode no-break space character.
NBSP - Static variable in class att.grappa.GrappaSupportRects
ND_EDGE_OP - Static variable in class att.grappa.Symbols
negateStringYCoord - Static variable in class att.grappa.Grappa: Indicates whether the value of y-coordinates should be negated when reading or writing y-coord information as string attributes.
NeTraitePasLesErreurs - Static variable in class interfacageAB
Nettoyer - Static variable in class MethodesNonFonctionnelles: Par défaut, après toute exécution de GénéSyst, les éléments temporaires seront effacé du dossier de travail.
Nettoyer - Class in <Unnamed>: description de la classe de traitement progB -(analyseur Tatibouet)> 1 liste chainée ->1 noeud -programme du noeud -calcule les transitions -sortie : fichier content les transition dans le corps de l'assertion - plus l'assertion d'origine
Nettoyer() - Constructor for class Nettoyer
nettoyer() - Method in class Nettoyer: Nettoyer est un sous programme servant à effacer tous les dossiers et les projets laissés en plan sans etre erffacés.
NeVerifiePasQueLaCommandeEstBienPassee - Static variable in class interfacageAB
NEW_LINE - Static variable in interface att.grappa.GrappaConstants: The new-line string for this system (as specified by the line.spearator property).
next - Variable in class att.grappa.Edge.Enumerator
next() - Method in class att.grappa.GrappaPathIterator
next_char - Variable in class att.grappa.Lexer: First character of lookahead.
next_char2 - Variable in class att.grappa.Lexer: Second character of lookahead.
next_token(int) - Method in class att.grappa.Lexer: Return one Symbol.
next_token() - Method in interface java_cup.runtime.Scanner
nextElement() - Method in class att.grappa.Edge.Enumerator
nextElement - Variable in class att.grappa.GrappaPanel
nextElement() - Method in class att.grappa.Node.Enumerator
nextElement() - Method in class att.grappa.Subgraph.Enumerator
nextGraphElement() - Method in interface att.grappa.GraphEnumeration: A convenience method that should just return a cast of a call to nextElement()
nextGraphElement() - Method in class att.grappa.Subgraph.Enumerator
nextId(int) - Method in class att.grappa.Graph: Get the next id number for the specified type and increment the counter.
nid - Variable in class att.grappa.Graph
Niveau1Decore - Static variable in class PrintWriterGeneSyst
Niveau1Mini - Static variable in class PrintWriterGeneSyst
Niveau1SsTitreDecore - Static variable in class PrintWriterGeneSyst
Niveau1SsTitreMini - Static variable in class PrintWriterGeneSyst
Niveau1Titre - Static variable in class PrintWriterGeneSyst
Niveau2Decore - Static variable in class PrintWriterGeneSyst
Niveau2Mini - Static variable in class PrintWriterGeneSyst
Niveau2Titre - Static variable in class PrintWriterGeneSyst
NiveauMachine - Variable in class interfacageAB: Il n'existe que 2 niveaux de hierarchie : machine et projet Savoir dans quel niveau on se trouve est important pour le remplissage buffer et l'interdiction des commandes dans le mauvais niveau.
NO_SHAPE - Static variable in interface att.grappa.GrappaConstants: Indicator that a valid shape was not specified for a graph element.
NODE - Static variable in interface att.grappa.GrappaConstants: Element type value indicating a node.
Node - Class in att.grappa: This class describes a node.
Node(Subgraph, String) - Constructor for class att.grappa.Node: Use this constructor when creating a node within a subgraph.
Node(Subgraph) - Constructor for class att.grappa.Node: Use this constructor when creating a node within a subgraph with an automatically generated name.
NODE - Static variable in class att.grappa.Symbols
node - Static variable in class att.grappa.Symbols
Node.Enumerator - Class in att.grappa
Node.Enumerator(Vector, Vector) - Constructor for class att.grappa.Node.Enumerator
node1 - Variable in class att.grappa.Edge.Enumerator
node2 - Variable in class att.grappa.Edge.Enumerator
nodeAttributes - Variable in class att.grappa.Subgraph
nodeAttrsOfInterest() - Method in class att.grappa.Node
nodedict - Variable in class att.grappa.Subgraph
nodeElements() - Method in class att.grappa.Subgraph: Get an enumeration of the node elements in this subgraph.
nodeLabels - Variable in class att.grappa.GrappaPanel
nodeLabels - Variable in class att.grappa.Subgraph
nodeLabelsScaleCutoff - Static variable in class att.grappa.Grappa: When the transform scale applied when drawing in a GrappaPanel is less than this value, then node labels are suppressed.
nodeList - Static variable in class att.grappa.Symbols
nodes - Variable in class att.grappa.CUP$Parser$actions
NODESEP_ATTR - Static variable in interface att.grappa.GrappaConstants: String name for node separation attribute [unused] (nodesep).
NODESEP_HASH - Static variable in interface att.grappa.GrappaConstants: Hash code for node separation attribute (nodesep).
nodeWrap() - Method in class att.grappa.CUP$Parser$actions
noMacros() - Method in class att.grappa.CUP$Parser$actions
NombreRequetteOfficielMaxiAvantAbandon - Static variable in class interfacageAB
NomDossierCalcul - Static variable in class MethodesNonFonctionnelles: Nom du dossier temporaire de travail
NomDossierCalcul - Variable in class PreuveAB_tmp
NomDossierDeBase - Static variable in class ConfigurationGeneSyst: Nom de base du dossier de travail
NomDossierResultat - Static variable in class ConfigurationGeneSyst: Nom du dossier resultats
NomDuProjet - Static variable in class MethodesNonFonctionnelles: Nom du projet utilisé dans l'atelierB
NomDuProjet - Variable in class PreuveAB_tmp
NomFichF - Variable in class GFI_Datas.QuadrupletEntiers
NomFichG - Variable in class GFI_Datas.QuadrupletEntiers
NomFichier - Static variable in class AffichageDot
NomFichierAvecExtensionEtChemin - Variable in class ResultatAnalyse
NomFichierHtml - Static variable in class ConfigurationGeneSyst: Nom du fichier au format html
NomFichierSansExtensionEtChemin - Variable in class ResultatAnalyse
NomFichierSansExtensionSansChemin - Variable in class ResultatAnalyse
NomFichierSVGMachine(String, int, int, int, int) - Static method in class GFI_Exportation: Méthode calculant le nom d'une machine de sauvegarde d'une obligation de preuve SANS SON EXTENSION !!!
NomFichierTrace - Variable in class interfacageAB: Nom du fichier de trace (avec son préfixe si nécessaire)
NomFichierTraces - Static variable in class ConfigurationGeneSyst: Nom du fichier de traces
NomFichierTraite - Variable in class PreuveAB_tmp
NomFichT - Variable in class GFI_Datas.QuadrupletEntiers
NomInit - Static variable in class GFI_Exportation: Constante définissant le nom de l'événement étiquetant les transitions partant de QInit
NomMachineProduite - Variable in class PreuveAB_tmp
NomProjetDeBase - Static variable in class ConfigurationGeneSyst: Nom de base du projet
NomQInit - Static variable in class GFI_Exportation: Constante définissant le nom de l'état initial
NONE_ARROW_EDGE - Static variable in class att.grappa.GrappaLine: Bit flag to indicate that line has no arrow heads.
NonPr - Static variable in class GFI_Datas: Constante définissant une condition Non prouvée
NouvAtt(int, int, int, int, String, String, String, TPredicat) - Method in class GFI_Datas: Ajoute une nouvelle information d'atteignabilité d'état
NouvDecl(int, int, int, String, String, String, TPredicat) - Method in class GFI_Datas: Ajoute une nouvelle information de déclenchabilité d'événement
NouveauNomDeFichier(String, String) - Static method in class MethodesNonFonctionnelles: Prend un nom de fichier et renvoie le meme nom avec éventuellement un suffixe, de telle sorte que ce nouveau nom soit inutilisé pour l'instant dans le dossier spécifié.
NouvEquiv(int, int, int, String) - Method in class GFI_Datas: Ajoute une nouvelle information d'équivalence d'états
NouvEtatDansCluster(int, int) - Method in class GFI_Datas: Permet d'ajouter un état dans un regroupement d'états lors d'un raffinement.
NouvInit(int, int, String, String, String, TPredicat) - Method in class GFI_Datas: Ajoute une nouvelle information d'initialité d'état
NT$0 - Static variable in class att.grappa.Symbols
NT$1 - Static variable in class att.grappa.Symbols
NT$2 - Static variable in class att.grappa.Symbols

O

object - Variable in class att.grappa.Element: A general-purpose object not used by Grappa and intended for application writers to attach whatever they want to an Element without the need for extending the class.
objs - Variable in class att.grappa.GrappaNexus
observer - Variable in class att.grappa.ExceptionDisplay.Display
OCTAGON_SHAPE - Static variable in interface att.grappa.GrappaConstants: Indicator that the element has a octagon shape.
OD - Static variable in class att.grappa.GrappaSupport
ODIGIT - Static variable in class att.grappa.GrappaSupport
old_char - Variable in class att.grappa.Lexer: needed for retreating
old_position - Variable in class att.grappa.Lexer
oldTransform - Variable in class att.grappa.GrappaPanel
onglet - Variable in class GestionOnglets
onglets - Variable in class ModeNettoyer
Open_Project(String, boolean) - Method in class interfacageAB: Ouvre le projet dont le nom est précisé
openGraph() - Method in class att.grappa.CUP$Parser$actions
openSubg(String) - Method in class att.grappa.CUP$Parser$actions
optAttr - Static variable in class att.grappa.Symbols
optAttrDefs - Static variable in class att.grappa.Symbols
optGraphName - Static variable in class att.grappa.Symbols
optMacroName - Static variable in class att.grappa.Symbols
optPort - Static variable in class att.grappa.Symbols
optSemi - Static variable in class att.grappa.Symbols
optSeparator - Static variable in class att.grappa.Symbols
optStmtList - Static variable in class att.grappa.Symbols
optStrict - Static variable in class att.grappa.Symbols
optSubgHdr - Static variable in class att.grappa.Symbols
ORIENTATION_ATTR - Static variable in interface att.grappa.GrappaConstants: String name for orientation angle attribute (orientation).
ORIENTATION_HASH - Static variable in interface att.grappa.GrappaConstants: Hash code for orientation attribute (orientation).
orientationInDegrees - Static variable in class att.grappa.Grappa: Indicates whether the orientation attribute is specifed in degrees rather than radians.
orientLR - Variable in class att.grappa.TableField
out - Variable in class interfacageAB
outCnt - Variable in class att.grappa.Node.Enumerator
outEdgeElements() - Method in class att.grappa.Node: Get an Enumeration of the edges directed from this node.
outEdges - Variable in class att.grappa.Edge.Enumerator
outEdges - Variable in class att.grappa.Node.Enumerator
outEdges - Variable in class att.grappa.Node
outline - Variable in class att.grappa.GrappaPanel
outlineSubgraphs - Static variable in class att.grappa.Grappa: Cluster subgraphs will have their bounding box outlined.
OuvreParenthese(FileReader) - Method in class GFI_Parseur: Méthode du parseur de fichiers d'oracle.
OVAL_SHAPE - Static variable in interface att.grappa.GrappaConstants: Indicator that the element has a oval shape.

P

PACKAGE_PREFIX - Static variable in interface att.grappa.GrappaConstants: Package prefix string ("att.grappa.") if anyone needs it.
padding - Variable in class att.grappa.PrintfParser
paint(Graphics) - Method in class GestionAffichage
paintActive - Variable in class att.grappa.GrappaPanel
paintCalled - Variable in class att.grappa.Graph
paintComponent(Graphics) - Method in class att.grappa.GrappaPanel
paintImmediately() - Method in class att.grappa.Graph: Makes a paintImmediately request of all GrappaPanels that are displaying this graph.
paintSubgraph(Graphics2D, Subgraph, Shape, Color) - Method in class att.grappa.GrappaPanel
panel - Variable in class AffichageDot.DotFrame
panelcpt - Variable in class att.grappa.GrappaPanel
panelList - Variable in class att.grappa.Graph
PanneauMessages - Variable in class ModeNettoyer
PanneauMessagesDecore - Variable in class ModeNettoyer
parallele - Static variable in class MethodesNonFonctionnelles: Par défaut, l'atelier B est relancé pour chacune des vérifications des obligations de preuve générées.
PARALLELOGRAM_SHAPE - Static variable in interface att.grappa.GrappaConstants: Indicator that the element has a parallelogram shape.
parent - Variable in class att.grappa.TableField
parse(char[]) - Method in class att.grappa.PrintfParser
parse(char[], int) - Method in class att.grappa.PrintfParser
parse() - Method in class java_cup.runtime.lr_parser: This method provides the main parsing routine.
parse_lookahead(boolean) - Method in class java_cup.runtime.lr_parser: Parse forward using stored lookahead Symbols.
parse_state - Variable in class java_cup.runtime.Symbol: The parse state to be recorded on the parse stack with this symbol.
parseArray - Static variable in class att.grappa.GrappaSupportRects
parser - Variable in class att.grappa.CUP$Parser$actions
Parser - Class in att.grappa: This class provides a parser for the dot graph representation format.
Parser() - Constructor for class att.grappa.Parser: Default constructor.
Parser(Scanner) - Constructor for class att.grappa.Parser: Constructor which sets the default scanner.
Parser(Reader, PrintWriter, Graph) - Constructor for class att.grappa.Parser: Create an instance of Parser with input, error output and a supplied Graph object.
Parser(Reader, PrintWriter) - Constructor for class att.grappa.Parser: A convenience constructor equivalent to Parser(inputReader,errorWriter,null).
Parser(Reader) - Constructor for class att.grappa.Parser: A convenience constructor equivalent to Parser(inputReader,null,null).
Parser(InputStream, OutputStream, Graph) - Constructor for class att.grappa.Parser: Create an instance of Parser with input, error output and a supplied Graph object.
Parser(InputStream, OutputStream) - Constructor for class att.grappa.Parser: A convenience constructor equivalent to Parser(inputStream,errorStream,null).
Parser(InputStream) - Constructor for class att.grappa.Parser: A convenience constructor equivalent to Parser(inputStream,null,null).
parseRecordInfo(Node) - Static method in class att.grappa.GrappaSupportRects
PasseEspaces(FileReader) - Method in class GFI_Parseur: Méthode du parseur de fichiers d'oracle.
patch - Variable in class att.grappa.Element
patch - Variable in class att.grappa.Subgraph
PATCH_ATTR - Static variable in interface att.grappa.GrappaConstants: String name for patch work attribute (patch).
PATCH_HASH - Static variable in interface att.grappa.GrappaConstants: Hash code for patch work attribute (patch).
PATCHEDGE - Variable in class att.grappa.Subgraph
PATCHEDGE2 - Variable in class att.grappa.Subgraph
patchSize - Variable in class att.grappa.Element
patchWork(Rectangle2D.Double, boolean, int) - Method in class att.grappa.Subgraph
path - Variable in class att.grappa.GrappaLine
path - Variable in class att.grappa.GrappaShape: path that defines shape
Path - Static variable in class MethodesNonFonctionnelles: Définition du chemin pour vérifier si un nom de projet existe
PathDot - Static variable in class ConfigurationGeneSyst: Nom du chemin du dot
PENTAGON_SHAPE - Static variable in interface att.grappa.GrappaConstants: Indicator that the element has a pentagon shape.
PERIPHERIES_ATTR - Static variable in interface att.grappa.GrappaConstants: String name for peripheries attribute (peripheries).
PERIPHERIES_HASH - Static variable in interface att.grappa.GrappaConstants: Hash code for peripheries attribute (peripheries).
PERIPHERY_GAP - Static variable in interface att.grappa.GrappaConstants: Default gap in pixels between peripheries.
PKG_LOWER - Static variable in interface att.grappa.GrappaConstants: Package name as an lower-case string (as a convenience).
PKG_UPLOW - Static variable in interface att.grappa.GrappaConstants: Package name as an up-low string.
PKG_UPPER - Static variable in interface att.grappa.GrappaConstants: Package name as an upper-case string (as a convenience).
PLAINTEXT_SHAPE - Static variable in interface att.grappa.GrappaConstants: Indicator that the element has no shape, but rather is just a text label.
plus - Variable in class att.grappa.PrintfParser
PMI(String, String) - Static method in class MethodesPMI: Parse le fichier PMI spécifié et renvoie vrai ssi toutes les obligations de preuve ont été vérifiées.
POINT_SHAPE - Static variable in interface att.grappa.GrappaConstants: Indicator that the element has a general polygonal shape.
POINT_TYPE - Static variable in interface att.grappa.GrappaConstants: Indicator that attribute value is an instance of GrappaPoint.
PointArriveeTransitionNonAtteignable(int, int, int, GestionFormatIntermediaire, TPredicat, String, String) - Method in class geneSyst
PointArriveeTransitionPossibAtteignable(int, int, int, GestionFormatIntermediaire, TPredicat, TPredicat, String, String) - Method in class geneSyst
PointArriveeTransitionTjrsAtteignable(int, int, int, GestionFormatIntermediaire, TPredicat, String, String) - Method in class geneSyst
PointsPerInch - Static variable in interface att.grappa.GrappaConstants: Points per inch (72).
POLYGON_SHAPE - Static variable in interface att.grappa.GrappaConstants: Indicator that the element has a general polygonal shape.
pop() - Method in class java_cup.runtime.virtual_parse_stack: Pop the stack.
popupMenuCanceled(PopupMenuEvent) - Method in class att.grappa.GrappaPanel
popupMenuWillBecomeInvisible(PopupMenuEvent) - Method in class att.grappa.GrappaPanel
popupMenuWillBecomeVisible(PopupMenuEvent) - Method in class att.grappa.GrappaPanel
portName - Variable in class att.grappa.CUP$Parser$actions
Ports - Variable in class att.grappa.Node
POS_ATTR - Static variable in interface att.grappa.GrappaConstants: String name for position attribute (pos).
POS_HASH - Static variable in interface att.grappa.GrappaConstants: Hash code for position attribute (pos).
posFields(TableField, Point) - Method in class att.grappa.TableField
positionFields(Point) - Method in class att.grappa.TableField
precision - Variable in class att.grappa.PrintfParser
Pred - Variable in class GFI_Datas.QuadrupletEntiers
PredicatEtat - Variable in class ClasseEquivalenceEtats
preds_disj - Variable in class ResultatAnalyse
preparePatchWork(int) - Method in class att.grappa.Subgraph
prepPatchWork(String, int) - Method in class att.grappa.Subgraph
pressedElement - Variable in class att.grappa.GrappaPanel
pressedModifiers - Variable in class att.grappa.GrappaPanel
pressedPoint - Variable in class att.grappa.GrappaPanel
PreuveAB_tmp - Class in <Unnamed>
PreuveAB_tmp(String, String, String, String, String, int, boolean) - Constructor for class PreuveAB_tmp: Constructeur de cette classe, il permet de configurer un certain nombre de variables indispensables à son bon fonctionnement.
print(Graphics, PageFormat, int) - Method in class att.grappa.GrappaPanel
PRINT - Static variable in class att.grappa.GrappaSupport
printAllAttributes - Variable in class att.grappa.Element: Boolean to indicate if all of this element's attributes should be printed.
printAttributes(PrintWriter, String) - Method in class att.grappa.Element
printDefaultAttributes - Variable in class att.grappa.Element: Boolean to indicate if the default attributes associated with this element should be printed.
printDflt(PrintWriter, int) - Method in class att.grappa.Subgraph
printDfltAttr(PrintWriter, Hashtable, int, String, String) - Method in class att.grappa.Subgraph
printEdge(PrintWriter) - Method in class att.grappa.Edge: Print the edge description to the provided stream.
printElement(PrintWriter) - Method in class att.grappa.Element: Print a description of this element to the given print stream.
printError(String) - Method in class att.grappa.Graph: Print the supplied message to the error output.
printError(String, Exception) - Method in class att.grappa.Graph: Print the supplied message and exception information to the error output.
PrintfParser - Class in att.grappa
PrintfParser() - Constructor for class att.grappa.PrintfParser
printGraph(Writer) - Method in class att.grappa.Graph: Output graph to specified Writer.
printGraph(OutputStream) - Method in class att.grappa.Graph: Output graph to specified OutputStream.
PRINTLIST_ATTR - Static variable in interface att.grappa.GrappaConstants: String name for print list attribute (printlist).
PRINTLIST_HASH - Static variable in interface att.grappa.GrappaConstants: Hash code for print list attribute (printlist).
printNode(PrintWriter) - Method in class att.grappa.Node: Print the node description to the provided stream.
printSubgraph(PrintWriter) - Method in class att.grappa.Subgraph: Prints an ascii description of each graph element to the supplied stream.
printVisibleOnly - Static variable in class att.grappa.Grappa: Indicates whether only visible elements should be included when printing a graph.
PrintWriterGeneSyst - Class in <Unnamed>
PrintWriterGeneSyst(OutputStream, boolean) - Constructor for class PrintWriterGeneSyst
PrintWriterGeneSyst(Writer, boolean) - Constructor for class PrintWriterGeneSyst
ProcessusParalleleCourant - Variable in class interfacageAB: Variable contenant le thread appelé si l'on conserve la main
production_tab - Variable in class java_cup.runtime.lr_parser: Direct reference to the production table.
production_table() - Method in class att.grappa.Parser: Access to production table.
production_table() - Method in class java_cup.runtime.lr_parser: Table of production information (supplied by generated subclass).
ProuveMachine(String) - Method in class PreuveAB_tmp: Prouve une machine se trouvant dans un fichier donné à l'aide de l'atelier B.
ProuvePredicat(int, int, int, int, TPredicat) - Method in class PreuveAB_tmp: Methode permettant d'effectuer la preuve d'une OP.
Prove_component(String, int, boolean, boolean) - Method in class interfacageAB: Permet de prouver un composant dans le projet courant sous l'atelier B.
provideBBoxAttribute - Static variable in class att.grappa.Grappa: Indicates if the bb attribute of a subgraph should automatically be set whenever the bounding box is calculated.
pts - Variable in class att.grappa.GrappaPathIterator
PU - Static variable in class att.grappa.GrappaSupport
push(int) - Method in class java_cup.runtime.virtual_parse_stack: Push a state number onto the stack.
putAttribute(Hashtable<String, Attribute>, int, String, String) - Static method in class att.grappa.Graph

Q

QueGenererOP - Static variable in class MethodesNonFonctionnelles: Par défaut, les obligations de preuve générées sont soumises au prouveur.
QueGenererOp - Variable in class PreuveAB_tmp
quit - Variable in class AffichageDot.DotFrame
Quitter_AB() - Method in class interfacageAB: Cette méthode permet de quitter l'atelier B tournant dans le processus parallèle.

R

raffraichirFenetre(Component) - Method in class ModeNettoyer: raffraichissement de l'onglet
RANKDIR_ATTR - Static variable in interface att.grappa.GrappaConstants: String name for rank direction attribute [unused] (rankdir).
RANKDIR_HASH - Static variable in interface att.grappa.GrappaConstants
RANKSEP_ATTR - Static variable in interface att.grappa.GrappaConstants: String name for rank separation attribute [unused] (ranksep)
RANKSEP_HASH - Static variable in interface att.grappa.GrappaConstants: Hash code for rank separation attribute (ranksep).
rawBounds2D() - Method in class att.grappa.GrappaNexus
RBCONST - Static variable in class att.grappa.GrappaShape
RBCURVE - Static variable in class att.grappa.GrappaShape
RBR - Static variable in class att.grappa.Symbols
rbuf - Static variable in class att.grappa.GrappaSupportRects
rCompound - Static variable in class att.grappa.Symbols
RCUR - Static variable in class att.grappa.Symbols
read_lookahead() - Method in class java_cup.runtime.lr_parser: Read from input to establish our buffer of "parse ahead" lookahead Symbols.
real_next - Variable in class java_cup.runtime.virtual_parse_stack: Top of stack indicator for where we leave off in the real stack.
real_next_token() - Method in class att.grappa.Lexer: The actual routine to return one Symbol.
real_stack - Variable in class java_cup.runtime.virtual_parse_stack: The real stack that we shadow.
reallyFindContainingElement(Subgraph, Point2D, Element[]) - Method in class att.grappa.GrappaPanel
rebuild() - Method in class att.grappa.GrappaNexus: Recompute the components of this GrappaNexus.
RechercheElement(String, String, boolean) - Method in class MethodesNonFonctionnelles: Recherche toutes les sous-chaines de L ayant pour préfixe Element et comme suffixe un numéro.
RechercheEtatsInitiaux(TSubstitution, Vector<TPredicat>, int[], GestionFormatIntermediaire, GestionFormatIntermediaire, boolean, boolean) - Method in class geneSyst: RechercheEtatsInitiaux recherche la liste des état initiaux du ststème de transitions et renvoie son résultat sous forme d'uin vercteur de TEtats.
RecherchePointArriveeDesTransition(int, int, Vector<TPredicat>, Vector<TOperation>, boolean[][][], GestionFormatIntermediaire, boolean, boolean) - Method in class geneSyst: RecherchePointArriveeDesTransition recherche quels sont les conditions d'atteignabilité de chacun des états de preds_disj par l'événement Evenementj depuis l'état Etati.
RECORD_SHAPE - Static variable in interface att.grappa.GrappaConstants: Indicator that the element has a record shape.
RECTS_ATTR - Static variable in interface att.grappa.GrappaConstants: String name for rectangles attribute (rects).
RECTS_HASH - Static variable in interface att.grappa.GrappaConstants: Hash code for rectangles attribute (rects).
recurseVectorOfElements(int, Vector, int) - Method in class att.grappa.Subgraph
reduce_tab - Variable in class java_cup.runtime.lr_parser: Direct reference to the reduce-goto table.
reduce_table() - Method in class att.grappa.Parser: Access to reduce_goto table.
reduce_table() - Method in class java_cup.runtime.lr_parser: The reduce-goto table (supplied by generated subclass).
REFCNTXT - Variable in class att.grappa.Graph: Reference FontRenderContext
RelancerAB() - Method in class interfacageAB: relance l'AB.
release() - Method in class att.grappa.Element: Release the reservation on this Element, if any.
Remove_component(String, boolean) - Method in class interfacageAB: Permet de supprimer un composant dans le projet courant sous l'atelier B.
Remove_Project(String) - Method in class interfacageAB: Methode permettant d'effacer un projet de l'atelier B.
removeAttribute(String) - Method in class att.grappa.Element
removeEdge(Edge, boolean) - Method in class att.grappa.Node: Remove the given edge from this node's inEdges or outEdges dictionaries.
removeEdge(String) - Method in class att.grappa.Subgraph: Removes the edge matching the specified name from the subgraph's Edge dictionary.
removeEdgeAttribute(String) - Method in class att.grappa.Subgraph
removeEmptySubgraphs() - Method in class att.grappa.Subgraph: Delete this subgraph or any contained subgraph, at any depth, if the subgraph contains no elements.
removeGrappaListener() - Method in class att.grappa.GrappaPanel: Removes the current listener from this graph.
removeIdMapping(Element) - Method in class att.grappa.Graph: Remove id2element dictionary element
removeNode(String) - Method in class att.grappa.Subgraph: Removes the node matching the specified name from the subgraph's Node dictionary.
removeNodeAttribute(String) - Method in class att.grappa.Subgraph
removePanel(GrappaPanel) - Method in class att.grappa.Graph: Removes a panel to the list of GrappaPanels that are displaying this graph.
removeSubgraph(String) - Method in class att.grappa.Subgraph: Removes the subgraph matching the specified name from the subgraph's graph dictionary.
removeTag(String) - Method in class att.grappa.Element: Removes the specified tag locally from this element.
removeTags() - Method in class att.grappa.Element: Removes all tags locally associated with this element.
removeTypeTag(int, String) - Method in class att.grappa.Subgraph: Removes the specified tag from this element.
removeTypeTags(int) - Method in class att.grappa.Subgraph: Removes any and all default tags associated with this element type.
repaint() - Method in class att.grappa.Graph: Makes a repaint request of all GrappaPanels that are displaying this graph.
RepertoireCourant - Variable in class AppliGene
replaceAll(String, String, String) - Static method in class MethodesNonFonctionnelles
replaceAll(String, String, String, int) - Static method in class MethodesNonFonctionnelles
report_error(String, Object) - Method in class att.grappa.Parser: Report a fatal error.
report_error(String, Object) - Method in class java_cup.runtime.lr_parser: Report a non fatal error (or warning).
report_fatal_error(String, Object) - Method in class java_cup.runtime.lr_parser: Report a fatal error.
report_warning(String, Object) - Method in class att.grappa.Parser: Report a non-fatal error.
RepresentationConstantesPlus1 - Static variable in class GFI_Datas: Représentation textuelle des différentes constantes définies précédamment
reserve() - Method in class att.grappa.Element: Check if this Element can be reserved, otherwise queue request
reset() - Method in class att.grappa.Graph: Reset this graph by removing all its elements and re-initiailizing its internal variables.
reset(String, boolean, boolean) - Method in class att.grappa.Graph: Reset this graph by removing all its elements and re-initiailizing its internal variables and possibly changing its name, directedness and strictness.
Reset() - Method in class PreuveAB_tmp: Dans le cas où l'atelier B est en parallèle, cette méthode permet de relancer le processus.
resetBoundingBox() - Method in class att.grappa.Subgraph: Removes bounding box information from this subgraph and any contained subgraphs including the BBOX_ATTR value and then recomputes the bounding boxes.
resetEdgeNames() - Method in class att.grappa.Node
resetZoom() - Method in class att.grappa.GrappaPanel: Reset the scale factor to one.
resizeFields(Dimension) - Method in class att.grappa.TableField
resizeUpFields(TableField, Dimension) - Method in class att.grappa.TableField
restart_lookahead() - Method in class java_cup.runtime.lr_parser: Reset the parse ahead input to one Symbol past where we started error recovery (this consumes one new Symbol from the real input).
ResultatAnalyse - Class in <Unnamed>
ResultatAnalyse() - Constructor for class ResultatAnalyse
ResultatGeneration - Variable in class GestionAffichage
resync() - Method in class att.grappa.Graph: Builds any GrappaNexus object not already built and rebuilds those that already exist for all elements in this graph.
retourGeneSyst() - Method in class GestionAffichage
retreat() - Method in class att.grappa.Lexer
retreated - Variable in class att.grappa.Lexer
right - Variable in class java_cup.runtime.Symbol: The data passed to parser
rightpad - Variable in class att.grappa.PrintfParser
romanFontwidth - Static variable in class att.grappa.GrappaSupportRects: Rough font sizing information for the roman (or serif) font.
root - Variable in class att.grappa.Subgraph.Enumerator
rootSubgraph - Variable in class att.grappa.CUP$Parser$actions
ROTATION_ATTR - Static variable in interface att.grappa.GrappaConstants: String name for rotation attribute (rotation).
ROTATION_HASH - Static variable in interface att.grappa.GrappaConstants: Hash code for rotation attribute (rotation).
rotationInDegrees - Static variable in class att.grappa.Grappa: Indicates whether the rotation attribute is specifed in degrees rather than radians.
rounded - Variable in class att.grappa.GrappaStyle
ROUNDEDBOX_SHAPE - Static variable in interface att.grappa.GrappaConstants: Indicator that the element has a box shape with rounded corners.
run() - Method in class att.grappa.GrappaPanel

S

SansChemin(String) - Static method in class MethodesNonFonctionnelles: Prend un nom de fichier avec son éventuel chemin d'accès et renvoie le nom seul, sans son chemin.
savedOutline - Variable in class att.grappa.GrappaPanel
scaleChanged - Variable in class att.grappa.GrappaPanel
scaleFactor - Variable in class att.grappa.GrappaPanel
scaleInfo - Variable in class att.grappa.GrappaPanel
scaleToFit - Variable in class att.grappa.GrappaPanel
scaleToSize - Variable in class att.grappa.GrappaPanel
scan() - Method in class att.grappa.Parser: Scan to get the next Symbol.
scan() - Method in class java_cup.runtime.lr_parser: Get the next Symbol from the input (supplied by generated subclass).
Scanner - Interface in java_cup.runtime: Defines the Scanner interface, which CUP uses in the default implementation of lr_parser.scan().
score(double, double) - Method in class att.grappa.Subgraph
scratch - Variable in class att.grappa.PrintfParser
selectable - Variable in class att.grappa.Element: Indicates whether this element should be considered selectable or not.
selectable - Variable in class att.grappa.Graph
SELECTION_MASK - Static variable in interface att.grappa.GrappaConstants: Bit indicator that selection highlight is active.
selectionStyle - Variable in class att.grappa.GrappaPanel
SEMI - Static variable in class att.grappa.Symbols
serialVersionUID - Static variable in class AffichageDot.DotFrame
serialVersionUID - Static variable in class AppliGene: Pour moins de warning avec Java 1.5.0
serialVersionUID - Static variable in class att.grappa.ExceptionDisplay.Display
serialVersionUID - Static variable in exception att.grappa.GraphParserException
serialVersionUID - Static variable in class att.grappa.GrappaBox
serialVersionUID - Static variable in class att.grappa.GrappaPanel
serialVersionUID - Static variable in class att.grappa.GrappaPoint
serialVersionUID - Static variable in exception ErreurException: Pour moins de warning avec Java 1.5.0
serialVersionUID - Static variable in class GestionAffichage: Pour moins de warning avec Java 1.5.0
serialVersionUID - Static variable in class GestionOnglets: Pour moins de warning avec Java 1.5.0
serialVersionUID - Static variable in class ModeNettoyer: Pour moins de warning avec Java 1.5.0
serialVersionUID - Static variable in class ModeNettoyerDossier: Pour moins de warning avec Java 1.5.0
setAttribute(Attribute) - Method in class att.grappa.Element: Sets or creates an attribute for this element from the attribute supplied.
setAttribute(String, Object) - Method in class att.grappa.Element: Sets or creates an attribute for this element from the supplied arguments.
setAttribute(Attribute) - Method in class att.grappa.Subgraph: Sets the subgraph-specific default for the specified graph attribute.
setAttribute(String, Object) - Method in class att.grappa.Subgraph: Sets the subgraph-specific default using the specified name/value pair.
setAttributeHandler(AttributeHandler) - Static method in class att.grappa.Attribute: Set a custom attribute handler for converting a String value to an Object and vice versa.
setBlocked(boolean, boolean, boolean) - Method in class att.grappa.Graph
setBounds(int, int, int, int) - Method in class att.grappa.TableField
setBounds(Rectangle) - Method in class att.grappa.TableField
setChanged() - Method in class att.grappa.Attribute: Use to indicate that this object has changed.
setCPT(Point2D) - Method in class att.grappa.GrappaPanel
setDefaultAttribute(String, Object) - Method in class att.grappa.Element: Sets or creates a default attribute for this element type within the containing subgraph of this element from the supplied arguments.
setDefaultAttribute(int, String, Object) - Method in class att.grappa.Element: Sets or creates a default attribute of the specified type within the containing subgraph of this element from the supplied arguments.
setDefaultAttribute(Attribute) - Method in class att.grappa.Element: Sets or creates a default attribute for this element type within the containing subgraph of this element from the supplied arguments.
setDefaultAttribute(int, Attribute) - Method in class att.grappa.Element: Sets or creates a default attribute of the specified type within the containing subgraph of this element from the supplied arguments.
setDelete(boolean) - Method in class att.grappa.Element: Queue or unqueue a delete request.
setDirection(boolean) - Method in class att.grappa.Graph
setEdgeAttribute(Attribute) - Method in class att.grappa.Subgraph: Sets the subgraph-specific default for the specified edge attribute.
setEdgeAttribute(String, Object) - Method in class att.grappa.Subgraph: Sets the subgraph-specific default using the specified name/value pair.
setEditable(boolean) - Method in class att.grappa.Graph: Set the editability of the graph.
setErrorWriter(PrintWriter) - Method in class att.grappa.Graph: Set the PrintWriter for error messages.
setGraph(Graph) - Method in class att.grappa.Element: Set the containing graph for this element.
setGrappaAttribute(String, String) - Method in class att.grappa.Graph: Sets a Grappa package attribute.
setHighlight(Element, int, int) - Static method in class att.grappa.GrappaSupport: Set the highlight on an element and, possibly, related elements.
setId(String) - Method in class att.grappa.TableField
setIdKey(int) - Method in class att.grappa.Element: Sets the id key of this element
setLR(boolean) - Method in class att.grappa.TableField
setMenuable(boolean) - Method in class att.grappa.Graph: Set whether element-specific menus are to be available interactively.
setName() - Method in class att.grappa.Edge: Generates and sets the name for this edge.
setName() - Method in class att.grappa.Element: Intended to be a subclass-specific name generating method.
setName() - Method in class att.grappa.Node: Generates and sets the name for this node.
setName(String) - Method in class att.grappa.Node: Sets the node name to the supplied argument.
setName() - Method in class att.grappa.Subgraph: Generates and sets the name for this subgraph.
setName(String) - Method in class att.grappa.Subgraph: Sets the subgraph name to a copy of the supplied argument.
setNodeAttribute(Attribute) - Method in class att.grappa.Subgraph: Sets the subgraph-specific default for the specified node attribute.
setNodeAttribute(String, Object) - Method in class att.grappa.Subgraph: Sets the subgraph-specific default using the specified name/value pair.
setPaint(boolean) - Method in class att.grappa.Graph
setParent(TableField) - Method in class att.grappa.TableField
setPatch(Rectangle2D.Double) - Method in class att.grappa.Element
setPatch(double, double, double, double) - Method in class att.grappa.Element
setPatchSize(double) - Method in class att.grappa.Element
setReserved(boolean, boolean) - Method in class att.grappa.Element
setScaleToFit(boolean) - Method in class att.grappa.GrappaPanel: Enable/disable scale-to-fit mode.
setScaleToSize(Dimension2D) - Method in class att.grappa.GrappaPanel: Scale the graph drawing to a specific size.
setScanner(Scanner) - Method in class java_cup.runtime.lr_parser: Simple accessor method to set the default scanner.
setSelectable(boolean) - Method in class att.grappa.Graph: Set the selectability of the graph.
setShowEdgeLabels(boolean) - Method in class att.grappa.Subgraph: Set flag to indicate if edge labels should be rendered
setShowNodeLabels(boolean) - Method in class att.grappa.Subgraph: Set flag to indicate if node labels should be rendered
setShowSubgraphLabels(boolean) - Method in class att.grappa.Subgraph: Set flag to indicate if subgraph labels should be rendered
setSize(Dimension2D) - Method in class att.grappa.GrappaSize: Sets the width and height.
setSize(double, double) - Method in class att.grappa.GrappaSize: Sets the width and height.
setSize(int, int) - Method in class att.grappa.TableField
setSize(Dimension) - Method in class att.grappa.TableField
setSubgraph(Subgraph) - Method in class att.grappa.Element: Set the parent subgraph for this element.
setSynchronizePaint(boolean) - Method in class att.grappa.Graph: Sets or unsets indication that paint requests should be done within a synchronized wrapper that prevents concurrent paints and any paints between calls to the dropcloth method.
setText(String) - Method in class att.grappa.ExceptionDisplay.Display
setTextBounds(String, Node) - Method in class att.grappa.TableField
setToolTipText(String) - Method in class att.grappa.Graph: Set the tooltip text displayed when outside the graph area.
setToolTipText(String) - Static method in class att.grappa.Grappa: Sets the tool-tip text displayed when outside graph, but inside the display panel.
setToolTipText(String) - Method in class att.grappa.GrappaPanel: Registers the default text to display in a tool tip.
setUserAttributeType(String, int) - Static method in class att.grappa.Element: Sets the conversion type of a user-defined attribute.
setValue(Object) - Method in class att.grappa.Attribute: Set the value of the attribute.
sgPatches - Variable in class att.grappa.Subgraph
shape - Variable in class att.grappa.GrappaNexus
SHAPE_ATTR - Static variable in interface att.grappa.GrappaConstants: String name for shape attribute (shape).
SHAPE_HASH - Static variable in interface att.grappa.GrappaConstants: Hash code for shape attribute (shape).
SHAPE_MASK - Static variable in interface att.grappa.GrappaConstants: Bit mask for extracting shape information.
SHAPE_TYPE - Static variable in interface att.grappa.GrappaConstants: Indicator that attribute value is a java.lang.Integer representing a Grappa shape.
shapeBoundText - Static variable in class att.grappa.Grappa: Indicates if element text should be included in the element bounding box.
shapeClearText - Static variable in class att.grappa.Grappa: Indicates if the area bounding the element text should be filled/outlined along with the element when being drawn.
shapeDrawText - Static variable in class att.grappa.Grappa: Indicates if element text should be drawn when drawing the element.
shapeIterator - Variable in class att.grappa.GrappaPathIterator
shapeToKey - Static variable in class att.grappa.Grappa: Look-up table that maps a shape reference value to its name.
shapeType - Variable in class att.grappa.GrappaNexus
shift_under_error() - Method in class java_cup.runtime.lr_parser: Determine if we can shift under the special error Symbol out of the state currently on the top of the (real) parse stack.
SIDES_ATTR - Static variable in interface att.grappa.GrappaConstants: String name for sides attribute (sides).
SIDES_HASH - Static variable in interface att.grappa.GrappaConstants: Hash code for sides attribute (sides).
sign - Variable in class att.grappa.PrintfParser
simple - Static variable in class att.grappa.Symbols
size - Variable in class att.grappa.TableField
SIZE_ATTR - Static variable in interface att.grappa.GrappaConstants: String name for size attribute [unused] (size).
SIZE_HASH - Static variable in interface att.grappa.GrappaConstants: Hash code for size attribute (size).
SIZE_TYPE - Static variable in interface att.grappa.GrappaConstants: Indicator that attribute value is an instance of GrappaSize.
sizeFields() - Method in class att.grappa.TableField
sizeUpFields(TableField) - Method in class att.grappa.TableField
SKEW_ATTR - Static variable in interface att.grappa.GrappaConstants: String name for skew attribute (skew).
SKEW_HASH - Static variable in interface att.grappa.GrappaConstants: Hash code for skew attribute (skew).
SP - Static variable in class att.grappa.GrappaSupport
space - Variable in class att.grappa.PrintfParser
specialHandler - Static variable in class att.grappa.Attribute
sprintf(Object[]) - Static method in class att.grappa.GrappaSupportPrintf: The familiar C-language sprintf rendered in Java and extended for some Grappa types.
stack - Variable in class java_cup.runtime.lr_parser: The parse stack itself.
start_production() - Method in class att.grappa.Parser: Indicates start production.
start_production() - Method in class java_cup.runtime.lr_parser: The index of the start production (supplied by generated subclass).
start_state() - Method in class att.grappa.Parser: Indicates start state.
start_state() - Method in class java_cup.runtime.lr_parser: The index of the start state (supplied by generated subclass).
startGraph(String, boolean, boolean) - Method in class att.grappa.CUP$Parser$actions
startsNear(Point2D) - Method in class att.grappa.GrappaLine: Check is the line is oriented away from the given point.
stmt - Static variable in class att.grappa.Symbols
stmtList - Static variable in class att.grappa.Symbols
strict - Variable in class att.grappa.Graph
STRICT - Static variable in class att.grappa.Symbols
STRICTDIGRAPH - Static variable in class att.grappa.Symbols
STRICTGRAPH - Static variable in class att.grappa.Symbols
STRING_TYPE - Static variable in interface att.grappa.GrappaConstants: Indicator that attribute value is an instance of java.lang.String.
stringValue - Variable in class att.grappa.Attribute
StrMoins(int) - Static method in class GFI_Exportation
stroke - Variable in class att.grappa.GrappaNexus
stroke - Variable in class att.grappa.GrappaStyle
strokeCache - Static variable in class att.grappa.GrappaStyle
strpad(StringBuffer, String, int, int, boolean) - Method in class att.grappa.PrintfParser
strsplit(String) - Static method in class att.grappa.GrappaSupport
strToStr(String, int) - Static method in class GFI_Exportation
StrW - Variable in class TextWriter
style - Variable in class att.grappa.GrappaNexus
STYLE_ATTR - Static variable in interface att.grappa.GrappaConstants: String name for style attribute (style).
STYLE_CAP_BUTT - Static variable in class att.grappa.GrappaStyle: Integer value for indicating butt cap info.
STYLE_CAP_DEFAULT - Static variable in class att.grappa.GrappaStyle: Line cap default.
STYLE_CAP_ROUND - Static variable in class att.grappa.GrappaStyle: Integer value for indicating round cap info.
STYLE_CAP_SQUARE - Static variable in class att.grappa.GrappaStyle: Integer value for indicating square cap info.
STYLE_DASH - Static variable in class att.grappa.GrappaStyle: Integer value for indicating specific dashed line info.
STYLE_DASH_DEFAULT - Static variable in class att.grappa.GrappaStyle: Line dash default.
STYLE_DASH_PHASE - Static variable in class att.grappa.GrappaStyle: Integer value for indicating dash phase info for a dashed line.
STYLE_DASH_PHASE_DEFAULT - Static variable in class att.grappa.GrappaStyle: Line dash phase default.
STYLE_DASHED - Static variable in class att.grappa.GrappaStyle: Integer value for indicating dashed line info.
STYLE_DIAGONALS - Static variable in class att.grappa.GrappaStyle: Integer value for indicating diagonal corner info.
STYLE_DIAGONALS_DEFAULT - Static variable in class att.grappa.GrappaStyle: Diagonal corner default.
STYLE_DOTTED - Static variable in class att.grappa.GrappaStyle: Integer value for indicating dotted line info.
STYLE_FILLED - Static variable in class att.grappa.GrappaStyle: Integer value for indicating fill info.
STYLE_FILLED_DEFAULT - Static variable in class att.grappa.GrappaStyle: Fill default.
STYLE_FIXED_SIZE - Static variable in class att.grappa.GrappaStyle: Integer value for indicating fixed size info.
STYLE_FIXED_SIZE_DEFAULT - Static variable in class att.grappa.GrappaStyle: Fixed size default.
STYLE_HASH - Static variable in interface att.grappa.GrappaConstants: Hash code for style attribute (style).
STYLE_INVIS - Static variable in class att.grappa.GrappaStyle: Integer value for indicating fill info.
STYLE_INVIS_DEFAULT - Static variable in class att.grappa.GrappaStyle: Invisibility default.
STYLE_JOIN_BEVEL - Static variable in class att.grappa.GrappaStyle: Integer value for indicating bevel join info.
STYLE_JOIN_DEFAULT - Static variable in class att.grappa.GrappaStyle: Line join default.
STYLE_JOIN_MITER - Static variable in class att.grappa.GrappaStyle: Integer value for indicating miter join info.
STYLE_JOIN_ROUND - Static variable in class att.grappa.GrappaStyle: Integer value for indicating round miter info.
STYLE_LINE_COLOR - Static variable in class att.grappa.GrappaStyle: Integer value for indicating line color info.
STYLE_LINE_COLOR_DEFAULT - Static variable in class att.grappa.GrappaStyle: Line color default.
STYLE_LINE_STYLE_DEFAULT - Static variable in class att.grappa.GrappaStyle: Line style default.
STYLE_LINE_WIDTH - Static variable in class att.grappa.GrappaStyle: Integer value for indicating line width info.
STYLE_LINE_WIDTH_DEFAULT - Static variable in class att.grappa.GrappaStyle: Line width default.
STYLE_MITER_LIMIT - Static variable in class att.grappa.GrappaStyle: Integer value for indicating miter limit info.
STYLE_MITER_LIMIT_DEFAULT - Static variable in class att.grappa.GrappaStyle: Line miter default.
STYLE_OLD_BOLD - Static variable in class att.grappa.GrappaStyle: Integer value for indicating bold font info (should use fontstyle)
STYLE_OLD_ITALIC - Static variable in class att.grappa.GrappaStyle: Integer value for indicating italic font info (should use fontstyle)
STYLE_OLD_PLAIN - Static variable in class att.grappa.GrappaStyle: Integer value for indicating plain font info (should use fontstyle)
STYLE_ROUNDED - Static variable in class att.grappa.GrappaStyle: Integer value for indicating rounded corner info.
STYLE_ROUNDED_DEFAULT - Static variable in class att.grappa.GrappaStyle: Rounded corner default.
STYLE_SOLID - Static variable in class att.grappa.GrappaStyle: Integer value for indicating solid line info.
STYLE_TYPE - Static variable in interface att.grappa.GrappaConstants: Indicator that attribute value is an instance of GrappaStyle.
styleTypes - Static variable in class att.grappa.GrappaStyle
subEnum - Variable in class att.grappa.Subgraph.Enumerator
subFields - Variable in class att.grappa.TableField
subfields(int) - Method in class att.grappa.TableField
subFieldsUsed - Variable in class att.grappa.TableField
subgLabels - Variable in class att.grappa.GrappaPanel
subgLabels - Variable in class att.grappa.Subgraph
subgLabelsScaleCutoff - Static variable in class att.grappa.Grappa: When the transform scale applied when drawing in a GrappaPanel is less than this value, then subgraph labels are suppressed.
subgraph - Variable in class att.grappa.Element
SUBGRAPH - Static variable in interface att.grappa.GrappaConstants: Element type value indicating a graph (or subgraph).
subgraph - Variable in class att.grappa.GrappaPanel
Subgraph - Class in att.grappa: This class describes a subgraph, which can consist of nodes, edges and other subgraphs.
Subgraph() - Constructor for class att.grappa.Subgraph: This constructor is needed by the Graph constructor
Subgraph(Subgraph, String) - Constructor for class att.grappa.Subgraph: Use this constructor when creating a subgraph within a subgraph.
Subgraph(Subgraph) - Constructor for class att.grappa.Subgraph: Use this constructor when creating a subgraph within a subgraph with an automatically generated name.
SUBGRAPH - Static variable in class att.grappa.Symbols
subgraph - Static variable in class att.grappa.Symbols
Subgraph.Enumerator - Class in att.grappa
Subgraph.Enumerator(int) - Constructor for class att.grappa.Subgraph.Enumerator
subgraphAttrsOfInterest() - Method in class att.grappa.Subgraph
subgraphElements() - Method in class att.grappa.Subgraph: Get an enumeration of the subgraph elements in this subgraph.
supprimerDossier() - Method in class ModeNettoyer
supprimerDossier() - Method in class ModeNettoyerDossier
swallow_comment() - Method in class att.grappa.Lexer: Handle swallowing up a comment.
sym - Variable in class java_cup.runtime.Symbol: The symbol number of the terminal or non terminal being represented
Symbol - Class in java_cup.runtime: Defines the Symbol class, which is used to represent all terminals and nonterminals while parsing.
Symbol(int, int, int, Object) - Constructor for class java_cup.runtime.Symbol: Constructor for l,r values
Symbol(int, Object) - Constructor for class java_cup.runtime.Symbol: Constructor for no l,r values
Symbol(int, int, int) - Constructor for class java_cup.runtime.Symbol: Constructor for no value
Symbol(int) - Constructor for class java_cup.runtime.Symbol: Constructor for no value or l,r
Symbol(int, int) - Constructor for class java_cup.runtime.Symbol: Constructor to give a start state
SymboleDefaut - Static variable in class MethodesNonFonctionnelles: Définition du symboles de condition gardée apparaissant dans le graphique final
SymboleNonPr - Static variable in class MethodesNonFonctionnelles: Définition du symboles de condition Non prouvée apparaissant dans le graphique final
SymboleProuve - Static variable in class MethodesNonFonctionnelles: Définition du symboles de condition vraie apparaissant dans le graphique final
Symbols - Class in att.grappa: CUP generated class containing symbol constants.
Symbols() - Constructor for class att.grappa.Symbols
synchronizePaint - Variable in class att.grappa.Graph
synchronizePaint - Static variable in class att.grappa.Grappa: Indicates whether paints should be done within a synchronized wrapper.
syntax_error(Symbol) - Method in class java_cup.runtime.lr_parser: This method is called when a syntax error has been detected and recovery is about to be invoked.
SysAfficher(Writer, TPredicat) - Static method in class MethodesNonFonctionnelles: Affiche un Prédicat avec une présentation particulière pour les bob.predicat.TPredConst
sysdfltEdgeAttributes - Static variable in class att.grappa.Graph
sysdfltGraphAttributes - Static variable in class att.grappa.Graph
sysdfltNodeAttributes - Static variable in class att.grappa.Graph
SYSTEM - Static variable in interface att.grappa.GrappaConstants: System attribute indicator.

T

TabClauseNature - Static variable in class MethodesNonFonctionnelles
TabExtensions - Static variable in class MethodesNonFonctionnelles
TabFormatsSortie - Static variable in class ConfigurationGeneSyst: tableau memorisant les formats de sortie demandes par l'utilisateur.
TabFormatsSortie - Static variable in class GFI_Datas: tableau memorisant les formats de sortie demandé par l'utilisateur.
TabFormatsSortiePossibles - Static variable in class ConfigurationGeneSyst: tableau memorisant quels formats de sortie peuvent etre utilises (la limitation etant les applications externes).
TableField - Class in att.grappa
TableField() - Constructor for class att.grappa.TableField: Creates an empty TableField instance.
TactiquesInteractives - Static variable in class MethodesNonFonctionnelles: Par défaut, les obligations de preuve générées sont soumises au prouveur.
TactiquesUtilisateur - Static variable in class ConfigurationGeneSyst: Definition des tactiques interactives
TAG_ATTR - Static variable in interface att.grappa.GrappaConstants: String name for tag attribute (tag).
TAG_HASH - Static variable in interface att.grappa.GrappaConstants: Hash code for tag attribute (tag).
TAIL_ARROW_EDGE - Static variable in class att.grappa.GrappaLine: Bit flag to indicate that line has an arrow head at its tail end.
TAILLABEL_ATTR - Static variable in interface att.grappa.GrappaConstants: String name for tail label attribute (taillabel).
TAILLABEL_HASH - Static variable in interface att.grappa.GrappaConstants: Hash code for tail label attribute (taillabel).
TailleOfficielleDesGroupeDeRequettes - Static variable in class interfacageAB
TAILLP_ATTR - Static variable in interface att.grappa.GrappaConstants: String name for tail label position attribute (tail_lp).
TAILLP_HASH - Static variable in interface att.grappa.GrappaConstants: Hash code for tail label position attribute (tail_lp).
tailNode - Variable in class att.grappa.Edge
tailPortId - Variable in class att.grappa.Edge
TempAttenteAuRedemarrage - Static variable in class MethodesNonFonctionnelles: Pour éviter les "Cpu Limit Exceeded" On limite le nombre de preuve avant de redémarrer l'atelier.
TempsAttenteOfficielEntreGroupes - Static variable in class interfacageAB
TempsAttenteOfficielReponse - Static variable in class interfacageAB: Variables servant a factoriser les donnees de recuperation sale des traces
terminal - Variable in class GFI_Datas: Variable pointant vers le flux de sortie courant pour l'affichage des messages
terminal - Static variable in class interfacageAB: Terminal de sortie du texte
terminal - Static variable in class MethodesNonFonctionnelles: Terminal de sortie du texte
testpath - Variable in class att.grappa.GrappaLine
text - Variable in class att.grappa.TableField
textarea - Variable in class att.grappa.ExceptionDisplay.Display
textArea - Variable in class att.grappa.GrappaNexus
textBounds - Variable in class att.grappa.TableField
textMachine - Variable in class AppliGene
textOracleM - Variable in class AppliGene
textOracleR - Variable in class AppliGene
textRaffinement - Variable in class AppliGene
TextWriter - Class in <Unnamed>
TextWriter(StringWriter, GestionAffichage, boolean) - Constructor for class TextWriter: Constructeur TextWriter
TextWriter(StringWriter, ModeNettoyer) - Constructor for class TextWriter: Constructeur TextWriter
TGestionAffichage - Static variable in class TextWriter
theGraph - Variable in class att.grappa.Parser
thisAttrType - Variable in class att.grappa.CUP$Parser$actions
thisEdge - Variable in class att.grappa.CUP$Parser$actions
thisElemType - Variable in class att.grappa.CUP$Parser$actions
thisGraph - Variable in class att.grappa.CUP$Parser$actions
thisNode - Variable in class att.grappa.CUP$Parser$actions
TIP_ATTR - Static variable in interface att.grappa.GrappaConstants: String name for tip attribute (tip).
TIP_HASH - Static variable in interface att.grappa.GrappaConstants: Hash code for tip attribute (tip).
title - Variable in class att.grappa.ExceptionDisplay
Titre1 - Static variable in class PrintWriterGeneSyst
Titre2 - Static variable in class PrintWriterGeneSyst
TjrsF - Static variable in class GFI_Datas: Constante définissant une condition à FAUX
TjrsV - Static variable in class GFI_Datas: Constante définissant une condition à VRAI
TModeNettoyer - Static variable in class TextWriter
toAttributeString() - Method in class att.grappa.GrappaBox: Provides a string representation of this object consistent with Grappa attributes.
toAttributeString() - Method in class att.grappa.GrappaLine: Provides a string representation of this object consistent with Grappa attributes.
toAttributeString() - Method in class att.grappa.GrappaPoint: Provides a string representation of this object consistent with Grappa attributes.
toAttributeString() - Method in class att.grappa.GrappaSize: Provides a string representation of this object consistent with Grappa attributes.
toAttributeString() - Method in class att.grappa.GrappaStyle: Provides a string representation of this object consistent with Grappa attributes.
toFormattedString(String) - Method in class att.grappa.GrappaBox: Provides a formatted string representation of this object.
toFormattedString(String) - Method in class att.grappa.GrappaLine: Provides a formatted string representation of this object.
toFormattedString(String) - Method in class att.grappa.GrappaPoint: Provides a formatted string representation of this object.
toFormattedString(String) - Method in class att.grappa.GrappaSize: Provides a formatted string representation of this object.
tolower(int) - Static method in class att.grappa.GrappaSupport: for ASCII only
toNode - Variable in class att.grappa.CUP$Parser$actions
toolkit - Static variable in class att.grappa.Grappa: The java.awt.Toolkit.getDefaultToolkit() value, if available
toolTipText - Variable in class att.grappa.Graph
toolTipText - Static variable in class att.grappa.Grappa
top() - Method in class java_cup.runtime.virtual_parse_stack: Return value on the top of the stack (without popping it).
toPortName - Variable in class att.grappa.CUP$Parser$actions
tos - Variable in class java_cup.runtime.lr_parser: Indication of the index for top of stack (for use by actions).
toString() - Method in class att.grappa.Attribute: Provide a generic string representation of the attribute.
toString() - Method in class att.grappa.Edge: Get the String rendition of the edge.
toString() - Method in class att.grappa.Element: Get the String rendition of the element.
toString() - Method in class att.grappa.GrappaBox: Provides a generic string representation of this object.
toString() - Method in class att.grappa.GrappaLine: Provides a generic string representation of this object.
toString() - Method in class att.grappa.GrappaPoint: Provides a generic string representation of this object.
toString() - Method in class att.grappa.GrappaSize: Provides a generic string representation of this object.
toString() - Method in class att.grappa.GrappaStyle: Provides a generic string representation of this object.
toString() - Method in class java_cup.runtime.Symbol: Printing this token out.
toupper(int) - Static method in class att.grappa.GrappaSupport: for ASCII only
TousCheckBoxSelectionnes() - Method in class ModeNettoyer: regarde si tous les dossiers sont selectionnés
trace - Variable in class att.grappa.ExceptionDisplay.Display
TraceAvantErreur - Variable in class interfacageAB: Trace de l'atelier d'avant une erreur
TraiteLesErreurs - Static variable in class interfacageAB
TraitementRaffinement(String, ResultatAnalyse, int, boolean, GestionFormatIntermediaire, GestionFormatIntermediaire, boolean, boolean) - Method in class geneSyst: TraitementRaffinement réalise le Système de Transitions étiquetées du raffinement B précisé par NomFichierAvecExtension.
TraitementSystemeAbstrait(String, int, boolean, GestionFormatIntermediaire, boolean, boolean) - Method in class geneSyst: TraitementSystemeAbstrait réalise le Système de Transitions étiquetées de la machine B précisée par NomFichierAvecExtension.
TraiterCommande(String, String, String, boolean, boolean) - Method in class interfacageAB: Méthode simplifiée permettant d'émettre une commande vers l'atelier B puis d'attendre ou non une réponse.
TraiterCommande(String, String, String, String, boolean, boolean, boolean) - Method in class interfacageAB: Méthode permettant d'émettre une commande vers l'atelier B puis d'attendre ou non une réponse.
transform - Variable in class att.grappa.GrappaPanel
TRAPEZIUM_SHAPE - Static variable in interface att.grappa.GrappaConstants: Indicator that the element has a trapezium shape.
TRIANGLE_SHAPE - Static variable in interface att.grappa.GrappaConstants: Indicator that the element has a triangle shape.
trim - Variable in class att.grappa.PrintfParser
TRIPLEOCTAGON_SHAPE - Static variable in interface att.grappa.GrappaConstants: Indicator that the element has a triple octagon shape.
try_parse_ahead(boolean) - Method in class java_cup.runtime.lr_parser: Do a simulated parse forward (a "parse ahead") from the current stack configuration using stored lookahead input and a virtual parse stack.
type - Variable in class att.grappa.GrappaPathIterator
types - Variable in class att.grappa.Subgraph.Enumerator
TYPES_SHIFT - Static variable in interface att.grappa.GrappaConstants: Maximum number of bits needed to represet the Element types.
typeString(int, boolean) - Static method in class att.grappa.Element: Provides the element type as a string.

U

UC - Static variable in class att.grappa.GrappaSupport
unpackFromStrings(String[]) - Static method in class java_cup.runtime.lr_parser: Utility function: unpacks parse tables from strings
unrecovered_syntax_error(Symbol) - Method in class java_cup.runtime.lr_parser: This method is called if it is determined that syntax error recovery has been unsuccessful.
update(Observable, Object) - Method in class att.grappa.GrappaNexus: This method is called whenever the observed object is changed.
updateDecoration() - Method in class att.grappa.GrappaNexus: Update the decoration information for the underlying element.
updateImage() - Method in class att.grappa.GrappaNexus: Update the image information for the underlying element.
updateLine(String) - Method in class att.grappa.GrappaLine
updateLine(GrappaPoint[], int) - Method in class att.grappa.GrappaLine
updateShape() - Method in class att.grappa.GrappaNexus: Update the shape information for the underlying element.
updateStyle() - Method in class att.grappa.GrappaNexus: Update the shape information for the underlying element.
updateStyle(String) - Method in class att.grappa.GrappaStyle: Update this GrappaStyle based on the supplied style string.
updateText() - Method in class att.grappa.GrappaNexus: Update the text information for the underlying element.
UPPERTOLOWER - Static variable in class att.grappa.GrappaSupport
useAntiAliasing - Static variable in class att.grappa.Grappa: Indicates whether anti-aliasing should be used when drawing.
used_by_parser - Variable in class java_cup.runtime.Symbol: This allows us to catch some errors caused by scanners recycling symbols.
useFractionalMetrics - Static variable in class att.grappa.Grappa: Indicates whether fractional metrics should be used when drawing text.
usePrintList - Static variable in class att.grappa.Element: Indicates whether only the list of attributes found in the PRINTLIST_ATTR should be printed.
usePrintList - Static variable in class att.grappa.Grappa: Indicates whether only the list of attributes found in the PRINTLIST_ATTR should be printed.
user_init() - Method in class att.grappa.Parser: User initialization code.
user_init() - Method in class java_cup.runtime.lr_parser: User code for initialization inside the parser.
userAttributeTypeMap - Static variable in class att.grappa.Element

V

validGrappaAttributeKey(String) - Static method in class att.grappa.Graph: Check if the given key has a format consistent with Grappa package attribute keys.
value - Variable in class att.grappa.Attribute
value - Variable in class java_cup.runtime.Symbol
vectorOfElements(int) - Method in class att.grappa.Subgraph: Get a vector of elements in this subgraph and, by recursion, descendant subgraphs.
verificationFichier() - Method in class AppliGene: verification de l'existances des fichiers fournis
VerifieQueLaCommandeEstBienPassee - Static variable in class interfacageAB
VerifierOracle - Static variable in class MethodesNonFonctionnelles: Par défaut, les orcales soumis ne sont pas vérifiés.
VersionGS - Static variable in class geneSyst
Virgule(FileReader) - Method in class GFI_Parseur: Méthode du parseur de fichiers d'oracle.
virtual_parse_stack - Class in java_cup.runtime: This class implements a temporary or "virtual" parse stack that replaces the top portion of the actual parse stack (the part that has been changed by some set of operations) while maintaining its original contents.
virtual_parse_stack(Stack) - Constructor for class java_cup.runtime.virtual_parse_stack: Constructor to build a virtual stack out of a real stack.
visastamp - Variable in class att.grappa.Element
visible - Variable in class att.grappa.Element: Indicates whether this element should be considered visible or not.
VisualiserResultatAbstr() - Method in class GestionAffichage
VisualiserResultatRaff() - Method in class GestionAffichage
vstack - Variable in class java_cup.runtime.virtual_parse_stack: The virtual top portion of the stack.

W

waitForImages - Static variable in class att.grappa.Grappa: Indicates that an image requested via the IMAGE_ATTR of an element should be loaded before the element is drawn.
warning_count - Variable in class att.grappa.Lexer: Count of warnings issued so far
WEIGHT_ATTR - Static variable in interface att.grappa.GrappaConstants: String name for weight attribute [unused] (weight).
WEIGHT_HASH - Static variable in interface att.grappa.GrappaConstants: Hash code for weight attribute (weight).
width - Variable in class att.grappa.GrappaSize: The width of the Dimension.
width - Variable in class att.grappa.PrintfParser
WIDTH_ATTR - Static variable in interface att.grappa.GrappaConstants: String name for width attribute (width).
WIDTH_HASH - Static variable in interface att.grappa.GrappaConstants: Hash code for width attribute (width).
windingRule - Static variable in class att.grappa.Grappa: Indicates what winding rule to use whenever a winding rule is required.
windingRule - Variable in class att.grappa.GrappaLine
windingRule - Variable in class att.grappa.GrappaNexus
windowClosing(WindowEvent) - Method in class att.grappa.ExceptionDisplay.Display.WindowObserver
write(String, boolean) - Method in class PrintWriterGeneSyst
write(String) - Method in class PrintWriterGeneSyst
write2(String, boolean) - Method in class PrintWriterGeneSyst
write2(String) - Method in class PrintWriterGeneSyst
writeClassic(String, boolean) - Method in class PrintWriterGeneSyst
writeClassic(String) - Method in class PrintWriterGeneSyst
writeCloseTitle() - Method in class PrintWriterGeneSyst
writeCloseTitle2() - Method in class PrintWriterGeneSyst
writeDebug(String) - Method in class PrintWriterGeneSyst
writeErreur(String) - Method in class PrintWriterGeneSyst
writeOpenTitle(String) - Method in class PrintWriterGeneSyst
writeOpenTitle2(String) - Method in class PrintWriterGeneSyst
writeSsTitre(String) - Method in class PrintWriterGeneSyst
WS - Static variable in class att.grappa.GrappaSupport

X

XDIGIT - Static variable in class att.grappa.GrappaSupport
xlateDir(int) - Static method in class att.grappa.GrappaSupport: Converts an integer edge direction value to a string representation.
xlateDirString(String) - Static method in class att.grappa.GrappaSupport: Converts a string to an integer edge direction.
xlateFontStyle(int) - Static method in class att.grappa.GrappaSupport: Converts an integer font style value to a string representation.
xlateFontStyleString(String) - Static method in class att.grappa.GrappaSupport: Converts a string to an integer font style.

Z

zeropad - Variable in class att.grappa.PrintfParser
zoomBox - Variable in class att.grappa.GrappaPanel
zoomToOutline() - Method in class att.grappa.GrappaPanel: Zoom the drawing to the outline just swept with the mouse, if any.
zoomToOutline(GrappaBox) - Method in class att.grappa.GrappaPanel: Zoom the drawing to the outline just swept with the mouse, if any.

_

_action_table - Static variable in class att.grappa.Parser: Parse-action table.
_done_parsing - Variable in class java_cup.runtime.lr_parser: Internal flag to indicate when parser should quit.
_error_sync_size - Static variable in class java_cup.runtime.lr_parser: The default number of Symbols after an error we much match to consider it recovered from.
_NO_TYPE - Static variable in interface att.grappa.GrappaConstants: Indicator that no attribute value type is specified.
_production_table - Static variable in class att.grappa.Parser: Production table.
_reduce_table - Static variable in class att.grappa.Parser: reduce_goto table.
_scanner - Variable in class java_cup.runtime.lr_parser: This is the scanner object used by the default implementation of scan() to get Symbols.

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

Overview

Package

Class

Tree

Deprecated

Index

Help

PREV NEXT

FRAMES NO FRAMES