org.eclipse.jdt.core/compiler/org/eclipse/jdt/internal/compiler/lookup/TagBits.java - objectteams/org.eclipse.objectteams - Gitiles

 /*******************************************************************************
  * Copyright (c) 2000, 2012 IBM Corporation and others.
  * All rights reserved. This program and the accompanying materials
  * are made available under the terms of the Eclipse Public License v1.0
  * which accompanies this distribution, and is available at
  * http://www.eclipse.org/legal/epl-v10.html
  *
  * This is an implementation of an early-draft specification developed under the Java
  * Community Process (JCP) and is made available for testing and evaluation purposes
  * only. The code is not compatible with any specification of the JCP.
  *
  * Contributors:
  *     IBM Corporation - initial API and implementation
  *     Fraunhofer FIRST - extended API and implementation
  *     Technical University Berlin - extended API and implementation
  *     Stephan Herrmann - Contribution for bug 186342 - [compiler][null] Using annotations for null checking
  *******************************************************************************/
 package org.eclipse.jdt.internal.compiler.lookup;

 import org.eclipse.jdt.internal.compiler.ast.ASTNode;

 /**
  * OTDT changes: several more bits. See their individual documentation.
  */
 public interface TagBits {

 	// Tag bits in the tagBits int of every TypeBinding
 	long IsArrayType = ASTNode.Bit1;
 	long IsBaseType = ASTNode.Bit2;
 	long IsNestedType = ASTNode.Bit3;
 	long IsMemberType = ASTNode.Bit4;
 	long ContainsNestedTypeReferences = ASTNode.Bit12; // method/parameterized type binding
 	long MemberTypeMask = IsNestedType | IsMemberType | ContainsNestedTypeReferences;
 	long IsLocalType = ASTNode.Bit5;
 	long LocalTypeMask = IsNestedType | IsLocalType | ContainsNestedTypeReferences;
 	long IsAnonymousType = ASTNode.Bit6;
 	long AnonymousTypeMask = LocalTypeMask | IsAnonymousType | ContainsNestedTypeReferences;
 	long IsBinaryBinding = ASTNode.Bit7;

 	// set for all bindings either representing a missing type (type), or directly referencing a missing type (field/method/variable)
 	long HasMissingType = ASTNode.Bit8;

 	// for method
 	long HasUncheckedTypeArgumentForBoundCheck = ASTNode.Bit9;

 	// local variable
 	long NotInitialized = ASTNode.Bit9;

 	// local variable
 	long ForcedToBeRawType = ASTNode.Bit10;

 	// set when method has argument(s) that couldn't be resolved
 	long HasUnresolvedArguments = ASTNode.Bit10;

 	// for the type cycle hierarchy check used by ClassScope
 	long BeginHierarchyCheck = ASTNode.Bit9;  // type
 	long EndHierarchyCheck = ASTNode.Bit10; // type
 	long PauseHierarchyCheck = ASTNode.Bit20; // type
 	long HasParameterAnnotations = ASTNode.Bit11; // method/constructor


 	// test bit to see if default abstract methods were computed
 	long KnowsDefaultAbstractMethods = ASTNode.Bit11; // type

 	long IsArgument = ASTNode.Bit11; // local
 	long ClearPrivateModifier = ASTNode.Bit10; // constructor binding

 	// for java 7
 	long IsEffectivelyFinal = ASTNode.Bit12; // local
 	long MultiCatchParameter = ASTNode.Bit13; // local
 	long IsResource = ASTNode.Bit14; // local

 	// test bits to see if parts of binary types are faulted
 	long AreFieldsSorted = ASTNode.Bit13;
 	long AreFieldsComplete = ASTNode.Bit14; // sorted and all resolved
 	long AreMethodsSorted = ASTNode.Bit15;
 	long AreMethodsComplete = ASTNode.Bit16; // sorted and all resolved

 	// test bit to avoid asking a type for a member type (includes inherited member types)
 	long HasNoMemberTypes = ASTNode.Bit17;

 	// test bit to identify if the type's hierarchy is inconsistent
 	long HierarchyHasProblems = ASTNode.Bit18;

 	// test bit to identify if the type's type variables have been connected
 	long TypeVariablesAreConnected = ASTNode.Bit19;

 	// set for parameterized type with successful bound check
 	long PassedBoundCheck = ASTNode.Bit23;

 	// set for parameterized type NOT of the form X<?,?>
 	long IsBoundParameterizedType = ASTNode.Bit24;

 	// used by BinaryTypeBinding
 	long HasUnresolvedTypeVariables = ASTNode.Bit25;
 	long HasUnresolvedSuperclass = ASTNode.Bit26;
 	long HasUnresolvedSuperinterfaces = ASTNode.Bit27;
 	long HasUnresolvedEnclosingType = ASTNode.Bit28;
 	long HasUnresolvedMemberTypes = ASTNode.Bit29;

 	long HasTypeVariable = ASTNode.Bit30; // set either for type variables (direct) or parameterized types indirectly referencing type variables
 	long HasDirectWildcard = ASTNode.Bit31; // set for parameterized types directly referencing wildcards

 	// for the annotation cycle hierarchy check used by ClassScope
 	long BeginAnnotationCheck = ASTNode.Bit32L;
 	long EndAnnotationCheck = ASTNode.Bit33L;

 	// standard annotations
 	// 9-bits for targets
 	long AnnotationResolved = ASTNode.Bit34L;
 	long DeprecatedAnnotationResolved = ASTNode.Bit35L;
 	long AnnotationTarget = ASTNode.Bit36L; // @Target({}) only sets this bit
 	long AnnotationForType = ASTNode.Bit37L;
 	long AnnotationForField = ASTNode.Bit38L;
 	long AnnotationForMethod = ASTNode.Bit39L;
 	long AnnotationForParameter = ASTNode.Bit40L;
 	long AnnotationForConstructor = ASTNode.Bit41L;
 	long AnnotationForLocalVariable = ASTNode.Bit42L;
 	long AnnotationForAnnotationType = ASTNode.Bit43L;
 	long AnnotationForPackage = ASTNode.Bit44L;
 	long AnnotationForTypeUse = ASTNode.Bit54L;
 	long AnnotationForTypeParameter = ASTNode.Bit55L;
 	long AnnotationTargetMASK = AnnotationTarget
 				| AnnotationForType | AnnotationForField
 				| AnnotationForMethod | AnnotationForParameter
 				| AnnotationForConstructor | AnnotationForLocalVariable
 				| AnnotationForAnnotationType | AnnotationForPackage
 				| AnnotationForTypeUse | AnnotationForTypeParameter;
 	// 2-bits for retention (should check (tagBits & RetentionMask) == RuntimeRetention
 	long AnnotationSourceRetention = ASTNode.Bit45L;
 	long AnnotationClassRetention = ASTNode.Bit46L;
 	long AnnotationRuntimeRetention = AnnotationSourceRetention | AnnotationClassRetention;
 	long AnnotationRetentionMASK = AnnotationSourceRetention | AnnotationClassRetention | AnnotationRuntimeRetention;
 	// marker annotations
 	long AnnotationDeprecated = ASTNode.Bit47L;
 	long AnnotationDocumented = ASTNode.Bit48L;
 	long AnnotationInherited = ASTNode.Bit49L;
 	long AnnotationOverride = ASTNode.Bit50L;
 	long AnnotationSuppressWarnings = ASTNode.Bit51L;
 	/** @since 3.7 - java 7 safe vargs invocation */
 	long AnnotationSafeVarargs = ASTNode.Bit52L;
 	/** @since 3.7 - java 7 MethodHandle.invokeExact(..)/invokeGeneric(..)*/
 	long AnnotationPolymorphicSignature = ASTNode.Bit53L;
 	/** @since 3.8 null annotation for MethodBinding or LocalVariableBinding (argument): */
 	long AnnotationNullable = ASTNode.Bit56L;
 	/** @since 3.8 null annotation for MethodBinding or LocalVariableBinding (argument): */
 	long AnnotationNonNull = ASTNode.Bit57L;
 	/** @since 3.8 null-default annotation for PackageBinding or TypeBinding or MethodBinding: */
 	long AnnotationNonNullByDefault = ASTNode.Bit58L;
 	/** @since 3.8 canceling null-default annotation for PackageBinding or TypeBinding or MethodBinding: */
 	long AnnotationNullUnspecifiedByDefault = ASTNode.Bit59L;

 //{ObjectTeams: one more standard annotation:
 	long AnnotationInstantiation = ASTNode.Bit21;
 // SH}

 	long AllStandardAnnotationsMask =
 				  AnnotationTargetMASK
 				| AnnotationRetentionMASK
 				| AnnotationDeprecated
 				| AnnotationDocumented
 				| AnnotationInherited
 				| AnnotationOverride
 				| AnnotationSuppressWarnings
 //{ObjectTeams: one more standard annotation:
 				| AnnotationInstantiation
 // SH}
 				| AnnotationSafeVarargs
 				| AnnotationPolymorphicSignature
 				| AnnotationNullable
 				| AnnotationNonNull
 				| AnnotationNonNullByDefault
 				| AnnotationNullUnspecifiedByDefault;

 	long DefaultValueResolved = ASTNode.Bit60L;

 	// set when type contains non-private constructor(s)
 	long HasNonPrivateConstructor = ASTNode.Bit61L;

 //{ObjectTeams:

 	// is it a wrapped role type?
     long IsWrappedRole = ASTNode.Bit62L;					// for role type bindings

     // is it a dependent type?
     long IsDependentType = ASTNode.Bit63L;					// for type bindings
     // is a _OT$base field faked to compensate for weakening?
     long IsFakedField = ASTNode.Bit63L;						// for field binding
     // have types been wrapped in the signature
     long HasWrappedSignature = ASTNode.Bit63L;				// for method bindings
     // "new SomeTeam()" expression, unmatchable anchor
     long IsFreshTeamInstance = ASTNode.Bit63L; 				// for LocalVariableBinding

     // did a nested team require correction of team/role flags?
     long HasClassKindProblem = ASTNode.Bit64L;				// for type binding (team&role)
     // parameter/return incompatibility btw base-role?
     long HasMappingIncompatibility = ASTNode.Bit64L; 		// for method mapping bindings
     long IsCopyOfParameterized = ASTNode.Bit64L;			// for method bindings
     // is a role field needing a cast to the role class:
     long IsRoleClassField = ASTNode.Bit64L;					// for field binding (role)

 // SH}
 }
	/*******************************************************************************
	* Copyright (c) 2000, 2012 IBM Corporation and others.
	* All rights reserved. This program and the accompanying materials
	* are made available under the terms of the Eclipse Public License v1.0
	* which accompanies this distribution, and is available at
	* http://www.eclipse.org/legal/epl-v10.html
	*
	* This is an implementation of an early-draft specification developed under the Java
	* Community Process (JCP) and is made available for testing and evaluation purposes
	* only. The code is not compatible with any specification of the JCP.
	*
	* Contributors:
	* IBM Corporation - initial API and implementation
	* Fraunhofer FIRST - extended API and implementation
	* Technical University Berlin - extended API and implementation
	* Stephan Herrmann - Contribution for bug 186342 - [compiler][null] Using annotations for null checking
	*******************************************************************************/
	package org.eclipse.jdt.internal.compiler.lookup;

	import org.eclipse.jdt.internal.compiler.ast.ASTNode;

	/**
	* OTDT changes: several more bits. See their individual documentation.
	*/
	public interface TagBits {

	// Tag bits in the tagBits int of every TypeBinding
	long IsArrayType = ASTNode.Bit1;
	long IsBaseType = ASTNode.Bit2;
	long IsNestedType = ASTNode.Bit3;
	long IsMemberType = ASTNode.Bit4;
	long ContainsNestedTypeReferences = ASTNode.Bit12; // method/parameterized type binding
	long MemberTypeMask = IsNestedType \| IsMemberType \| ContainsNestedTypeReferences;
	long IsLocalType = ASTNode.Bit5;
	long LocalTypeMask = IsNestedType \| IsLocalType \| ContainsNestedTypeReferences;
	long IsAnonymousType = ASTNode.Bit6;
	long AnonymousTypeMask = LocalTypeMask \| IsAnonymousType \| ContainsNestedTypeReferences;
	long IsBinaryBinding = ASTNode.Bit7;

	// set for all bindings either representing a missing type (type), or directly referencing a missing type (field/method/variable)
	long HasMissingType = ASTNode.Bit8;

	// for method
	long HasUncheckedTypeArgumentForBoundCheck = ASTNode.Bit9;

	// local variable
	long NotInitialized = ASTNode.Bit9;

	// local variable
	long ForcedToBeRawType = ASTNode.Bit10;

	// set when method has argument(s) that couldn't be resolved
	long HasUnresolvedArguments = ASTNode.Bit10;

	// for the type cycle hierarchy check used by ClassScope
	long BeginHierarchyCheck = ASTNode.Bit9; // type
	long EndHierarchyCheck = ASTNode.Bit10; // type
	long PauseHierarchyCheck = ASTNode.Bit20; // type
	long HasParameterAnnotations = ASTNode.Bit11; // method/constructor


	// test bit to see if default abstract methods were computed
	long KnowsDefaultAbstractMethods = ASTNode.Bit11; // type

	long IsArgument = ASTNode.Bit11; // local
	long ClearPrivateModifier = ASTNode.Bit10; // constructor binding

	// for java 7
	long IsEffectivelyFinal = ASTNode.Bit12; // local
	long MultiCatchParameter = ASTNode.Bit13; // local
	long IsResource = ASTNode.Bit14; // local

	// test bits to see if parts of binary types are faulted
	long AreFieldsSorted = ASTNode.Bit13;
	long AreFieldsComplete = ASTNode.Bit14; // sorted and all resolved
	long AreMethodsSorted = ASTNode.Bit15;
	long AreMethodsComplete = ASTNode.Bit16; // sorted and all resolved

	// test bit to avoid asking a type for a member type (includes inherited member types)
	long HasNoMemberTypes = ASTNode.Bit17;

	// test bit to identify if the type's hierarchy is inconsistent
	long HierarchyHasProblems = ASTNode.Bit18;

	// test bit to identify if the type's type variables have been connected
	long TypeVariablesAreConnected = ASTNode.Bit19;

	// set for parameterized type with successful bound check
	long PassedBoundCheck = ASTNode.Bit23;

	// set for parameterized type NOT of the form X<?,?>
	long IsBoundParameterizedType = ASTNode.Bit24;

	// used by BinaryTypeBinding
	long HasUnresolvedTypeVariables = ASTNode.Bit25;
	long HasUnresolvedSuperclass = ASTNode.Bit26;
	long HasUnresolvedSuperinterfaces = ASTNode.Bit27;
	long HasUnresolvedEnclosingType = ASTNode.Bit28;
	long HasUnresolvedMemberTypes = ASTNode.Bit29;

	long HasTypeVariable = ASTNode.Bit30; // set either for type variables (direct) or parameterized types indirectly referencing type variables
	long HasDirectWildcard = ASTNode.Bit31; // set for parameterized types directly referencing wildcards

	// for the annotation cycle hierarchy check used by ClassScope
	long BeginAnnotationCheck = ASTNode.Bit32L;
	long EndAnnotationCheck = ASTNode.Bit33L;

	// standard annotations
	// 9-bits for targets
	long AnnotationResolved = ASTNode.Bit34L;
	long DeprecatedAnnotationResolved = ASTNode.Bit35L;
	long AnnotationTarget = ASTNode.Bit36L; // @Target({}) only sets this bit
	long AnnotationForType = ASTNode.Bit37L;
	long AnnotationForField = ASTNode.Bit38L;
	long AnnotationForMethod = ASTNode.Bit39L;
	long AnnotationForParameter = ASTNode.Bit40L;
	long AnnotationForConstructor = ASTNode.Bit41L;
	long AnnotationForLocalVariable = ASTNode.Bit42L;
	long AnnotationForAnnotationType = ASTNode.Bit43L;
	long AnnotationForPackage = ASTNode.Bit44L;
	long AnnotationForTypeUse = ASTNode.Bit54L;
	long AnnotationForTypeParameter = ASTNode.Bit55L;
	long AnnotationTargetMASK = AnnotationTarget
	\| AnnotationForType \| AnnotationForField
	\| AnnotationForMethod \| AnnotationForParameter
	\| AnnotationForConstructor \| AnnotationForLocalVariable
	\| AnnotationForAnnotationType \| AnnotationForPackage
	\| AnnotationForTypeUse \| AnnotationForTypeParameter;
	// 2-bits for retention (should check (tagBits & RetentionMask) == RuntimeRetention
	long AnnotationSourceRetention = ASTNode.Bit45L;
	long AnnotationClassRetention = ASTNode.Bit46L;
	long AnnotationRuntimeRetention = AnnotationSourceRetention \| AnnotationClassRetention;
	long AnnotationRetentionMASK = AnnotationSourceRetention \| AnnotationClassRetention \| AnnotationRuntimeRetention;
	// marker annotations
	long AnnotationDeprecated = ASTNode.Bit47L;
	long AnnotationDocumented = ASTNode.Bit48L;
	long AnnotationInherited = ASTNode.Bit49L;
	long AnnotationOverride = ASTNode.Bit50L;
	long AnnotationSuppressWarnings = ASTNode.Bit51L;
	/** @since 3.7 - java 7 safe vargs invocation */
	long AnnotationSafeVarargs = ASTNode.Bit52L;
	/** @since 3.7 - java 7 MethodHandle.invokeExact(..)/invokeGeneric(..)*/
	long AnnotationPolymorphicSignature = ASTNode.Bit53L;
	/** @since 3.8 null annotation for MethodBinding or LocalVariableBinding (argument): */
	long AnnotationNullable = ASTNode.Bit56L;
	/** @since 3.8 null annotation for MethodBinding or LocalVariableBinding (argument): */
	long AnnotationNonNull = ASTNode.Bit57L;
	/** @since 3.8 null-default annotation for PackageBinding or TypeBinding or MethodBinding: */
	long AnnotationNonNullByDefault = ASTNode.Bit58L;
	/** @since 3.8 canceling null-default annotation for PackageBinding or TypeBinding or MethodBinding: */
	long AnnotationNullUnspecifiedByDefault = ASTNode.Bit59L;

	//{ObjectTeams: one more standard annotation:
	long AnnotationInstantiation = ASTNode.Bit21;
	// SH}

	long AllStandardAnnotationsMask =
	AnnotationTargetMASK
	\| AnnotationRetentionMASK
	\| AnnotationDeprecated
	\| AnnotationDocumented
	\| AnnotationInherited
	\| AnnotationOverride
	\| AnnotationSuppressWarnings
	//{ObjectTeams: one more standard annotation:
	\| AnnotationInstantiation
	// SH}
	\| AnnotationSafeVarargs
	\| AnnotationPolymorphicSignature
	\| AnnotationNullable
	\| AnnotationNonNull
	\| AnnotationNonNullByDefault
	\| AnnotationNullUnspecifiedByDefault;

	long DefaultValueResolved = ASTNode.Bit60L;

	// set when type contains non-private constructor(s)
	long HasNonPrivateConstructor = ASTNode.Bit61L;

	//{ObjectTeams:

	// is it a wrapped role type?
	long IsWrappedRole = ASTNode.Bit62L; // for role type bindings

	// is it a dependent type?
	long IsDependentType = ASTNode.Bit63L; // for type bindings
	// is a _OT$base field faked to compensate for weakening?
	long IsFakedField = ASTNode.Bit63L; // for field binding
	// have types been wrapped in the signature
	long HasWrappedSignature = ASTNode.Bit63L; // for method bindings
	// "new SomeTeam()" expression, unmatchable anchor
	long IsFreshTeamInstance = ASTNode.Bit63L; // for LocalVariableBinding

	// did a nested team require correction of team/role flags?
	long HasClassKindProblem = ASTNode.Bit64L; // for type binding (team&role)
	// parameter/return incompatibility btw base-role?
	long HasMappingIncompatibility = ASTNode.Bit64L; // for method mapping bindings
	long IsCopyOfParameterized = ASTNode.Bit64L; // for method bindings
	// is a role field needing a cast to the role class:
	long IsRoleClassField = ASTNode.Bit64L; // for field binding (role)

	// SH}
	}