fabil.visit
Class AtomicRewriter
java.lang.Object
NodeVisitor
fabil.visit.AtomicRewriter
public class AtomicRewriter
- extends NodeVisitor
Rewrites the atomic
construct.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
qq
protected QQ qq
nf
protected NodeFactory nf
ts
protected FabILTypeSystem ts
tm
protected Receiver tm
AtomicRewriter
public AtomicRewriter(ExtensionInfo extInfo)
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)