fabric.visit
Class FabricToFabilRewriter
java.lang.Object
JifToJavaRewriter
fabric.visit.FabricToFabilRewriter
public class FabricToFabilRewriter
- extends JifToJavaRewriter
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
principalExpected
protected boolean principalExpected
FabricToFabilRewriter
public FabricToFabilRewriter(Job job,
FabricTypeSystem fab_ts,
FabricNodeFactory fab_nf,
ExtensionInfo fabil_ext)
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