jif.extension
Class JifCallDel

java.lang.Object
  polyglot.ast.Ext_c
      polyglot.ast.JL_c
          jif.extension.JifJL_c
              jif.extension.JifCallDel

All Implemented Interfaces:

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

public class JifCallDel
extends JifJL_c

The Jif extension of the Call node.

See Also:

Call_c

Field Summary

protected java.util.List	argVarLabels
protected java.util.List	paramVarLabels
protected VarLabel	receiverVarLabel

Fields inherited from class polyglot.ast.Ext_c

ext, node

Constructor Summary

JifCallDel()

Method Summary

void	setTargetIsNeverNull(boolean neverNull)
boolean	targetIsNeverNull()
java.util.List	throwTypes(polyglot.types.TypeSystem ts) List of Types of exceptions that might get thrown.
polyglot.ast.Node	typeCheck(polyglot.visit.TypeChecker tc)
polyglot.visit.NodeVisitor	typeCheckEnter(polyglot.visit.TypeChecker tc)

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, enterScope, exceptionCheck, exceptionCheckEnter, jl, prettyPrint, prettyPrint, prettyPrint, 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

Field Detail

receiverVarLabel

protected VarLabel receiverVarLabel

argVarLabels

protected java.util.List argVarLabels

paramVarLabels

protected java.util.List paramVarLabels

Constructor Detail

JifCallDel

public JifCallDel()

Method Detail

setTargetIsNeverNull

public void setTargetIsNeverNull(boolean neverNull)

targetIsNeverNull

public boolean targetIsNeverNull()

throwTypes

public java.util.List throwTypes(polyglot.types.TypeSystem ts)

List of Types of exceptions that might get thrown. This differs from the method defined in Call_c in that it does not throw a null pointer exception if the receiver is guaranteed to be non-null

Specified by:

throwTypes in interface polyglot.ast.NodeOps

Overrides:

throwTypes in class polyglot.ast.JL_c

typeCheckEnter

public polyglot.visit.NodeVisitor typeCheckEnter(polyglot.visit.TypeChecker tc)
                                          throws polyglot.types.SemanticException

Specified by:

typeCheckEnter in interface polyglot.ast.NodeOps

Overrides:

typeCheckEnter 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