fabric.ast

Class Store_c

java.lang.Object

Expr_c

fabric.ast.Store_c

All Implemented Interfaces:

Store

Deprecated.

@Deprecated
public class Store_c
extends Expr_c
implements Store

Field Summary

Fields

Modifier and Type	Field and Description
protected Expr	expr Deprecated.
protected boolean	isLocal Deprecated.

Constructor Summary

Constructors

Constructor and Description
Store_c(Position pos, Expr expr) Deprecated.
Store_c(Position pos, Expr expr, 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.
Store	copy() Deprecated.
Expr	expr() Deprecated.
Expr	expr(Expr expr) Deprecated.
boolean	exprIsNeverNull() Deprecated.
Term	firstChild() Deprecated.
boolean	isDisambiguated() Deprecated.
boolean	isLocalStore() Deprecated.
protected Expr	isLocalStore(boolean isLocal) Deprecated.
boolean	isTypeChecked() Deprecated.
java.util.List<Type>	throwTypes(TypeSystem ts) Deprecated.
Node	typeCheck(TypeChecker tc) Deprecated. Type check the expression.
Node	visitChildren(NodeVisitor v) Deprecated.

Methods inherited from class java.lang.Object

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

Field Detail

expr

protected Expr expr

Deprecated.

isLocal

protected boolean isLocal

Deprecated.

Constructor Detail

Store_c

@Deprecated
public Store_c(Position pos,
                           Expr expr)

Deprecated.

Store_c

public Store_c(Position pos,
               Expr expr,
               Ext ext)

Deprecated.

Method Detail

copy

public Store copy()

Deprecated.

expr

public Expr expr()

Deprecated.

Specified by:

expr in interface Store

Returns:

expr

public Expr expr(Expr expr)

Deprecated.

Specified by:

expr in interface Store

Returns:

firstChild

public Term firstChild()

Deprecated.

acceptCFG

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

Deprecated.

visitChildren

public Node visitChildren(NodeVisitor v)

Deprecated.

isTypeChecked

public boolean isTypeChecked()

Deprecated.

isDisambiguated

public boolean isDisambiguated()

Deprecated.

typeCheck

public Node typeCheck(TypeChecker tc)
               throws SemanticException

Deprecated.

Type check the expression.

Throws:

SemanticException

throwTypes

public java.util.List<Type> throwTypes(TypeSystem ts)

Deprecated.

exprIsNeverNull

public boolean exprIsNeverNull()

Deprecated.

Specified by:

exprIsNeverNull in interface Store

Returns:

isLocalStore

public boolean isLocalStore()

Deprecated.

Specified by:

isLocalStore in interface Store

Returns:

isLocalStore

protected Expr isLocalStore(boolean isLocal)

Deprecated.