AF
Class Arco

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