fabric.translate

Class FabricPairLabelToFabilExpr_c

java.lang.Object

PairLabelToJavaExpr_c

fabric.translate.FabricPairLabelToFabilExpr_c

public class FabricPairLabelToFabilExpr_c
extends PairLabelToJavaExpr_c

Constructor Summary

Constructors

Constructor and Description
FabricPairLabelToFabilExpr_c()

Method Summary

Modifier and Type	Method and Description
protected boolean	containsProjection(Policy p)
Expr	policyToJava(Policy p, JifToJavaRewriter rw, Expr thisQualifier, boolean simplify)
Expr	toJava(Label label, JifToJavaRewriter rw, Expr thisQualifier, boolean simplify)

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,
                   Expr thisQualifier,
                   boolean simplify)
            throws SemanticException

Throws:

SemanticException

containsProjection

protected boolean containsProjection(Policy p)

policyToJava

public Expr policyToJava(Policy p,
                         JifToJavaRewriter rw,
                         Expr thisQualifier,
                         boolean simplify)
                  throws SemanticException

Throws:

SemanticException