argutia.logic.syntax
Class SyntacticUnit

java.lang.Object
  extended by argutia.logic.syntax.SyntacticUnit
All Implemented Interfaces:
AffichableAvecStyle
Direct Known Subclasses:
ConfigurableSyntacticUnit, PropositionalVariable, WrongSyntacticUnit
public abstract class SyntacticUnit
extends Object
implements AffichableAvecStyle

Les différentes unités syntaxiques constituent l'alphabet de la logique propositionnelle. On distingue :

Author:
Geoffroy AUBRY
See Also:
Formula
Warnings:
Une unité syntaxique a vocation à être immuable.
Par ailleurs chaque unité syntaxique est supposée n'être créée qu'en un exemplaire unique. Les méthodes hashCode() et equals(Object) sont implémentées en conséquence.
Field Summary
private int hashCode
          HashCode de l'unité syntaxique.
 
Constructor Summary
protected SyntacticUnit()
          Crée une unité syntaxique.
 
Method Summary
 boolean equals(Object o)
          Compare l'objet spécifié avec l'unité syntaxique et retourne true s'ils sont équivalents.
 int hashCode()
          Retourne le valeur de l'attribut hashCode de l'unité syntaxique.
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface argutia.gui.batchStyledDocument.AffichableAvecStyle
toStyledString
 
Field Detail

hashCode

private final int hashCode
HashCode de l'unité syntaxique.

See Also:
HashCodes.hash()
Implementation Notes:
Calculé lors de l'instanciation.
Comme par construction deux instances de SyntacticUnit référencent deux unités syntaxiques différentes sur le plan logique, le hashCode est calculé comme suit pour limiter les collisions :
hashCode = HashCodes.hash();
Constructor Detail

SyntacticUnit

protected SyntacticUnit()
Crée une unité syntaxique.

Method Detail

equals

public boolean equals(Object o)
Compare l'objet spécifié avec l'unité syntaxique et retourne true s'ils sont équivalents.

Overrides:
equals in class Object
Implementation Notes:
Comme par construction deux instances de SyntacticUnit référencent deux unités syntaxiques différentes sur le plan logique, la méthode renverra true uniquement s'il s'agit de la même instance.
return this == o;
Returns:
true si l'objet spécifié est identique à l'unité syntaxique.

hashCode

public int hashCode()
Retourne le valeur de l'attribut hashCode de l'unité syntaxique.

Overrides:
hashCode in class Object
Returns:
un hashCode pour cette instance.
Argutia JavaDoc
23 décembre 2007