mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-07 09:46:39 +07:00
GitOrigin-RevId: 8b2b63fc6db476ca0c2cfe5cadd84db6c4236d0f
7 lines
106 B
Plaintext
7 lines
106 B
Plaintext
import org.jetbrains.annotations.Range;
|
|
|
|
interface Date {
|
|
|
|
@Range(from = 1, to = 12)
|
|
int getMonth();
|
|
} |