jif.extension

Class JifTypeNodeDel.StaticLabelChecker

java.lang.Object

jif.types.LabelSubstitution

jif.extension.JifTypeNodeDel.StaticLabelChecker

Enclosing class:

JifTypeNodeDel

protected static class JifTypeNodeDel.StaticLabelChecker
extends LabelSubstitution

Checker to ensure that labels in a static context do not use the This label

Method Summary

Modifier and Type	Method and Description
Label	substLabel(Label L)

Methods inherited from class jif.types.LabelSubstitution

popLabel, pushLabel, recurseIntoChildren, stackContains, substAccessPath, substPolicy, substPrincipal

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