attribute | The attribute instance that was attached to the method declaration. |
postConditionsMethod | The postcondition evaluation method. This is used when the method type is StateAttribute.AttributeType.StatePostConditions. |
preConditionsMethod | The precondition evaluation method. This is used when the method type is StateAttribute.AttributeType.StatePreConditions. |
runActionMethod | The run action method. This is used when the method type is StateAttribute.AttributeType.StateAction. |