Succeeds if this objective may be completed for Reason; the default succeeds.
Veto by returning errors.
Verse using statement |
using { /Verse.org/Progression } |
CanComplete<public><native><native_callable>(Reason:complete_objective_reason)<computes><reads><dictates>:unknown
Parameters
CanComplete takes the following parameters:
| Name | Type | Description |
|---|---|---|
Reason |
complete_objective_reason |
Attributes, Specifiers, and Effects
Specifiers
The following specifiers determine how you can interact with CanComplete in your programs. For the complete list of specifiers, see the Specifiers Page.
| Specifier | Meaning |
|---|---|
public |
The identifier is universally accessible. You can use this on modules, classes, interfaces, structs, enums, methods, and data. |
native |
Indicates that the definition details of the element are implemented in C++. Verse definitions with the native specifier auto-generate C++ definitions that a developer can then fill out its implementation. You can use this specifier on classes, interfaces, enums, methods, and data. |
native_callable |
Indicates that an instance method is both native (implemented in C++) and may be called by other C++ code. You can see this specifier used on an instance method. This specifier doesn’t propagate to subclasses and so you don’t need to add it to a definition when overriding a method that has this specifier. |
Effects
The following effects determine how CanComplete behaves in your programs. For the complete list of effects, see the Effect Specifers section of the Specifiers Page.
| Effect | Meaning |
|---|---|
computes |
This effect requires that the function has no side effects, and is not guaranteed to complete. There’s an unchecked requirement that the function, when provided with the same arguments, produces the same result. Any function that doesn’t have the native specifier that would otherwise have the converges effect is a good example of using the computes effect. |
reads |
This effect indicates that the same inputs to the function may not always produce the same output. The behavior depends on factors external to the specified inputs, such as memory or the containing package version. |
dictates |