fabric.translate

Class ClassDeclToFabilExt_c

java.lang.Object

ClassDeclToJavaExt_c

fabric.translate.ClassDeclToFabilExt_c

public class ClassDeclToFabilExt_c
extends ClassDeclToJavaExt_c

Constructor Summary

Constructors

Constructor and Description
ClassDeclToFabilExt_c()

Method Summary

Modifier and Type	Method and Description
protected ClassBody	addInitializer(ClassBody cb, JifToJavaRewriter rw)
protected ClassBody	addLabelInitializer(ClassBody cb, JifToJavaRewriter rw) Create a method for initializing update and access labels
protected ClassBody	addPartitionInitializer(ClassBody cb, JifToJavaRewriter rw)
static java.lang.String	jifConstructorTranslatedName(ClassType ct)
protected ClassMember	produceInstanceOfMethod(JifPolyType jpt, JifToJavaRewriter rw, boolean useGetters)
protected Formal	produceObjectFormal(JifPolyType jpt, JifToJavaRewriter rw)
NodeVisitor	toJavaEnter(JifToJavaRewriter rw)
Node	toJavaImpl(JifToJavaRewriter rw)

Methods inherited from class java.lang.Object

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

Constructor Detail

ClassDeclToFabilExt_c

public ClassDeclToFabilExt_c()

Method Detail

jifConstructorTranslatedName

public static final java.lang.String jifConstructorTranslatedName(ClassType ct)

toJavaEnter

public NodeVisitor toJavaEnter(JifToJavaRewriter rw)
                        throws SemanticException

Throws:

SemanticException

toJavaImpl

public Node toJavaImpl(JifToJavaRewriter rw)
                throws SemanticException

Throws:

SemanticException

produceInstanceOfMethod

protected ClassMember produceInstanceOfMethod(JifPolyType jpt,
                                              JifToJavaRewriter rw,
                                              boolean useGetters)
                                       throws SemanticException

Throws:

SemanticException

produceObjectFormal

protected Formal produceObjectFormal(JifPolyType jpt,
                                     JifToJavaRewriter rw)

addInitializer

protected ClassBody addInitializer(ClassBody cb,
                                   JifToJavaRewriter rw)

addLabelInitializer

protected ClassBody addLabelInitializer(ClassBody cb,
                                        JifToJavaRewriter rw)
                                 throws SemanticException

Create a method for initializing update and access labels

Throws:

SemanticException - if the field or access label cannot be translated

addPartitionInitializer

protected ClassBody addPartitionInitializer(ClassBody cb,
                                            JifToJavaRewriter rw)