fabil.visit
Class AtomicRewriter

java.lang.Object
  extended by NodeVisitor
      extended by fabil.visit.AtomicRewriter

public class AtomicRewriter
extends NodeVisitor

Rewrites the atomic construct.


Field Summary
protected  NodeFactory nf
           
protected  QQ qq
           
protected  Receiver tm
           
protected  FabILTypeSystem ts
           
 
Constructor Summary
AtomicRewriter(ExtensionInfo extInfo)
           
 
Method Summary
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)