fabil.ast

Class AbortStmt_c

java.lang.Object

Stmt_c

fabil.ast.AbortStmt_c

All Implemented Interfaces:

AbortStmt

Deprecated.

@Deprecated
public class AbortStmt_c
extends Stmt_c
implements AbortStmt

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.
void	prettyPrint(CodeWriter w, PrettyPrinter tr) Deprecated.
java.lang.String	toString() Deprecated.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, 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.

prettyPrint

public void prettyPrint(CodeWriter w,
                        PrettyPrinter tr)

Deprecated.

toString

public java.lang.String toString()

Deprecated.