jif.extension

Class JifFormalDel

java.lang.Object

polyglot.ast.JLDel_c

jif.extension.JifDel_c

jif.extension.JifFormalDel

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, JifDel, polyglot.ast.JLDel, polyglot.ast.NodeOps, polyglot.util.Copy<polyglot.ast.JLDel>

public class JifFormalDel
extends JifDel_c

The Jif extension of the Formal node.

See Also:

Formal, Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from interface polyglot.util.Copy

polyglot.util.Copy.Util

Field Summary

Fields inherited from class jif.extension.JifDel_c

fatalExceptions

Fields inherited from class polyglot.ast.JLDel_c

instance

Constructor Summary

Constructors

Constructor and Description
JifFormalDel()

Method Summary

Modifier and Type	Method and Description
polyglot.ast.Node	buildTypes(polyglot.visit.TypeBuilder tb)
polyglot.ast.Node	disambiguate(polyglot.visit.AmbiguityRemover ar)
boolean	hasExplicitFinalFlag()
boolean	isCatchFormal()
void	setIsCatchFormal(boolean isCatchFormal)
polyglot.ast.Node	typeCheck(polyglot.visit.TypeChecker tc)

Methods inherited from class jif.extension.JifDel_c

fatalExceptions, setFatalExceptions, throwTypes, translate

Methods inherited from class polyglot.ast.JLDel_c

addDecls, buildTypesEnter, checkConstants, childExpectedType, copy, copy, copy, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, extRewrite, extRewriteEnter, extRewriteOverride, init, jl, lang, node, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, typeCheckEnter, typeCheckOverride, visitChild, visitChildren, visitList

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

JifFormalDel

public JifFormalDel()

Method Detail

setIsCatchFormal

public void setIsCatchFormal(boolean isCatchFormal)

isCatchFormal

public boolean isCatchFormal()

hasExplicitFinalFlag

public boolean hasExplicitFinalFlag()

buildTypes

public polyglot.ast.Node buildTypes(polyglot.visit.TypeBuilder tb)
                             throws polyglot.types.SemanticException

Specified by:

buildTypes in interface polyglot.ast.NodeOps

Overrides:

buildTypes in class JifDel_c

Throws:

polyglot.types.SemanticException

disambiguate

public polyglot.ast.Node disambiguate(polyglot.visit.AmbiguityRemover ar)
                               throws polyglot.types.SemanticException

Specified by:

disambiguate in interface polyglot.ast.NodeOps

Overrides:

disambiguate in class polyglot.ast.JLDel_c

Throws:

polyglot.types.SemanticException

typeCheck

public polyglot.ast.Node typeCheck(polyglot.visit.TypeChecker tc)
                            throws polyglot.types.SemanticException

Specified by:

typeCheck in interface polyglot.ast.NodeOps

Overrides:

typeCheck in class polyglot.ast.JLDel_c

Throws:

polyglot.types.SemanticException