jif.extension
Class JifProcedureDeclExt_c.ConstraintVarianceLabelChecker

java.lang.Object
  extended by jif.types.LabelSubstitution
      extended by jif.extension.JifProcedureDeclExt_c.ConstraintVarianceLabelChecker
Enclosing class:
JifProcedureDeclExt_c

protected static class JifProcedureDeclExt_c.ConstraintVarianceLabelChecker
extends LabelSubstitution

Checker to ensure that labels do not use covariant labels in the wrong places


Method Summary
 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