fabric.visit
Class FabricToFabilRewriter

java.lang.Object
  extended by JifToJavaRewriter
      extended by fabric.visit.FabricToFabilRewriter

public class FabricToFabilRewriter
extends JifToJavaRewriter


Field Summary
protected  boolean principalExpected
           
 
Constructor Summary
FabricToFabilRewriter(Job job, FabricTypeSystem fab_ts, FabricNodeFactory fab_nf, ExtensionInfo fabil_ext)
           
 
Method Summary
 boolean inSignatureMode()
           
 Expr paramToJava(Param param, Expr locExpr)
           
 java.lang.String runtimeLabelUtil()
           
 TypeNode typeToJava(Type t, Position pos)
           
 Expr updateLabelLocation(Expr labelExpr, Expr locExpr)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

principalExpected

protected boolean principalExpected
Constructor Detail

FabricToFabilRewriter

public FabricToFabilRewriter(Job job,
                             FabricTypeSystem fab_ts,
                             FabricNodeFactory fab_nf,
                             ExtensionInfo fabil_ext)
Method Detail

runtimeLabelUtil

public java.lang.String runtimeLabelUtil()

typeToJava

public TypeNode typeToJava(Type t,
                           Position pos)
                    throws SemanticException
Throws:
SemanticException

inSignatureMode

public boolean inSignatureMode()

updateLabelLocation

public Expr updateLabelLocation(Expr labelExpr,
                                Expr locExpr)

paramToJava

public Expr paramToJava(Param param,
                        Expr locExpr)
                 throws SemanticException
Throws:
SemanticException