jif.types
Class JifSubst_c.SubstLabelSubst

java.lang.Object
  jif.types.LabelSubstitution
      jif.types.JifSubst_c.SubstLabelSubst

All Implemented Interfaces:

java.io.Serializable

Enclosing class:

JifSubst_c

protected class JifSubst_c.SubstLabelSubst

extends LabelSubstitution

implements java.io.Serializable

This class is a LabelSubstitution that performs substitutions on Labels and Principals.

See Also:

Serialized Form

Constructor Summary

protected

JifSubst_c.SubstLabelSubst()

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

JifSubst_c.SubstLabelSubst

protected JifSubst_c.SubstLabelSubst()

Method Detail

substLabel

public Label substLabel(Label L)
                 throws polyglot.types.SemanticException

Overrides:

substLabel in class LabelSubstitution

Throws:

polyglot.types.SemanticException

substPrincipal

public Principal substPrincipal(Principal p)
                         throws polyglot.types.SemanticException

Overrides:

substPrincipal in class LabelSubstitution

Throws:

polyglot.types.SemanticException