jif.extension

Class JifMethodDeclExt.CovariantLabelChecker

java.lang.Object

jif.types.LabelSubstitution

jif.extension.JifMethodDeclExt.CovariantLabelChecker

Enclosing class:

JifMethodDeclExt

protected static class JifMethodDeclExt.CovariantLabelChecker
extends LabelSubstitution

Checker to ensure that no covariant label occurs in the label

Method Summary

Modifier and Type	Method and Description
boolean	recurseIntoLabelOf() We do not want to check the labelOf components of fields.
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

recurseIntoLabelOf

public boolean recurseIntoLabelOf()

We do not want to check the labelOf components of fields.