jif.extension
Class JifFieldDeclExt_c.InvarianceLabelChecker

java.lang.Object
  jif.types.LabelSubstitution
      jif.extension.JifFieldDeclExt_c.InvarianceLabelChecker

Enclosing class:

JifFieldDeclExt_c

protected static class JifFieldDeclExt_c.InvarianceLabelChecker

extends LabelSubstitution

Checker to ensure that labels do not use covariant labels

Method Summary

boolean	recurseIntoLabelOf() We do not want to check the labelOf components of fields.
Label	substLabel(Label L)

Methods inherited from class jif.types.LabelSubstitution

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.

Overrides:

recurseIntoLabelOf in class LabelSubstitution