org.jmlspecs.jml4.nonnull
Class Nullity

java.lang.Object
  org.jmlspecs.jml4.nonnull.Nullity

public class Nullity
extends java.lang.Object

Field Summary

static Nullity	_default
static Nullity	mono_non_null
static Nullity	non_null
static Nullity	non_null_by_default
static Nullity	nullable
static Nullity	nullable_by_default

Method Summary

static boolean	fieldBindingIsDeclaredMonoNonNull(FieldBinding field)
static boolean	fieldBindingIsDeclaredNonNull(FieldBinding field) Returns true iff the given field (as identified by the binding) is declared non-null (via a JML or Java 5 annotation).
static Nullity	fromString(java.lang.String s)
static FieldDeclaration	getFieldDeclaration(FieldBinding fieldBinding)
boolean	hasDefaultNullity()
boolean	hasExplicitNullity()
static boolean	isAssignable(TypeReference typeReference, Expression expression, BlockScope scope, FlowContext flowContext, FlowInfo flowInfo)
boolean	isMono_non_null()
boolean	isNon_null()
boolean	isNon_nullByDefault()
boolean	isNullable()
boolean	isNullableByDefault()
static boolean	isPrimitiveType(TypeBinding binding)
static void	preparePossibleUnknowns(Expression exp, BlockScope scope, FlowContext flowContext, FlowInfo flowInfo)
java.lang.String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

_default

public static final Nullity _default

non_null

public static final Nullity non_null

mono_non_null

public static final Nullity mono_non_null

nullable

public static final Nullity nullable

non_null_by_default

public static final Nullity non_null_by_default

nullable_by_default

public static final Nullity nullable_by_default

Method Detail

fromString

public static Nullity fromString(java.lang.String s)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

isNon_null

public boolean isNon_null()

isNullable

public boolean isNullable()

isMono_non_null

public boolean isMono_non_null()

isNon_nullByDefault

public boolean isNon_nullByDefault()

isNullableByDefault

public boolean isNullableByDefault()

hasExplicitNullity

public boolean hasExplicitNullity()

hasDefaultNullity

public boolean hasDefaultNullity()

isAssignable

public static boolean isAssignable(TypeReference typeReference,
                                   Expression expression,
                                   BlockScope scope,
                                   FlowContext flowContext,
                                   FlowInfo flowInfo)

preparePossibleUnknowns

public static void preparePossibleUnknowns(Expression exp,
                                           BlockScope scope,
                                           FlowContext flowContext,
                                           FlowInfo flowInfo)

isPrimitiveType

public static boolean isPrimitiveType(TypeBinding binding)

fieldBindingIsDeclaredNonNull

public static boolean fieldBindingIsDeclaredNonNull(FieldBinding field)

Returns true iff the given field (as identified by the binding) is declared non-null (via a JML or Java 5 annotation).

fieldBindingIsDeclaredMonoNonNull

public static boolean fieldBindingIsDeclaredMonoNonNull(FieldBinding field)

getFieldDeclaration

public static FieldDeclaration getFieldDeclaration(FieldBinding fieldBinding)