jif.extension
Class JifFormalDel

java.lang.Object
  extended by polyglot.ast.Ext_c
      extended by polyglot.ast.JL_c
          extended by jif.extension.JifJL_c
              extended by jif.extension.JifFormalDel
All Implemented Interfaces:
java.lang.Cloneable, polyglot.ast.Ext, polyglot.ast.JL, polyglot.ast.NodeOps, polyglot.util.Copy

public class JifFormalDel
extends JifJL_c

The Jif extension of the Formal node.

See Also:
Formal

Field Summary
 
Fields inherited from class polyglot.ast.Ext_c
ext, node
 
Constructor Summary
JifFormalDel()
           
 
Method Summary
 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.JifJL_c
translate
 
Methods inherited from class polyglot.ast.JL_c
addDecls, buildTypesEnter, checkConstants, copy, copy, disambiguateEnter, disambiguateOverride, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, jl, prettyPrint, prettyPrint, prettyPrint, throwTypes, typeCheckEnter, typeCheckOverride, visitChildren
 
Methods inherited from class polyglot.ast.Ext_c
copy, dump, ext, ext, init, 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.JL
init, node
 
Methods inherited from interface polyglot.util.Copy
copy
 

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 JifJL_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.JL_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.JL_c
Throws:
polyglot.types.SemanticException