MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

@NotNull annotations for *DateFormat

Browse Source
This commit is contained in:
Bas Leijdekkers
2013-10-26 21:57:24 +02:00
parent a0a5570958
commit deba1c4d14
2 changed files with 64 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/jdkAnnotations/java/text/annotations.xml
+57 -3
View File
@@ -1,5 +1,20 @@
<?xml version="1.0" encoding="UTF-8"?>
<root>
<item name='java.text.DateFormat java.lang.Object parseObject(java.lang.String, java.text.ParsePosition) 1'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.text.Format java.lang.Object parseObject(java.lang.String, java.text.ParsePosition) 1'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.text.Format java.lang.StringBuffer format(java.lang.Object, java.lang.StringBuffer, java.text.FieldPosition) 1'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.text.Format java.lang.StringBuffer format(java.lang.Object, java.lang.StringBuffer, java.text.FieldPosition) 2'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.text.Format java.text.AttributedCharacterIterator formatToCharacterIterator(java.lang.Object) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name="java.text.MessageFormat MessageFormat(java.lang.String) 0">
<annotation name="org.jetbrains.annotations.NotNull" />
</item>
@@ -32,12 +47,51 @@
</item>
<item name="java.text.SimpleDateFormat SimpleDateFormat(java.lang.String) 0">
<annotation name="org.jetbrains.annotations.NonNls" />
</item>
<item name="java.text.SimpleDateFormat SimpleDateFormat(java.lang.String, java.util.Locale) 0">
<annotation name="org.jetbrains.annotations.NonNls" />
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name="java.text.SimpleDateFormat SimpleDateFormat(java.lang.String, java.text.DateFormatSymbols) 0">
<annotation name="org.jetbrains.annotations.NonNls" />
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.text.SimpleDateFormat SimpleDateFormat(java.lang.String, java.text.DateFormatSymbols) 1'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name="java.text.SimpleDateFormat SimpleDateFormat(java.lang.String, java.util.Locale) 0">
<annotation name="org.jetbrains.annotations.NonNls" />
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.text.SimpleDateFormat SimpleDateFormat(java.lang.String, java.util.Locale) 1'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.text.SimpleDateFormat java.lang.StringBuffer format(java.util.Date, java.lang.StringBuffer, java.text.FieldPosition) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.text.SimpleDateFormat java.lang.StringBuffer format(java.util.Date, java.lang.StringBuffer, java.text.FieldPosition) 1'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.text.SimpleDateFormat java.lang.StringBuffer format(java.util.Date, java.lang.StringBuffer, java.text.FieldPosition) 2'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.text.SimpleDateFormat java.text.AttributedCharacterIterator formatToCharacterIterator(java.lang.Object) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.text.SimpleDateFormat java.util.Date parse(java.lang.String, java.text.ParsePosition) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.text.SimpleDateFormat java.util.Date parse(java.lang.String, java.text.ParsePosition) 1'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.text.SimpleDateFormat void applyLocalizedPattern(java.lang.String) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.text.SimpleDateFormat void applyPattern(java.lang.String) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.text.SimpleDateFormat void set2DigitYearStart(java.util.Date) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.text.SimpleDateFormat void setDateFormatSymbols(java.text.DateFormatSymbols) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
</root>
platform/util/src/com/intellij/util/text/SyncDateFormat.java
+7 -5
View File
@@ -1,5 +1,5 @@
/*
* Copyright 2000-2009 JetBrains s.r.o.
* Copyright 2000-2013 JetBrains s.r.o.
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
@@ -16,6 +16,8 @@
package com.intellij.util.text;
import org.jetbrains.annotations.NotNull;
import java.text.DateFormat;
import java.text.ParseException;
import java.text.SimpleDateFormat;
@@ -28,15 +30,15 @@ import java.util.TimeZone;
public class SyncDateFormat {
private final DateFormat myDelegate;
public SyncDateFormat(DateFormat delegate) {
public SyncDateFormat(@NotNull DateFormat delegate) {
myDelegate = delegate;
}
public synchronized Date parse(String s) throws ParseException {
public synchronized Date parse(@NotNull String s) throws ParseException {
return myDelegate.parse(s);
}
public synchronized String format(Date date) {
public synchronized String format(@NotNull Date date) {
return myDelegate.format(date);
}
@@ -44,7 +46,7 @@ public class SyncDateFormat {
return myDelegate.format(time);
}
public synchronized void setTimeZone(final TimeZone timeZone) {
public synchronized void setTimeZone(@NotNull final TimeZone timeZone) {
myDelegate.setTimeZone(timeZone);
}