fabric.extension

Class StoreInstantiator

java.lang.Object

JifInstantiator

fabric.extension.StoreInstantiator

public class StoreInstantiator
extends JifInstantiator

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected static class	StoreInstantiator.StoreAccessPathInstantiator Replaces srcRoot with trgPath in dynamic labels and principals

Field Summary

Fields

Modifier and Type	Field and Description
protected AccessPath	storePath

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	StoreInstantiator(ReferenceType receiverType, Label receiverLbl, AccessPath receiverPath, java.util.List<ArgLabel> formalArgLabels, java.util.List<? extends Type> formalArgTypes, java.util.List<? extends Label> actualArgLabels, java.util.List<Expr> actualArgExprs, java.util.List<? extends Label> actualParamLabels, JifContext callerContext, AccessPath storePath)

Method Summary

Modifier and Type	Method and Description
static Label	instantiate(Label L, JifContext callerContext, Expr receiverExpr, ReferenceType receiverType, Label receiverLbl, AccessPath storePath)
static Label	instantiate(Label L, JifContext callerContext, Expr receiverExpr, ReferenceType receiverType, Label receiverLbl, AccessPath storePath, java.util.List<ArgLabel> formalArgLabels, java.util.List<? extends Type> formalArgTypes, java.util.List<? extends Label> actualArgLabels, java.util.List<Expr> actualArgExprs, java.util.List<? extends Label> actualParamLabels)
static Label	instantiate(Label L, JifContext callerContext, Expr receiverExpr, ReferenceType receiverType, Label receiverLabel, java.util.List<ArgLabel> formalArgLabels, java.util.List<? extends Type> formalArgTypes, java.util.List<Label> actualArgLabels, java.util.List<Expr> actualArgExprs, java.util.List<Label> actualParamLabels, AccessPath storeap)
static Principal	instantiate(Principal P, JifContext callerContext, Expr receiverExpr, ReferenceType receiverType, Label receiverLabel, java.util.List<ArgLabel> formalArgLabels, java.util.List<? extends Type> formalArgTypes, java.util.List<Label> actualArgLabels, java.util.List<Expr> actualArgExprs, java.util.List<Label> actualParamLabels, AccessPath storeap)
static Type	instantiate(Type t, JifContext callerContext, Expr receiverExpr, ReferenceType receiverType, Label receiverLabel, java.util.List<ArgLabel> formalArgLabels, java.util.List<? extends Type> formalArgTypes, java.util.List<Label> actualArgLabels, java.util.List<Expr> actualArgExprs, java.util.List<Label> actualParamLabels, AccessPath storeap)
protected java.lang.Object	instantiateImpl(java.lang.Object L, Position pos)

Methods inherited from class java.lang.Object

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

Field Detail

storePath

protected AccessPath storePath

Constructor Detail

StoreInstantiator

protected StoreInstantiator(ReferenceType receiverType,
                            Label receiverLbl,
                            AccessPath receiverPath,
                            java.util.List<ArgLabel> formalArgLabels,
                            java.util.List<? extends Type> formalArgTypes,
                            java.util.List<? extends Label> actualArgLabels,
                            java.util.List<Expr> actualArgExprs,
                            java.util.List<? extends Label> actualParamLabels,
                            JifContext callerContext,
                            AccessPath storePath)

Method Detail

instantiate

public static Label instantiate(Label L,
                                JifContext callerContext,
                                Expr receiverExpr,
                                ReferenceType receiverType,
                                Label receiverLbl,
                                AccessPath storePath)
                         throws SemanticException

Throws:

SemanticException

instantiate

public static Label instantiate(Label L,
                                JifContext callerContext,
                                Expr receiverExpr,
                                ReferenceType receiverType,
                                Label receiverLbl,
                                AccessPath storePath,
                                java.util.List<ArgLabel> formalArgLabels,
                                java.util.List<? extends Type> formalArgTypes,
                                java.util.List<? extends Label> actualArgLabels,
                                java.util.List<Expr> actualArgExprs,
                                java.util.List<? extends Label> actualParamLabels)
                         throws SemanticException

Throws:

SemanticException

instantiateImpl

protected java.lang.Object instantiateImpl(java.lang.Object L,
                                           Position pos)

instantiate

public static Label instantiate(Label L,
                                JifContext callerContext,
                                Expr receiverExpr,
                                ReferenceType receiverType,
                                Label receiverLabel,
                                java.util.List<ArgLabel> formalArgLabels,
                                java.util.List<? extends Type> formalArgTypes,
                                java.util.List<Label> actualArgLabels,
                                java.util.List<Expr> actualArgExprs,
                                java.util.List<Label> actualParamLabels,
                                AccessPath storeap)
                         throws SemanticException

Throws:

SemanticException

instantiate

public static Principal instantiate(Principal P,
                                    JifContext callerContext,
                                    Expr receiverExpr,
                                    ReferenceType receiverType,
                                    Label receiverLabel,
                                    java.util.List<ArgLabel> formalArgLabels,
                                    java.util.List<? extends Type> formalArgTypes,
                                    java.util.List<Label> actualArgLabels,
                                    java.util.List<Expr> actualArgExprs,
                                    java.util.List<Label> actualParamLabels,
                                    AccessPath storeap)
                             throws SemanticException

Throws:

SemanticException

instantiate

public static Type instantiate(Type t,
                               JifContext callerContext,
                               Expr receiverExpr,
                               ReferenceType receiverType,
                               Label receiverLabel,
                               java.util.List<ArgLabel> formalArgLabels,
                               java.util.List<? extends Type> formalArgTypes,
                               java.util.List<Label> actualArgLabels,
                               java.util.List<Expr> actualArgExprs,
                               java.util.List<Label> actualParamLabels,
                               AccessPath storeap)
                        throws SemanticException

Throws:

SemanticException