se.chalmers.cs.gf.transfer
Class ApplyTransfer

java.lang.Object
  extended by se.chalmers.cs.gf.transfer.ApplyTransfer

public class ApplyTransfer
extends java.lang.Object


Constructor Summary
ApplyTransfer()
           
 
Method Summary
static Tree applyTransfer(se.chalmers.cs.gf.Core.Absyn.Exp transfer, Tree tree, Env env)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ApplyTransfer

public ApplyTransfer()
Method Detail

applyTransfer

public static Tree applyTransfer(se.chalmers.cs.gf.Core.Absyn.Exp transfer,
                                 Tree tree,
                                 Env env)