diff options
author | Stephan Herrmann | 2011-12-09 23:30:58 +0000 |
---|---|---|
committer | Stephan Herrmann | 2011-12-09 23:30:58 +0000 |
commit | aa1e2846406913c2667ae663cfe66712153297c9 (patch) | |
tree | cd3b7b3a16764288eafa0cd4000b47000fe81ea4 /org.eclipse.jdt.core/compiler/org/eclipse/jdt/internal/compiler/lookup/TypeIds.java | |
parent | 10a91bb434c0bfac6d957fc01aa1adbc9a49923f (diff) | |
download | org.eclipse.objectteams-aa1e2846406913c2667ae663cfe66712153297c9.tar.gz org.eclipse.objectteams-aa1e2846406913c2667ae663cfe66712153297c9.tar.xz org.eclipse.objectteams-aa1e2846406913c2667ae663cfe66712153297c9.zip |
Merged with JDT/Core (+tests) up to v20111205-1355
Diffstat (limited to 'org.eclipse.jdt.core/compiler/org/eclipse/jdt/internal/compiler/lookup/TypeIds.java')
-rw-r--r-- | org.eclipse.jdt.core/compiler/org/eclipse/jdt/internal/compiler/lookup/TypeIds.java | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/org.eclipse.jdt.core/compiler/org/eclipse/jdt/internal/compiler/lookup/TypeIds.java b/org.eclipse.jdt.core/compiler/org/eclipse/jdt/internal/compiler/lookup/TypeIds.java index 115bf8339..7fff43423 100644 --- a/org.eclipse.jdt.core/compiler/org/eclipse/jdt/internal/compiler/lookup/TypeIds.java +++ b/org.eclipse.jdt.core/compiler/org/eclipse/jdt/internal/compiler/lookup/TypeIds.java @@ -10,6 +10,7 @@ * Stephan Herrmann - Contributions for * bug 349326 - [1.7] new warning for missing try-with-resources * bug 359362 - FUP of bug 349326: Resource leak on non-Closeable resource + * bug 186342 - [compiler][null] Using annotations for null checking *******************************************************************************/ package org.eclipse.jdt.internal.compiler.lookup; @@ -104,6 +105,11 @@ public interface TypeIds { final int T_JavaxAnnotationPostConstruct = 63; final int T_JavaxAnnotationPreDestroy = 64; + + // new in 3.8 for null annotations: + final int T_ConfiguredAnnotationNullable = 65; + final int T_ConfiguredAnnotationNonNull = 66; + final int T_ConfiguredAnnotationNonNullByDefault = 67; final int NoId = Integer.MAX_VALUE; |