Tabla de contenido
ABORT
2: Referencia de Lenguaje Spin –
ABORT
Instrucción: Sale de un método
PUB
PRI
/
abortando con un Valor opcional de regreso.
((PUB
PRI))
ABORT
Valor
Regresa: Ya sea en
RESULT
actual, o Valor si se proporciona.
Valor
PUB
PRI
es una expresión opcional y se regresa cuando se aborta un método
o
.
Explicación
ABORT
ABORT
RETURN
es una de dos instrucciones (
y
) que termina la ejecución de un método
PUB
PRI
o
.
ABORT
PUB
PRI
causa un regreso de un método
o
a través del estado de aborto; significa que la
llamada de pila es "jalada" repetidamente hasta que la pila esta vacía o alcanza una llamada
\
con una trampa de abortar (
) y entrega un valor en el proceso.
ABORT
es útil para casos donde un método necesita terminar e indicar un estado anormal o
elevado al llamador o un llamador previo. Por ejemplo una aplicación puede ser cuando esta
envuelta en una cadena complicada de eventos donde cualquiera de esos eventos podría llevar
a una subdivisión diferente de la cadena o a una acción de decisión final. Puede ser más
sencillo escribir la aplicación usando métodos pequeños y especiales que se llaman en una
forma anidada, cada uno manejando diferentes eventos en la cadena. Cuando uno de esos
métodos simples determina un curso de acción puede enviar un "abort" que colapsa
completamente la cadena anidada y previene que continúen todos los métodos intermedios.
ABORT
RESULT
Cuando
aparece sin Valor opcional regresa el valor actual de la variable
del
PUB
PRI
PUB
PRI
método
/
. Si se ingreso un Valor entonces cuando se aborta el método
o
regresa ese Valor.
Acerca de la llamada de Pila
Cuando se llaman métodos simplemente para referenciar a ellos desde otros métodos, debe
existir un mecanismo para almacenar el lugar a donde regresar una vez que el método se
completa. El mecanismo se llama pila pero aquí usaremos el termino "llamada de pila". Es
simplemente memoria RAM usada para almacenar la dirección de regreso, valores de
regreso, parámetros y resultados intermedios. Mientras mas y mas métodos se llamen la
llamada de pila lógicamente crecerá. Mientras mas y mas métodos regresen de (a través de
Tabla de contenido
