jif.extension
Class JifMethodDeclDel

java.lang.Object
  polyglot.ast.Ext_c
      polyglot.ast.JL_c
          jif.extension.JifJL_c
              jif.extension.JifProcedureDeclDel
                  jif.extension.JifMethodDeclDel

All Implemented Interfaces:

java.lang.Cloneable, polyglot.ast.Ext, polyglot.ast.JL, polyglot.ast.NodeOps, polyglot.util.Copy

public class JifMethodDeclDel
extends JifProcedureDeclDel

The delegate of the JifMethodDecl node.

See Also:

JifMethodDecl

Field Summary

Fields inherited from class polyglot.ast.Ext_c

ext, node

Constructor Summary

JifMethodDeclDel()

Method Summary

polyglot.types.Context	enterScope(polyglot.types.Context c)
polyglot.ast.Node	typeCheck(polyglot.visit.TypeChecker tc)

Methods inherited from class jif.extension.JifProcedureDeclDel

addFormalsToScope, ensureNotTopPrincipal, ensureNotTopPrincipal

Methods inherited from class jif.extension.JifJL_c

buildTypes, translate

Methods inherited from class polyglot.ast.JL_c

addDecls, buildTypesEnter, checkConstants, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, enterChildScope, 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

JifMethodDeclDel

public JifMethodDeclDel()

Method Detail

enterScope

public polyglot.types.Context enterScope(polyglot.types.Context c)

Specified by:

enterScope in interface polyglot.ast.NodeOps

Overrides:

enterScope in class JifProcedureDeclDel

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 JifProcedureDeclDel

Throws:

polyglot.types.SemanticException

See Also:

JL_c.typeCheck(polyglot.visit.TypeChecker)