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

Interface InstrumentedJar

public interface InstrumentedJar
An instrumented (and hence verified) jar file. This means for instance that storage classes have been instrumented by adding the serialization support and contracts are instrumented in order to deal with payable calls.

  • Method Summary

    Modifier and Type
    Method
    Description
    Stream<InstrumentedClass>
    classes()
    Yields the classes in this jar file.
    void
    dump(Path destination)
    Dumps this instrumented jar into a file.
    byte[]
    toBytes()
    Yields the bytes of this jar.

  • Method Details

    • dump

      void dump(Path destination) throws IOException
      Dumps this instrumented jar into a file.
      Parameters:
      destination - the destination file where the jar must be dumped
      Throws:
      IOException - if an I/O error occurred

    • toBytes

      byte[] toBytes()
      Yields the bytes of this jar.
      Returns:
      the bytes

    • classes

      Stream<InstrumentedClass> classes()
      Yields the classes in this jar file.
      Returns:
      the classes