楕円形は、Java 5 またはそれ以降、拡張可能なオブジェクト検証フレームワークです。注釈 (@!NotNull) または XML 構成ファイルはクラスの制約を表現する使用ことができます。楕円形は AspectJ 自動検証 (DbC) を強制するオプションで使用できますを使用する方法: オーバルは maven の中央リポジトリで http://oval.sourceforge.net/userguide.html: <dependency><groupId>net.sf.oval</groupId> <artifactId>楕円</artifactId> <version>1.83</version></dependency>