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

Constructor Index

 o PrologIdent()
Construit un identificateur vide de numéro -2.
 o PrologIdent(PrologIdent)
Construit un identificateur à partir d'un autre identificateur Prolog.
 o PrologIdent(String)
Construit un identificateur dont l'étiquette est donnée.

Method Index

 o clone()
Retourne l'objet représentant l'identificateur Prolog.
 o getID()
Retourne le numéro qui identifie l'identificateur Prolog.
 o isList()
Teste si ce terme est une liste ou pas.
 o readIn(DataInputStream)
Lit dans le flot d'entrée le code représentant l'identificateur.
 o readJavaIn(DataInputStream)
Lit dans le flot d'entrée le code représentant l'identificateur.
 o toString()
Retourne la représentation du terme PrologIdent sous forme de chaîne.
 o whatIs()
Retourne le caractère représentant le type identificateur.
 o writeIn(DataOutputStream)
Ecrit dans le flot de sortie le code représentant l'identificateur.
 o writeJavaIn(DataOutputStream)
Ecrit dans le flot de sortie le code représentant l'identificateur.

Constructors

 o PrologIdent
 public PrologIdent()
Construit un identificateur vide de numéro -2. Il ne doit jamais être envoyé à Prolog sous cette forme.

 o PrologIdent
 public PrologIdent(String theString)
Construit un identificateur dont l'étiquette est donnée.

Parameters:
theString - la valeur de l'étiquette
 o PrologIdent
 public PrologIdent(PrologIdent theIdent)
Construit un identificateur à partir d'un autre identificateur Prolog.

Parameters:
theIdent - l'identificateur Prolog

Methods

 o getID
 public int getID()
Retourne le numéro qui identifie l'identificateur Prolog.

Returns:
le numéro qui identifie l'identificateur Prolog
 o 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
 o 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
 o 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
 o 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
 o 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
 o 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
 o 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
 o 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