org.multijava.mjc
Class CContextNullity

java.lang.Object
  org.multijava.mjc.CContextNullity

public class CContextNullity

extends Object

This class provides routines used to implement the Nullity Accessor methods that are delcared in CContextType.

Field Summary
private  List	nonNulls
private  List	nulls

 

Constructor Summary

CContextNullity()

 

Method Summary
void	addFANonNull(Object expr)           Mark expr as NonNull in this context
void	addFANonNulls(Object[] exprs)           adds exprs as NonNull in this context
void	addFANull(Object expr)
void	addFANulls(Object[] exprs)
void	adoptNullityInfo(CContextType other)
void	dumpNonNulls(String msg)           Prints the msg and then the non-nulls
Object[]	getFANonNulls()
Object[]	getFANulls()
static List	intersectList(List a, Object[] b)
boolean	isFANonNull(CFieldAccessor expr)
boolean	isFANonNull(JPhylum expr)           Indicates whether expr is conditionally NonNull is this context.
void	mergeNullityInfo(CContextType other)           Merge the list of nulls in this context with that of the given context.
private  void	removeAllExceptLocalVariables(List list)
void	removeAllFANullity()
void	removeAllNullityExceptLocalVariables()
void	removeFANonNull(Object expr)

 

Methods inherited from class java.lang.Object

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

 

Field Detail

nonNulls

private List nonNulls

nulls

private List nulls

CContextNullity

public CContextNullity()

isFANonNull

public boolean isFANonNull(JPhylum expr)

Indicates whether expr is conditionally NonNull is this context.

isFANonNull

public boolean isFANonNull(CFieldAccessor expr)

addFANonNull

public void addFANonNull(Object expr)

Mark expr as NonNull in this context

addFANull

public void addFANull(Object expr)

removeFANonNull

public void removeFANonNull(Object expr)

removeAllFANullity

public void removeAllFANullity()

removeAllNullityExceptLocalVariables

public void removeAllNullityExceptLocalVariables()

removeAllExceptLocalVariables

private void removeAllExceptLocalVariables(List list)

addFANonNulls

public void addFANonNulls(Object[] exprs)

adds exprs as NonNull in this context

addFANulls

public void addFANulls(Object[] exprs)

mergeNullityInfo

public void mergeNullityInfo(CContextType other)

Merge the list of nulls in this context with that of the given context. This is done by taking a union of the two sets.

adoptNullityInfo

public void adoptNullityInfo(CContextType other)

intersectList

public static List intersectList(List a,
                                 Object[] b)

getFANonNulls

public Object[] getFANonNulls()

getFANulls

public Object[] getFANulls()

dumpNonNulls

public void dumpNonNulls(String msg)

Prints the msg and then the non-nulls