org.multijava.mjc
Class JNewObjectExpression.ArgTypes

java.lang.Object
  org.multijava.mjc.JNewObjectExpression.ArgTypes

Enclosing class:

JNewObjectExpression

protected static class JNewObjectExpression.ArgTypes

extends Object

This nested class is used to track the argument types of the actual constructor call. The actual arguments include explicit primary expressions and synthetic outer this arguments for inner classes.

Field Summary
private  CType	primaryExpr
private  CType[]	regularArgs
private  CType	synthOuterThis

 

Constructor Summary
protected	JNewObjectExpression.ArgTypes(CType[] regularArgs)

 

Method Summary
protected  CType[]	castToTypes(CMethod constructor)           Returns the types to which to cast the regular arguments for the given constructor.
protected  CType[]	constructorTypes()
protected  boolean	hasSyntheticOuterThis()
protected  CType[]	regularArgs()
protected  void	setPrimaryExpr(CType primaryExpr)
protected  void	setSyntheticOuterThis(CType synthOuterThis)
protected  int	typeCount()

 

Methods inherited from class java.lang.Object

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

 

Field Detail

regularArgs

private final CType[] regularArgs

primaryExpr

private CType primaryExpr

synthOuterThis

private CType synthOuterThis

JNewObjectExpression.ArgTypes

protected JNewObjectExpression.ArgTypes(CType[] regularArgs)

setPrimaryExpr

protected void setPrimaryExpr(CType primaryExpr)

setSyntheticOuterThis

protected void setSyntheticOuterThis(CType synthOuterThis)

constructorTypes

protected CType[] constructorTypes()

regularArgs

protected CType[] regularArgs()

hasSyntheticOuterThis

protected boolean hasSyntheticOuterThis()

castToTypes

protected CType[] castToTypes(CMethod constructor)

Returns the types to which to cast the regular arguments for the given constructor.

 requires constructor.parameters().length == typeCount();
 ensures \result.length == regularArgs.length;
 

typeCount

protected int typeCount()