fabric.ast

Class AbortStmt_c

java.lang.Object

Branch_c

fabric.ast.AbortStmt_c

All Implemented Interfaces:

AbortStmt, FabricBranch

Deprecated.

@Deprecated
public class AbortStmt_c
extends Branch_c
implements AbortStmt

Field Summary

Fields inherited from interface fabric.ast.FabricBranch

ABORT, RETRY

Constructor Summary

Constructors

Constructor and Description
AbortStmt_c(Position pos) Deprecated.
AbortStmt_c(Position pos, Ext ext) Deprecated.

Method Summary

Modifier and Type	Method and Description
<T> java.util.List<T>	acceptCFG(<any> v, java.util.List<T> succs) Deprecated.
Term	firstChild() Deprecated.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AbortStmt_c

@Deprecated
public AbortStmt_c(Position pos)

Deprecated.

AbortStmt_c

public AbortStmt_c(Position pos,
                   Ext ext)

Deprecated.

Method Detail

acceptCFG

public <T> java.util.List<T> acceptCFG(<any> v,
                                       java.util.List<T> succs)

Deprecated.

firstChild

public Term firstChild()

Deprecated.