argutia.logic.syntax
Class Syntax
java.lang.Object
argutia.logic.syntax.Syntax
public class Syntax
- extends Object
Permet l'analyse d'un texte à l'aide de règles de grammaire.
Voici la grammaire utilisée :
- formule := disjonction ((IMPLICATION | EQUIVALENCE) disjonction)*
- disjonction := conjonction (OR conjonction)*
- conjonction := littéral (AND littéral)*
- littéral := NOT* atome
- atome := (lettreUnicode | chiffre | '_')+ | OPENING_PARENTHESIS formule CLOSING_PARENTHESIS
- lettre :=
PropositionalVariable.CARACTERE
- chiffre := '0' | ... | '9'
- Author:
- Geoffroy AUBRY
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Syntax
public Syntax()
analyserTexte
public static SetOfFormulas analyserTexte(Onglets.JTextPaneColore source,
Onglets.JTextPaneColore sortieErreur)
getFormule
private static Node getFormule(UnmodifiableListIterator<SyntaxNode> i)
throws SyntaxException
- Throws:
SyntaxException
getDisjonction
private static Node getDisjonction(UnmodifiableListIterator<SyntaxNode> i)
throws SyntaxException
- Throws:
SyntaxException
getConjonction
private static Node getConjonction(UnmodifiableListIterator<SyntaxNode> i)
throws SyntaxException
- Throws:
SyntaxException
getLitteral
private static Node getLitteral(UnmodifiableListIterator<SyntaxNode> i)
throws SyntaxException
- Throws:
SyntaxException
getAtome
private static Node getAtome(UnmodifiableListIterator<SyntaxNode> i)
throws SyntaxException
- Throws:
SyntaxException
Argutia JavaDoc
23 décembre 2007