jif.extension
Class JifClassDeclExt

java.lang.Object
  polyglot.ast.Ext_c
      jif.ast.Jif_c
          jif.extension.JifClassDeclExt

All Implemented Interfaces:

java.lang.Cloneable, Jif, polyglot.ast.Ext, polyglot.util.Copy

public class JifClassDeclExt
extends Jif_c

The extension of the JifClassDecl node.

See Also:

JifClassDecl

Field Summary

Fields inherited from class jif.ast.Jif_c

toJava, X

Fields inherited from class polyglot.ast.Ext_c

ext, node

Constructor Summary

JifClassDeclExt(ToJavaExt toJava)

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

Constructor Detail

JifClassDeclExt

public JifClassDeclExt(ToJavaExt toJava)

Method Detail

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