Resolver (io-hotmoka-verification 1.0.3 API)

```
public interface Resolver
```
An utility that implements resolving algorithms for field and methods.

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`Optional<? extends Executable>`	`resolvedExecutableFor(org.apache.bcel.generic.InvokeInstruction invoke)`	Yields the method or constructor signature that would be accessed by the given instruction.
`Optional<Field>`	`resolvedFieldFor(org.apache.bcel.generic.FieldInstruction fi)`	Yields the field signature that would be accessed by the given instruction.

- Method Detail
  - resolvedFieldFor
```
Optional<Field> resolvedFieldFor(org.apache.bcel.generic.FieldInstruction fi)
```
    Yields the field signature that would be accessed by the given instruction.
    
    Parameters:
    
    fi - the instruction
    
    Returns:
    
    the signature, if any
  - resolvedExecutableFor
```
Optional<? extends Executable> resolvedExecutableFor(org.apache.bcel.generic.InvokeInstruction invoke)
```
    Yields the method or constructor signature that would be accessed by the given instruction. At run time, that signature or one of its redefinitions (for non-private non-final methods) will be called.
    
    Parameters:
    
    invoke - the instruction
    
    Returns:
    
    the signature