argutia.logic.syntax
Class Syntax

java.lang.Object
  extended by 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 :

Author:
Geoffroy AUBRY
Constructor Summary
Syntax()
           
 
Method Summary
static SetOfFormulas analyserTexte(Onglets.JTextPaneColore source, Onglets.JTextPaneColore sortieErreur)
           
private static Node getAtome(UnmodifiableListIterator<SyntaxNode> i)
           
private static Node getConjonction(UnmodifiableListIterator<SyntaxNode> i)
           
private static Node getDisjonction(UnmodifiableListIterator<SyntaxNode> i)
           
private static Node getFormule(UnmodifiableListIterator<SyntaxNode> i)
           
private static Node getLitteral(UnmodifiableListIterator<SyntaxNode> i)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Constructor Detail

Syntax

public Syntax()
Method Detail

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