fabil.visit

Class AtomicRewriter

java.lang.Object

NodeVisitor

fabil.visit.AtomicRewriter

public class AtomicRewriter
extends NodeVisitor

Rewrites the atomic construct.

Field Summary

Fields

Modifier and Type	Field and Description
protected NodeFactory	nf
protected QQ	qq
protected Receiver	tm
protected FabILTypeSystem	ts

Constructor Summary

Constructors

Constructor and Description
AtomicRewriter(ExtensionInfo extInfo)

Method Summary

Modifier and Type	Method and Description
protected FabILExt	ext(Node n)
Expr	getDefaultValue(Type t)
Node	leave(Node old, Node n, NodeVisitor v)
NodeFactory	nodeFactory()
QQ	qq()
Receiver	transactionManager()
FabILTypeSystem	typeSystem()

Methods inherited from class java.lang.Object

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

Field Detail

qq

protected QQ qq

nf

protected NodeFactory nf

ts

protected FabILTypeSystem ts

tm

protected Receiver tm

Constructor Detail

AtomicRewriter

public AtomicRewriter(ExtensionInfo extInfo)

Method Detail

ext

protected FabILExt ext(Node n)

leave

public Node leave(Node old,
                  Node n,
                  NodeVisitor v)

qq

public QQ qq()

Returns:

the qq

nodeFactory

public NodeFactory nodeFactory()

typeSystem

public FabILTypeSystem typeSystem()

transactionManager

public Receiver transactionManager()

getDefaultValue

public Expr getDefaultValue(Type t)