jif.extension
Class JifSourceFileExt
java.lang.Object
polyglot.ast.Ext_c
jif.ast.Jif_c
jif.extension.JifSourceFileExt
- All Implemented Interfaces:
- java.lang.Cloneable, Jif, polyglot.ast.Ext, polyglot.util.Copy
public class JifSourceFileExt
- extends Jif_c
The root of all kinds of Jif extensions for statements.
It provides a generic labelCheck method, which
will invoke the labelCheckStmt
methods provided
by the subclasses of this class.
Fields inherited from class polyglot.ast.Ext_c |
ext, node |
Method Summary |
polyglot.ast.Node |
labelCheck(LabelChecker lc)
Label check the node to which this extension is attached. |
Methods inherited from class jif.ast.Jif_c |
checkAndRemoveThrowType, checkThrowTypes, copy, getPathMap, init, integerBoundsCalculated, toJava, toJava, updatePathMap, X, X |
Methods inherited from class polyglot.ast.Ext_c |
dump, ext, ext, node, toString |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Methods inherited from interface polyglot.ast.Ext |
dump, ext, ext, node |
JifSourceFileExt
public JifSourceFileExt(ToJavaExt toJava)
labelCheck
public polyglot.ast.Node labelCheck(LabelChecker lc)
throws polyglot.types.SemanticException
- Description copied from interface:
Jif
- Label check the node to which this extension is attached.
- Specified by:
labelCheck
in interface Jif
- Overrides:
labelCheck
in class Jif_c
- Throws:
polyglot.types.SemanticException