modules: Cleanup access to the state in handler messages

[vitorenesduarte]

Crate

modules

Problem Definition

Currently we have getters for pub fields in the handler messages.

References:

• Model-based tests for ICS02 informalsystems/hermes#601 (comment)
• Add missing Channel Open/Close handlers informalsystems/hermes#618 (comment)

Proposal

Decide on a convention (likely just use pub) and apply it to all handler messages.

---

For Admin Use

• Not duplicate issue
• Appropriate labels applied
• Appropriate milestone (priority) applied
• Appropriate contributors tagged
• Contributor assigned/self-assigned

[Wizdave97]

@vitorenesduarte @adizere is your suggestion to remove the getters and allow direct access to the properties?

[romac]

@Wizdave97 Yes!