public class JifFieldDeclExt_c extends JifExt_c implements JifFieldDeclExt
FieldDecl
node.FieldDecl
,
Serialized FormModifier and Type | Class and Description |
---|---|
protected static class |
JifFieldDeclExt_c.InvarianceLabelChecker
Checker to ensure that labels do not use
covariant labels in the wrong places
|
protected static class |
JifFieldDeclExt_c.InvarianceLabelSubstr
Visitor to ensure that labels do not use
covariant labels in the wrong places
|
protected static class |
JifFieldDeclExt_c.StaticFieldLabelChecker
Checker to ensure that labels of static fields do not use
the This label, or any parameters
|
Constructor and Description |
---|
JifFieldDeclExt_c(ToJavaExt toJava) |
Modifier and Type | Method and Description |
---|---|
polyglot.ast.Node |
labelCheck(LabelChecker lc)
Label check field initializers.
|
void |
labelCheckField(LabelChecker lc,
JifClassType ct)
Extracts the declared label of this field.
|
checkAndRemoveThrowType, checkThrowTypes, copy, dump, getPathMap, init, integerBoundsCalculated, toJava, toJava, updatePathMap, X, X
addDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, ext, ext, extRewrite, extRewriteEnter, extRewriteOverride, initPred, lang, node, pred, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, print, printBlock, printSubStmt, superLang, throwTypes, toString, translate, typeCheck, typeCheckEnter, typeCheckOverride, visitChild, visitChildren, visitList
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
addDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, extRewrite, extRewriteEnter, extRewriteOverride, lang, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, throwTypes, translate, typeCheck, typeCheckEnter, typeCheckOverride, visitChild, visitChildren, visitList
public JifFieldDeclExt_c(ToJavaExt toJava)
public void labelCheckField(LabelChecker lc, JifClassType ct) throws polyglot.types.SemanticException
labelCheckField
in interface JifFieldDeclExt
polyglot.types.SemanticException
public polyglot.ast.Node labelCheck(LabelChecker lc) throws polyglot.types.SemanticException
labelCheck
in interface JifExt
labelCheck
in class JifExt_c
polyglot.types.SemanticException