• Frames
• No Frames

• Summary:
• Required
Optional

• | Detail:
• Element

• ---

  @Retention(RetentionPolicy.RUNTIME)
  @Target({ElementType.CONSTRUCTOR, ElementType.METHOD})
  @Incubating
  public @interface EnsuresConditions

  Represents multiple postconditions.

• • Element Summary

    Required Element Summary

    Type	Name and Description
    Ensures[]	value

  • Inherited Methods Summary

    Inherited Methods

    Methods inherited from class	Name
    class Object	equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

• • Element Detail

    • public Ensures[] value

• Overview
• Package
• Class
• Deprecated
• Index
• Help

Copyright © 2003-2025 The Apache Software Foundation. All rights reserved.