jif.extension

Class JifFieldDeclExt_c.StaticFieldLabelChecker

java.lang.Object

jif.types.LabelSubstitution

jif.extension.JifFieldDeclExt_c.StaticFieldLabelChecker

Enclosing class:

JifFieldDeclExt_c

protected static class JifFieldDeclExt_c.StaticFieldLabelChecker
extends LabelSubstitution

Checker to ensure that labels of static fields do not use the This label, or any parameters

Method Summary

Modifier and Type	Method and Description
Label	substLabel(Label L)
Principal	substPrincipal(Principal p)

Methods inherited from class jif.types.LabelSubstitution

popLabel, pushLabel, recurseIntoChildren, stackContains, substAccessPath, substPolicy

Methods inherited from class java.lang.Object

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

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