()
| 2479 | } |
| 2480 | |
| 2481 | func (m *Proposal) GetCleanPredicate() string { |
| 2482 | if m != nil { |
| 2483 | return m.CleanPredicate |
| 2484 | } |
| 2485 | return "" |
| 2486 | } |
| 2487 | |
| 2488 | func (m *Proposal) GetDelta() *OracleDelta { |
| 2489 | if m != nil { |
nothing calls this directly
no outgoing calls
no test coverage detected