jif.types
Class ArgLabelSubstitution

java.lang.Object
  jif.types.LabelSubstitution
      jif.types.ArgLabelSubstitution

public class ArgLabelSubstitution

extends LabelSubstitution

This class is used to substitute arbitrary labels for ArgLabels, DynamicArgLabels and ArgPrincipals.

Constructor Summary

ArgLabelSubstitution(java.util.List argLabels, boolean replaceSignatureOnly)

ArgLabelSubstitution(java.util.List argLabels, java.util.List dynamicArgs, boolean replaceSignatureOnly)

Method Summary

Label	substLabel(Label L)
Principal	substPrincipal(Principal p)

Methods inherited from class jif.types.LabelSubstitution

recurseIntoLabelOf

Methods inherited from class java.lang.Object

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

Constructor Detail

ArgLabelSubstitution

public ArgLabelSubstitution(java.util.List argLabels,
                            boolean replaceSignatureOnly)

Parameters:

argLabels - The labels to replace the ArgLabels with.

replaceSignatureOnly - Should only arguments with isSignature() returning true be replaced?

ArgLabelSubstitution

public ArgLabelSubstitution(java.util.List argLabels,
                            java.util.List dynamicArgs,
                            boolean replaceSignatureOnly)

Parameters:

argLabels - The labels to replace the ArgLabels with.

dynamicArgs - The labels/principals to replace the ArgPrincipals and DynamicArgLabels with.

replaceSignatureOnly - Should only arguments with isSignature() returning true be replaced?

Method Detail

substLabel

public Label substLabel(Label L)

Overrides:

substLabel in class LabelSubstitution

substPrincipal

public Principal substPrincipal(Principal p)

Overrides:

substPrincipal in class LabelSubstitution