All Packages Class Hierarchy This Package Previous Next Index
Class prolog.PrologIdent
java.lang.Object
|
+----prolog.PrologTerm
|
+----prolog.PrologString
|
+----prolog.PrologIdent
- public class PrologIdent
- extends PrologString
- implements Serializable
Représente un terme Prolog de type identificateur.
Chaque caractère de l'identificateur est codé sur 8 bits et on
conserve la taille de la chaîne dans la variable size
qui est un entier de 32 bits.
On conserve également le numéro qui identifie l'identificateur
dans Prolog 2.
- Version:
- 1.0 -- Last update : 28/08/97
- Author:
- Stéphane CABAGNO -- Copyright © 1997 PrologIA
- See Also:
- PrologDot, PrologFloat, PrologFunctor, PrologInt, PrologNil, PrologRat, PrologString, PrologVar
-
PrologIdent()
- Construit un identificateur vide de numéro -2.
-
PrologIdent(PrologIdent)
- Construit un identificateur à partir d'un autre identificateur
Prolog.
-
PrologIdent(String)
- Construit un identificateur dont l'étiquette est donnée.
-
clone()
- Retourne l'objet représentant l'identificateur Prolog.
-
getID()
- Retourne le numéro qui identifie l'identificateur Prolog.
-
isList()
- Teste si ce terme est une liste ou pas.
-
readIn(DataInputStream)
- Lit dans le flot d'entrée le code représentant l'identificateur.
-
readJavaIn(DataInputStream)
- Lit dans le flot d'entrée le code représentant l'identificateur.
-
toString()
- Retourne la représentation du terme PrologIdent sous forme de
chaîne.
-
whatIs()
- Retourne le caractère représentant le type identificateur.
-
writeIn(DataOutputStream)
- Ecrit dans le flot de sortie le code représentant l'identificateur.
-
writeJavaIn(DataOutputStream)
- Ecrit dans le flot de sortie le code représentant l'identificateur.
PrologIdent
public PrologIdent()
- Construit un identificateur vide de numéro -2.
Il ne doit jamais être envoyé à Prolog sous cette forme.
PrologIdent
public PrologIdent(String theString)
- Construit un identificateur dont l'étiquette est donnée.
- Parameters:
- theString - la valeur de l'étiquette
PrologIdent
public PrologIdent(PrologIdent theIdent)
- Construit un identificateur à partir d'un autre identificateur
Prolog.
- Parameters:
- theIdent - l'identificateur Prolog
getID
public int getID()
- Retourne le numéro qui identifie l'identificateur Prolog.
- Returns:
- le numéro qui identifie l'identificateur Prolog
isList
public boolean isList()
- Teste si ce terme est une liste ou pas.
- Returns:
- vrai si l'identificateur est l'atome nil et faux sinon.
- Overrides:
- isList in class PrologString
whatIs
public byte whatIs()
- Retourne le caractère représentant le type identificateur.
- Returns:
- le caractère représentant le type identificateur
: 'e'
- Overrides:
- whatIs in class PrologString
clone
public Object clone()
- Retourne l'objet représentant l'identificateur Prolog.
- Returns:
- l'objet représentant l'identificateur Prolog
- Overrides:
- clone in class PrologString
toString
public String toString()
- Retourne la représentation du terme PrologIdent sous forme de
chaîne.
- Returns:
- la représentation du terme PrologIdent sous forme de chaîne
- Overrides:
- toString in class PrologString
writeIn
public void writeIn(DataOutputStream out) throws IOException, StringIndexOutOfBoundsException
- Ecrit dans le flot de sortie le code représentant l'identificateur.
Remarque :
Les méthodes writeIn
et readIn
sont
utilisées pour transférer des données entre le serveur Java
et Prolog alors que les méthodes writeJavaIn
et
readJavaIn
sont utilisées pour transférer des
données entre le serveur Java et un autre programme Java.
Un identificateur est codée au minimum sur 72 bits de
la manière suivante :
- Parameters:
- out - le flot dans lequel on veut écrire
- Throws: IOException
- si on a une erreur d'écriture
- Throws: StringIndexOutOfBoundsException
- si on dépasse la
taille de la chaîne représentant l'identificateur
- Overrides:
- writeIn in class PrologString
- See Also:
- readIn, readJavaIn, writeJavaIn
writeJavaIn
public void writeJavaIn(DataOutputStream out) throws IOException, StringIndexOutOfBoundsException
- Ecrit dans le flot de sortie le code représentant l'identificateur.
Remarque :
Les méthodes writeIn
et readIn
sont
utilisées pour transférer des données entre le serveur Java
et Prolog alors que les méthodes writeJavaIn
et
readJavaIn
sont utilisées pour transférer des
données entre le serveur Java et un autre programme Java.
- Parameters:
- out - le flot dans lequel on veut écrire
- Throws: IOException
- si on a une erreur d'écriture
- Throws: StringIndexOutOfBoundsException
- si on dépasse la
taille de la chaîne représentant l'identificateur
- Overrides:
- writeJavaIn in class PrologString
- See Also:
- readIn, readJavaIn, writeIn
readIn
public void readIn(DataInputStream in) throws EOFException, IOException
- Lit dans le flot d'entrée le code représentant l'identificateur.
Remarque :
Les méthodes writeIn
et readIn
sont
utilisées pour transférer des données entre le serveur Java
et Prolog alors que les méthodes writeJavaIn
et
readJavaIn
sont utilisées pour transférer des
données entre le serveur Java et un autre programme Java.
Pour le codage d'un identificateur, voir la méthode
writeIn.
- Parameters:
- in - le flot dans lequel on veut lire
- Throws: EOFException
- si on veut lire alors qu'on est à la
fin du flux d'entrée
- Throws: IOException
- si on a une erreur de lecture
- Overrides:
- readIn in class PrologString
- See Also:
- writeIn, writeJavaIn, readJavaIn
readJavaIn
public void readJavaIn(DataInputStream in) throws EOFException, IOException
- Lit dans le flot d'entrée le code représentant l'identificateur.
Remarque :
Les méthodes writeIn
et readIn
sont
utilisées pour transférer des données entre le serveur Java
et Prolog alors que les méthodes writeJavaIn
et
readJavaIn
sont utilisées pour transférer des
données entre le serveur Java et un autre programme Java.
- Parameters:
- in - le flot dans lequel on veut lire
- Throws: EOFException
- si on veut lire alors qu'on est à la
fin du flux d'entrée
- Throws: IOException
- si on a une erreur de lecture
- Overrides:
- readJavaIn in class PrologString
- See Also:
- writeIn, writeJavaIn, readIn
All Packages Class Hierarchy This Package Previous Next Index