Packages

  • package root
    Definition Classes
    root
  • package swam
    Definition Classes
    root
  • package binary
    Definition Classes
    swam
  • package cfg
    Definition Classes
    swam
  • package dot

    Provides instances to generate [https://www.graphviz.org/ dot] representation for CFG.

  • BasicBlock
  • CFG
  • CFGBuilder
  • CFGicator
  • DominatorTree
  • Jump
  • package decompilation
    Definition Classes
    swam
  • package generator
    Definition Classes
    swam
  • package runtime

    This package contains all the classes and types related to running WebAssembly modules.

    This package contains all the classes and types related to running WebAssembly modules.

    The entry point for almost all users will be Engine. A typical use of the engine is:

    import swam._
import text._
import runtime._
import exports._

import cats.implicits._
import cats.effect._

import java.nio.file.Paths

val tcompiler = Compiler[IO]
val engine = Engine[IO]

for {
  tcompiler <- tcompiler
  engine <- engine
  mod <- engine.compile(/* source of the module */)
  inst <- mod.newInstance()
  f <- inst.exports.function1[Int, Int]("f")
  res <- f(43)
} yield res

println(res.unsafeRunSync())
    Definition Classes
    swam
  • package syntax

    Instructions in this package are grouped by category as described in the specification.

    Instructions in this package are grouped by category as described in the specification.

    Definition Classes
    swam
  • package text
    Definition Classes
    swam
  • package traversal
    Definition Classes
    swam
  • package util
    Definition Classes
    swam
  • package validation
    Definition Classes
    swam

package cfg

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. Protected

Package Members

  1. package dot

    Provides instances to generate [https://www.graphviz.org/ dot] representation for CFG.

Type Members

  1. case class BasicBlock(id: Int, name: String, stmts: List[Inst], jump: Option[Jump])(predecessors: List[Int]) extends Product with Serializable
  2. class CFG extends AnyRef

    An immutable control-flow graph.

    An immutable control-flow graph.

    To create a new CFG, see CFGBuilder.

  3. class CFGBuilder extends AnyRef
  4. class DominatorTree extends AnyRef

    The dominator tree associated to a CFG which can be traversed in several ways.

  5. sealed trait Jump extends AnyRef

    A jump represents the last element of a basic block.

Value Members

  1. object CFGBuilder
  2. object CFGicator
  3. object Jump

Ungrouped