fabric.visit

Class FabricToFabilRewriter

java.lang.Object

JifToJavaRewriter

fabric.visit.FabricToFabilRewriter

public class FabricToFabilRewriter
extends JifToJavaRewriter

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	LABEL_INITIALIZER_METHOD_NAME
protected java.util.List<java.lang.String>	objectFragments A list of field names corresponding to object fragments that need to be initialized by the Jif initializer before initializing other fields.
static java.lang.String	PARTITION_INITIALIZER_METHOD_NAME
protected Expr	staticThisExpr An expression used to instantiate the 'this' principal in static contexts

Constructor Summary

Constructors

Constructor and Description
FabricToFabilRewriter(Job job, FabricTypeSystem fab_ts, FabricNodeFactory fab_nf, ExtensionInfo fabil_ext)

Method Summary

Modifier and Type	Method and Description
void	addInitializer(FieldInstance fi, Expr init)
void	addObjectFragment(java.lang.String fragmentName)
void	clearStaticThisExpr() Clear "this" principal expression.
Source	createDerivedSource(CodebaseSource src, java.lang.String newName)
Expr	currentLocation()
boolean	fabIsPublished()
java.util.List<java.lang.String>	getObjectFragments()
boolean	inSignatureMode()
void	leavingClass()
Node	leavingSourceFile(SourceFile n)
FabricToFabilRewriter	pushLocation(Expr location)
java.lang.String	runtimeLabelUtil()
java.lang.String	runtimePrincipalUtil() The full class path of the runtime principal utility.
void	setStaticThisExpr(Expr e) Provide an expression to instantiate "this" principals with in static contexts.
Expr	staticThisExpr()
TypeNode	typeToJava(Type t, Position pos)

Methods inherited from class java.lang.Object

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

Field Detail

LABEL_INITIALIZER_METHOD_NAME

public static final java.lang.String LABEL_INITIALIZER_METHOD_NAME

See Also:

Constant Field Values

PARTITION_INITIALIZER_METHOD_NAME

public static final java.lang.String PARTITION_INITIALIZER_METHOD_NAME

See Also:

Constant Field Values

objectFragments

protected java.util.List<java.lang.String> objectFragments

A list of field names corresponding to object fragments that need to be initialized by the Jif initializer before initializing other fields.

staticThisExpr

protected Expr staticThisExpr

An expression used to instantiate the 'this' principal in static contexts

Constructor Detail

FabricToFabilRewriter

public FabricToFabilRewriter(Job job,
                             FabricTypeSystem fab_ts,
                             FabricNodeFactory fab_nf,
                             ExtensionInfo fabil_ext)

Method Detail

createDerivedSource

public Source createDerivedSource(CodebaseSource src,
                                  java.lang.String newName)

fabIsPublished

public boolean fabIsPublished()

pushLocation

public FabricToFabilRewriter pushLocation(Expr location)

currentLocation

public Expr currentLocation()

runtimePrincipalUtil

public java.lang.String runtimePrincipalUtil()

The full class path of the runtime principal utility.

runtimeLabelUtil

public java.lang.String runtimeLabelUtil()

typeToJava

public TypeNode typeToJava(Type t,
                           Position pos)
                    throws SemanticException

Throws:

SemanticException

inSignatureMode

public boolean inSignatureMode()

leavingSourceFile

public Node leavingSourceFile(SourceFile n)

leavingClass

public void leavingClass()

addInitializer

public void addInitializer(FieldInstance fi,
                           Expr init)
                    throws SemanticException

Throws:

SemanticException

setStaticThisExpr

public void setStaticThisExpr(Expr e)

Provide an expression to instantiate "this" principals with in static contexts. This is primarily used to replace occurences of "this" in translated label expressions in the body of compiler-generated instanceof methods.

clearStaticThisExpr

public void clearStaticThisExpr()

Clear "this" principal expression.

staticThisExpr

public Expr staticThisExpr()

addObjectFragment

public void addObjectFragment(java.lang.String fragmentName)

getObjectFragments

public java.util.List<java.lang.String> getObjectFragments()

Returns:

a list of field names corresponding to object fragments that need to be initialized by the Jif initializer before initializing other fields.