BcelToClass (io-hotmoka-verification 1.0.3 API)

```
public interface BcelToClass
```
A utility that transforms a BCEL type into its corresponding class tag.

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`Class<?>`	`of(org.apache.bcel.generic.Type type)`	Computes the Java class tag for the given BCEL type.
`Class<?>[]`	`of(org.apache.bcel.generic.Type[] types)`	Computes the Java class tags for the given BCEL types.

- Method Detail
  - of
```
Class<?> of(org.apache.bcel.generic.Type type)
```
    Computes the Java class tag for the given BCEL type.
    
    Parameters:
    
    type - the BCEL type
    
    Returns:
    
    the class tag corresponding to type
  - of
```
Class<?>[] of(org.apache.bcel.generic.Type[] types)
```
    Computes the Java class tags for the given BCEL types.
    
    Parameters:
    
    types - the BCEL types
    
    Returns:
    
    the class tags corresponding to types