Uses of Class
org.jmlspecs.jml4.nonnull.Nullity

Packages that use Nullity

org.eclipse.jdt.internal.compiler.ast
org.eclipse.jdt.internal.compiler.parser
org.jmlspecs.jml4.ast
org.jmlspecs.jml4.nonnull

Uses of Nullity in org.eclipse.jdt.internal.compiler.ast

Methods in org.eclipse.jdt.internal.compiler.ast with parameters of type Nullity

static TypeReference	TypeReference.baseTypeReference(int baseType, int dim, Nullity[] elemNullities, Nullity nullity, long ownershipModifiers)
static TypeReference	TypeReference.baseTypeReference(int baseType, int dim, Nullity[] elemNullities, Nullity nullity, long ownershipModifiers)
abstract TypeReference	TypeReference.copyDims(int dim, Nullity[] elemNullities, Nullity nullity, long ownershipModifiers)
abstract TypeReference	TypeReference.copyDims(int dim, Nullity[] elemNullities, Nullity nullity, long ownershipModifiers)
TypeReference	SingleTypeReference.copyDims(int dim, Nullity[] elemNullity, Nullity nullity, long ownershipModifiers)
TypeReference	SingleTypeReference.copyDims(int dim, Nullity[] elemNullity, Nullity nullity, long ownershipModifiers)
TypeReference	QualifiedTypeReference.copyDims(int dim, Nullity[] elemNullities, Nullity nullity, long ownershipModifiers)
TypeReference	QualifiedTypeReference.copyDims(int dim, Nullity[] elemNullities, Nullity nullity, long ownershipModifiers)
TypeReference	JavadocImplicitTypeReference.copyDims(int dim, Nullity[] elemNullities, Nullity nullity, long ownershipModifiers)
TypeReference	JavadocImplicitTypeReference.copyDims(int dim, Nullity[] elemNullities, Nullity nullity, long ownershipModifiers)

Uses of Nullity in org.eclipse.jdt.internal.compiler.parser

Fields in org.eclipse.jdt.internal.compiler.parser declared as Nullity

Nullity

JmlParserHelper.defaultNullity

Methods in org.eclipse.jdt.internal.compiler.parser that return Nullity

Nullity	JmlParserHelper.getAndResetNullity()
Nullity	JmlParserHelper.popNullityStack()
Nullity[]	JmlParserHelper.popNullityStack(int n)

Methods in org.eclipse.jdt.internal.compiler.parser with parameters of type Nullity

void	JmlParserHelper.pushOnNullityStack(Nullity nullity)
void	JmlParserHelper.pushOnNullityStack(Nullity[] nullities)

Uses of Nullity in org.jmlspecs.jml4.ast

Fields in org.jmlspecs.jml4.ast declared as Nullity

Nullity[]	JmlArrayTypeReference.elemNullities
Nullity[]	JmlArrayQualifiedTypeReference.elemNullities
Nullity	JmlQualifiedTypeReference.nullity
Nullity	JmlArrayQualifiedTypeReference.nullity

Methods in org.jmlspecs.jml4.ast that return Nullity

Nullity	JmlCompilationUnitDeclaration.getDefaultNullity()
Nullity	JmlWildcard.getNullity()
Nullity	JmlTypeReference.getNullity()
Nullity	JmlSingleTypeReference.getNullity()
Nullity	JmlQualifiedTypeReference.getNullity()
Nullity	JmlParameterizedSingleTypeReference.getNullity()
Nullity	JmlParameterizedQualifiedTypeReference.getNullity()
Nullity	JmlArrayTypeReference.getNullity()
Nullity	JmlArrayQualifiedTypeReference.getNullity()

Methods in org.jmlspecs.jml4.ast with parameters of type Nullity

TypeReference	JmlParameterizedSingleTypeReference.copyDims(int dim, Nullity[] elemNullities, Nullity nullity, long ownershipModifiers)
TypeReference	JmlParameterizedSingleTypeReference.copyDims(int dim, Nullity[] elemNullities, Nullity nullity, long ownershipModifiers)
TypeReference	JmlParameterizedQualifiedTypeReference.copyDims(int dim, Nullity[] elemNullities, Nullity nullity, long ownershipModifiers)
TypeReference	JmlParameterizedQualifiedTypeReference.copyDims(int dim, Nullity[] elemNullities, Nullity nullity, long ownershipModifiers)
void	JmlCompilationUnitDeclaration.setDefaultNullity(Nullity nullity)
void	JmlWildcard.setNullity(Nullity nullity)
void	JmlTypeReference.setNullity(Nullity nullity)
void	JmlSingleTypeReference.setNullity(Nullity nullity)
void	JmlQualifiedTypeReference.setNullity(Nullity nullity)
void	JmlParameterizedSingleTypeReference.setNullity(Nullity nullity)
void	JmlParameterizedQualifiedTypeReference.setNullity(Nullity nullity)
void	JmlArrayTypeReference.setNullity(Nullity nullity)
void	JmlArrayQualifiedTypeReference.setNullity(Nullity nullity)

Constructors in org.jmlspecs.jml4.ast with parameters of type Nullity

JmlArrayQualifiedTypeReference(char[][] sources, int dim, long[] poss, Nullity[] elemNullities, Nullity nullity, long ownershipModifiers)

JmlArrayQualifiedTypeReference(char[][] sources, int dim, long[] poss, Nullity[] elemNullities, Nullity nullity, long ownershipModifiers)

JmlArrayTypeReference(char[] source, int dimensions, long pos, Nullity[] elemNullities, Nullity nullity, long ownershipModifiers)

JmlArrayTypeReference(char[] source, int dimensions, long pos, Nullity[] elemNullities, Nullity nullity, long ownershipModifiers)

JmlCompilationUnitDeclaration(ProblemReporter problemReporter, CompilationResult compilationResult, int sourceLength, Nullity nullity)

JmlParameterizedQualifiedTypeReference(char[][] tokens, TypeReference[][] typeArguments, int dim, long[] positions, Nullity nullity, Nullity[] elemNullities, long ownershipModifiers)

JmlParameterizedQualifiedTypeReference(char[][] tokens, TypeReference[][] typeArguments, int dim, long[] positions, Nullity nullity, Nullity[] elemNullities, long ownershipModifiers)

JmlParameterizedSingleTypeReference(char[] name, TypeReference[] typeArguments, int dim, long pos, Nullity nullity, Nullity[] elemNullities, long ownershipModifiers)

JmlParameterizedSingleTypeReference(char[] name, TypeReference[] typeArguments, int dim, long pos, Nullity nullity, Nullity[] elemNullities, long ownershipModifiers)

JmlQualifiedTypeReference(char[][] sources, long[] poss, Nullity nullity, long ownershipModifiers)

JmlSingleTypeReference(char[] source, long pos, Nullity nullity, long ownershipModifiers)

JmlSingleTypeReference(SingleTypeReference type, Nullity nullity, long ownershipModifiers)

JmlWildcard(int kind, Nullity nullity, long ownershipModifiers)

Uses of Nullity in org.jmlspecs.jml4.nonnull

Fields in org.jmlspecs.jml4.nonnull declared as Nullity

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

Methods in org.jmlspecs.jml4.nonnull that return Nullity

static Nullity

Nullity.fromString(java.lang.String s)