|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object jif.types.TypeSubstitutor jif.extension.JifFieldDeclExt_c.InvarianceLabelSubstr
protected static class JifFieldDeclExt_c.InvarianceLabelSubstr
Visitor to ensure that labels do not use covariant labels in the wrong places
Constructor Summary | |
---|---|
JifFieldDeclExt_c.InvarianceLabelSubstr(polyglot.util.Position pos)
|
Method Summary | |
---|---|
protected boolean |
recurseIntoArrayType(polyglot.types.ArrayType type)
|
protected boolean |
recurseIntoSubstType(JifSubstType type)
|
Methods inherited from class jif.types.TypeSubstitutor |
---|
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 JifFieldDeclExt_c.InvarianceLabelSubstr(polyglot.util.Position pos)
Method Detail |
---|
protected boolean recurseIntoSubstType(JifSubstType type)
recurseIntoSubstType
in class TypeSubstitutor
protected boolean recurseIntoArrayType(polyglot.types.ArrayType type)
recurseIntoArrayType
in class TypeSubstitutor
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |