Uses of Annotation Interface
com.tnsai.annotations.Effect

Packages that use Effect

Package	Description
com.tnsai.metadata	Metadata extraction and representation for actions, tools, and roles.

Uses of Effect in com.tnsai.metadata

Methods in com.tnsai.metadata that return Effect

Modifier and Type	Method	Description
Effect[]	ContractConfig.effects()	Returns the value of the effects record component.
Effect[]	ActionMetadata.getEffects()	Gets the effects defined for this action.

Constructors in com.tnsai.metadata with parameters of type Effect

Modifier	Constructor	Description
	ContractConfig(String precondition, String postcondition, String[] fulfills, Effect[] effects, boolean autoApplyEffects)	Creates an instance of a ContractConfig record class.