jif.ast
Class Jif_c
java.lang.Object
polyglot.ast.Ext_c
jif.ast.Jif_c
- All Implemented Interfaces:
- java.lang.Cloneable, Jif, polyglot.ast.Ext, polyglot.util.Copy
- Direct Known Subclasses:
- JifArrayAccessExt, JifArrayInitExt, JifAssignExt, JifBinaryExt, JifCallExt, JifCastExt, JifClassBodyExt, JifClassDeclExt, JifConditionalExt, JifDowngradeExprExt, JifFieldDeclExt_c, JifFieldExt, JifFormalExt, JifInitializerExt, JifInstanceofExt, JifLabelExprExt, JifLiteralExt, JifLocalExt, JifNewArrayExt, JifNewExt, JifPrincipalExprExt, JifPrincipalNodeExt, JifProcedureDeclExt_c, JifSourceFileExt, JifSpecialExt, JifStmtExt_c, JifUnaryExt
public class Jif_c
- extends polyglot.ast.Ext_c
- implements Jif
An implementation of the Jif
interface.
Fields inherited from class polyglot.ast.Ext_c |
ext, node |
Method Summary |
static void |
checkAndRemoveThrowType(java.util.List throwTypes,
polyglot.types.Type excType)
Check that the type excType is indeed in the list of types thrown,
thowTypes, and remoive excType from that list. |
static void |
checkThrowTypes(java.util.List throwTypes)
Check that the list of types thrown,
thowTypes, does not contain any checked exceptions, i.e., all throw
types have been correctly label checked. |
java.lang.Object |
copy()
|
Jif |
del()
|
Jif |
del(Jif del)
|
void |
init(polyglot.ast.Node node)
|
polyglot.ast.Node |
labelCheck(LabelChecker lc)
Label check the node to which this extension is attached. |
ToJavaExt |
toJava()
|
Jif |
toJava(ToJavaExt toJava)
|
PathMap |
X()
Gets the path map of this extension. |
static PathMap |
X(polyglot.ast.Node n)
|
static polyglot.ast.Node |
X(polyglot.ast.Node n,
PathMap X)
|
Jif |
X(PathMap X)
Returns a copy of this object with the path map updated. |
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 |
X
protected PathMap X
del
protected Jif del
toJava
protected ToJavaExt toJava
Jif_c
public Jif_c(ToJavaExt toJava)
Jif_c
public Jif_c(Jif del,
ToJavaExt toJava)
toJava
public ToJavaExt toJava()
- Specified by:
toJava
in interface Jif
init
public void init(polyglot.ast.Node node)
- Specified by:
init
in interface polyglot.ast.Ext
- Overrides:
init
in class polyglot.ast.Ext_c
toJava
public Jif toJava(ToJavaExt toJava)
- Specified by:
toJava
in interface Jif
copy
public java.lang.Object copy()
- Specified by:
copy
in interface polyglot.util.Copy
- Overrides:
copy
in class polyglot.ast.Ext_c
del
public Jif del(Jif del)
- Specified by:
del
in interface Jif
del
public Jif del()
- Specified by:
del
in interface Jif
X
public PathMap X()
- Description copied from interface:
Jif
- Gets the path map of this extension.
- Specified by:
X
in interface Jif
X
public Jif X(PathMap X)
- Description copied from interface:
Jif
- Returns a copy of this object with the path map updated.
- Specified by:
X
in interface Jif
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
- Throws:
polyglot.types.SemanticException
X
public static PathMap X(polyglot.ast.Node n)
X
public static polyglot.ast.Node X(polyglot.ast.Node n,
PathMap X)
checkAndRemoveThrowType
public static void checkAndRemoveThrowType(java.util.List throwTypes,
polyglot.types.Type excType)
- Check that the type excType is indeed in the list of types thrown,
thowTypes, and remoive excType from that list.
- Parameters:
throwTypes
- excType
-
checkThrowTypes
public static void checkThrowTypes(java.util.List throwTypes)
- Check that the list of types thrown,
thowTypes, does not contain any checked exceptions, i.e., all throw
types have been correctly label checked.
- Parameters:
throwTypes
-