|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object jif.types.TypeSubstitutor jif.extension.JifFormalExt.FormalVarianceLabelSubstr
protected static class JifFormalExt.FormalVarianceLabelSubstr
Visitor to ensure that labels do not use covariant labels in the wrong places
Constructor Summary | |
---|---|
JifFormalExt.FormalVarianceLabelSubstr(polyglot.util.Position pos)
|
Method Summary | |
---|---|
protected boolean |
recurseIntoSubstType(JifSubstType type)
|
Methods inherited from class jif.types.TypeSubstitutor |
---|
recurseIntoArrayType, recurseIntoLabeledType, rewriteAssertion, rewriteLabel, rewritePrincipal, rewriteType |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public JifFormalExt.FormalVarianceLabelSubstr(polyglot.util.Position pos)
Method Detail |
---|
protected boolean recurseIntoSubstType(JifSubstType type)
recurseIntoSubstType
in class TypeSubstitutor
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |