polyglot.ext.j0.ast
Class J0Call_c

java.lang.Object
  extended bypolyglot.ext.jl.ast.Node_c
      extended bypolyglot.ext.jl.ast.Term_c
          extended bypolyglot.ext.jl.ast.Expr_c
              extended bypolyglot.ext.jl.ast.Call_c
                  extended bypolyglot.ext.j0.ast.J0Call_c
All Implemented Interfaces:
Call, java.lang.Cloneable, Copy, Expr, JL, Node, NodeOps, Prefix, ProcedureCall, Receiver, Term, Typed

public class J0Call_c
extends Call_c
implements Call


Field Summary
 
Fields inherited from class polyglot.ext.jl.ast.Call_c
arguments, mi, name, target, targetImplicit
 
Fields inherited from class polyglot.ext.jl.ast.Expr_c
type
 
Fields inherited from class polyglot.ext.jl.ast.Term_c
reachable
 
Fields inherited from class polyglot.ext.jl.ast.Node_c
del, ext, position
 
Constructor Summary
J0Call_c(Position pos, Receiver target, java.lang.String name, java.util.List arguments)
           
 
Method Summary
 Call methodInstance(MethodInstance mi)
          Set the method instance of the call.
protected  Node typeCheckNullTarget(TypeChecker tc, java.util.List argTypes)
          Typecheck the Call when the target is null.
 
Methods inherited from class polyglot.ext.jl.ast.Call_c
acceptCFG, arguments, arguments, buildTypes, checkConsistency, childExpectedType, dump, entry, exceptionCheck, findTargetType, isTargetImplicit, methodInstance, name, name, precedence, prettyPrint, procedureInstance, reconstruct, target, target, targetImplicit, throwTypes, toString, typeCheck, visitChildren
 
Methods inherited from class polyglot.ext.jl.ast.Expr_c
booleanValue, byteValue, charValue, constantValue, doubleValue, floatValue, intValue, isConstant, longValue, printSubExpr, printSubExpr, shortValue, stringValue, type, type
 
Methods inherited from class polyglot.ext.jl.ast.Term_c
listEntry, reachable, reachable
 
Methods inherited from class polyglot.ext.jl.ast.Node_c
addDecls, addMembers, addMembersEnter, addMembersOverride, buildTypesEnter, buildTypesOverride, copy, del, del, disambiguate, disambiguateEnter, disambiguateOverride, enterScope, enterScope, exceptionCheckEnter, exceptionCheckOverride, ext, ext, ext, ext, init, node, position, position, print, printBlock, printSubStmt, translate, typeCheckEnter, typeCheckOverride, visit, visitChild, visitEdge, visitList
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface polyglot.ast.Call
arguments, arguments, isTargetImplicit, methodInstance, name, name, target, target, targetImplicit
 
Methods inherited from interface polyglot.ast.Expr
constantValue, isConstant, precedence, printSubExpr, printSubExpr, type
 
Methods inherited from interface polyglot.ast.Node
childExpectedType, del, del, dump, ext, ext, ext, ext, position, position, visit, visitChild, visitEdge, visitList
 
Methods inherited from interface polyglot.ast.JL
init, node
 
Methods inherited from interface polyglot.ast.NodeOps
addDecls, addMembers, addMembersEnter, buildTypes, buildTypesEnter, disambiguate, disambiguateEnter, enterScope, enterScope, exceptionCheck, exceptionCheckEnter, prettyPrint, throwTypes, translate, typeCheck, typeCheckEnter, visitChildren
 
Methods inherited from interface polyglot.util.Copy
copy
 
Methods inherited from interface polyglot.ast.Typed
type
 
Methods inherited from interface polyglot.ast.Term
acceptCFG, entry, reachable, reachable
 
Methods inherited from interface polyglot.ast.ProcedureCall
procedureInstance
 

Constructor Detail

J0Call_c

public J0Call_c(Position pos,
                Receiver target,
                java.lang.String name,
                java.util.List arguments)
Method Detail

methodInstance

public Call methodInstance(MethodInstance mi)
Set the method instance of the call.

Specified by:
methodInstance in interface Call
Overrides:
methodInstance in class Call_c

typeCheckNullTarget

protected Node typeCheckNullTarget(TypeChecker tc,
                                   java.util.List argTypes)
                            throws SemanticException
Description copied from class: Call_c
Typecheck the Call when the target is null. This method finds an appropriate target, and then type checks accordingly.

Overrides:
typeCheckNullTarget in class Call_c
Parameters:
argTypes - list of Types of the arguments
Throws:
SemanticException