fabric.translate
Class FabricPairLabelToFabilExpr_c

java.lang.Object
  extended by PairLabelToJavaExpr_c
      extended by fabric.translate.FabricPairLabelToFabilExpr_c

public class FabricPairLabelToFabilExpr_c
extends PairLabelToJavaExpr_c


Constructor Summary
FabricPairLabelToFabilExpr_c()
           
 
Method Summary
protected  boolean containsProjection(Policy p)
           
 Expr policyToJava(Policy p, JifToJavaRewriter rw)
           
 Expr toJava(Label label, JifToJavaRewriter rw)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

FabricPairLabelToFabilExpr_c

public FabricPairLabelToFabilExpr_c()
Method Detail

toJava

public Expr toJava(Label label,
                   JifToJavaRewriter rw)
            throws SemanticException
Throws:
SemanticException

containsProjection

protected boolean containsProjection(Policy p)

policyToJava

public Expr policyToJava(Policy p,
                         JifToJavaRewriter rw)
                  throws SemanticException
Throws:
SemanticException