jltools.ext.jif.extension
Class JifMethodDeclExt

java.lang.Object
  |
  +--jltools.ext.jl.ast.Ext_c
        |
        +--jltools.ext.jif.ast.Jif_c
              |
              +--jltools.ext.jif.extension.JifProcedureDeclExt
                    |
                    +--jltools.ext.jif.extension.JifMethodDeclExt

All Implemented Interfaces:

java.lang.Cloneable, Copy, Ext, Jif

public class JifMethodDeclExt

extends JifProcedureDeclExt

The Jif extension of the JifMethodDecl node.

See Also:

JifMethodDecl

Constructor Summary

JifMethodDeclExt()

Method Summary

Node	labelCheck(LabelChecker lc) Label check the node to which this extension is attached.

Methods inherited from class jltools.ext.jif.extension.JifProcedureDeclExt

addCallers, addReturnConstraints, checkActsForAuthority, checkArguments, constraintAuth, constraintPH

Methods inherited from class jltools.ext.jif.ast.Jif_c

ph, ph, runtimeLabel, X, X, X, X

Methods inherited from class jltools.ext.jl.ast.Ext_c

buildTypes, buildTypesOverride, copy, disambiguate, disambiguateOverride, disambiguateTypes, disambiguateTypesOverride, exceptionCheck, exceptionCheckOverride, foldConstants, foldConstantsOverride, init, node, reconstructTypes, toString, translate, typeCheck, typeCheckOverride

Methods inherited from class java.lang.Object

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

Methods inherited from interface jltools.ast.Ext

buildTypes, buildTypesOverride, copy, disambiguate, disambiguateOverride, disambiguateTypes, disambiguateTypesOverride, exceptionCheck, exceptionCheckOverride, foldConstants, foldConstantsOverride, init, reconstructTypes, translate, typeCheck, typeCheckOverride

Constructor Detail

JifMethodDeclExt

public JifMethodDeclExt()

Method Detail

labelCheck

public Node labelCheck(LabelChecker lc)
                throws SemanticException

Description copied from interface: Jif

Label check the node to which this extension is attached.

Overrides:

labelCheck in class Jif_c