fabric.translate
Class FabricPairLabelToFabilExpr_c

java.lang.Object
  PairLabelToJavaExpr_c
      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