AF
Class Arco

java.lang.Object
  extended by AF.Arco

public class Arco
extends java.lang.Object

Clase para la implementacion interna de los arcos o transiciones de un automata. Se implementa mediante una serie de atributos que almacenan el estado origen, estado destino y terminal de entrada asociado del arco. Estos atributos se describen pormenorizadamente mas abajo.

Version:
Revision 1.2.0, 16/03/09
Author:
Jesus Vilares ( jvilares@udc.es)

Field Summary
protected  Estado qi
          Estado origen del arco/transicion.
protected  Estado qj
          Estado destino del arco/transicion.
protected  Terminal t
          Terminal de entrada del arco/transicion.
 
Constructor Summary
Arco(Estado qi, Estado qj, Terminal t)
           
Arco(java.lang.String s)
           
 
Method Summary
 boolean equals(java.lang.Object a)
           
 Estado get_qdestino()
          Devuelve el estado destino del arco/transicion
 Estado get_qorigen()
          Devuelve el estado origen del arco/transicion
 Terminal get_terminal()
          Devuelve el terminal de entrada asociado al Arco
 int hashCode()
           
 boolean isSource(Estado q)
          Determina si el arco sale de un estado dado
 boolean isTarget(Estado q)
          Determina si el arco entra en un estado dado
 java.lang.String toString()
          Devuelve la especificacion del arco/transicion en formato string (vease tambien AFabstracto):

estado_origen estado_destino terminal_de_entrada

 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

qi

protected Estado qi
Estado origen del arco/transicion. Se implementa mediante un objeto de tipo Estado.


qj

protected Estado qj
Estado destino del arco/transicion. Se implementa mediante un objeto de tipo Estado.


t

protected Terminal t
Terminal de entrada del arco/transicion. Se implementa mediante un objeto de tipo Terminal.

Constructor Detail

Arco

public Arco(Estado qi,
            Estado qj,
            Terminal t)
     throws AF_Exception
Parameters:
qi - Estado origen del arco/transicion
qj - Estado destino del arco/transicion
t - Terminal de entrada del arco/transicion
Throws:
AF_Exception

Arco

public Arco(java.lang.String s)
     throws AF_Exception,
            G_Exception
Parameters:
s - Especificacion como cadena del arco/transicion en formato string (vease tambien AFabstracto):

estado_origen estado_destino terminal_de_entrada

Throws:
AF_Exception
G_Exception
Method Detail

get_qorigen

public Estado get_qorigen()
Devuelve el estado origen del arco/transicion

Returns:
Estado origen del arco/transicion

get_qdestino

public Estado get_qdestino()
Devuelve el estado destino del arco/transicion

Returns:
Estado destino del arco/transicion

get_terminal

public Terminal get_terminal()
Devuelve el terminal de entrada asociado al Arco

Returns:
Terminal de entrada asociado

equals

public boolean equals(java.lang.Object a)
Overrides:
equals in class java.lang.Object

hashCode

public int hashCode()
Overrides:
hashCode in class java.lang.Object

toString

public java.lang.String toString()
Devuelve la especificacion del arco/transicion en formato string (vease tambien AFabstracto):

estado_origen estado_destino terminal_de_entrada

Overrides:
toString in class java.lang.Object
Throws:
AF_Exception

isSource

public boolean isSource(Estado q)
Determina si el arco sale de un estado dado

Parameters:
q - Estado a comprobar
Returns:
true/false segun salga o no de dicho estado

isTarget

public boolean isTarget(Estado q)
Determina si el arco entra en un estado dado

Parameters:
q - Estado a comprobar
Returns:
true/false segun entre o no de dicho estado