Module io.hotmoka.instrumentation.api
Package io.hotmoka.instrumentation.api

Interface InstrumentedClass

All Superinterfaces:
Comparable<InstrumentedClass>
public interface InstrumentedClass extends Comparable<InstrumentedClass>
An instrumented class file. For instance, storage classes are instrumented by adding the serialization support; contracts are instrumented in order to deal with payable calls. Instrumented classes are ordered by name.

  • Method Summary

    Modifier and Type
    Method
    Description
    String
    getClassName()
    Yields the fully-qualified name of this class.
    org.apache.bcel.classfile.JavaClass
    toJavaClass()
    Yields a Java class from this object.

    Methods inherited from interface java.lang.Comparable

    compareTo

  • Method Details

    • getClassName

      String getClassName()
      Yields the fully-qualified name of this class.
      Returns:
      the fully-qualified name

    • toJavaClass

      org.apache.bcel.classfile.JavaClass toJavaClass()
      Yields a Java class from this object.
      Returns:
      the Java class