fabric.translate

Class MethodDeclToFabilExt_c

java.lang.Object

MethodDeclToJavaExt_c

fabric.translate.MethodDeclToFabilExt_c

public class MethodDeclToFabilExt_c
extends MethodDeclToJavaExt_c

Constructor Summary

Constructors

Constructor and Description
MethodDeclToFabilExt_c()

Method Summary

Modifier and Type	Method and Description
protected Block	guardWithConstraints(JifToJavaRewriter rw, Block b)
Node	toJava(JifToJavaRewriter rw)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MethodDeclToFabilExt_c

public MethodDeclToFabilExt_c()

Method Detail

toJava

public Node toJava(JifToJavaRewriter rw)
            throws SemanticException

Throws:

SemanticException

guardWithConstraints

protected Block guardWithConstraints(JifToJavaRewriter rw,
                                     Block b)
                              throws SemanticException

Throws:

SemanticException