jadex.bridge.service.annotation.CheckIndex Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of jadex-platform-bridge Show documentation

Jadex bridge is a base package for kernels and platforms, i.e., it is used by both and provides commonly used interfaces and classes for active components and their management.

There is a newer version: 4.0.267

Show newest version

package jadex.bridge.service.annotation;

import java.lang.annotation.ElementType;
import java.lang.annotation.Retention;
import java.lang.annotation.RetentionPolicy;
import java.lang.annotation.Target;


/**
 *  Precondition for checking if the argument is a valid index.
 *
 *  The value of this precondition is used to determine
 *  the argument number with the collection or array to check
 *  the index against. The check tests index>=0 && collection.size()>index
 */
@Retention(RetentionPolicy.RUNTIME)
@Target({ElementType.PARAMETER})
public @interface CheckIndex
{
	/**
	 *  The argument number with the array or collection or array.
	 */
	public int value();
}