fabric.extension

Class FabricCallHelper

java.lang.Object

CallHelper

fabric.extension.FabricCallHelper

public class FabricCallHelper
extends CallHelper

Constructor Summary

Constructors

Modifier	Constructor and Description
	FabricCallHelper(Label receiverLabel, Receiver receiver, ReferenceType calleeContainer, JifProcedureInstance pi, java.util.List<Expr> actualArgs, Position position)
protected	FabricCallHelper(Label receiverLabel, Receiver receiver, ReferenceType calleeContainer, JifProcedureInstance pi, java.util.List<Expr> actualArgs, Position position, boolean overrideChecker)

Method Summary

Modifier and Type	Method and Description
Label	instantiate(JifContext A, Label L)
Principal	instantiate(JifContext A, Principal p)
Type	instantiate(JifContext A, Type t)

Methods inherited from class java.lang.Object

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

Constructor Detail

FabricCallHelper

public FabricCallHelper(Label receiverLabel,
                        Receiver receiver,
                        ReferenceType calleeContainer,
                        JifProcedureInstance pi,
                        java.util.List<Expr> actualArgs,
                        Position position)

Parameters:

receiverLabel -

receiver -

calleeContainer -

pi -

actualArgs -

position -

FabricCallHelper

protected FabricCallHelper(Label receiverLabel,
                           Receiver receiver,
                           ReferenceType calleeContainer,
                           JifProcedureInstance pi,
                           java.util.List<Expr> actualArgs,
                           Position position,
                           boolean overrideChecker)

Method Detail

instantiate

public Label instantiate(JifContext A,
                         Label L)
                  throws SemanticException

Throws:

SemanticException

instantiate

public Principal instantiate(JifContext A,
                             Principal p)
                      throws SemanticException

Throws:

SemanticException

instantiate

public Type instantiate(JifContext A,
                        Type t)
                 throws SemanticException

Throws:

SemanticException