JML

org.multijava.mjc
Class CContextNullity

java.lang.Object
  extended byorg.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
Constructor Detail

CContextNullity

public CContextNullity()
Method Detail

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


JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.