Package

org.argus.jawa.core

backend

Permalink

package backend

Visibility
  1. Public
  2. All

Type Members

  1. trait JavaPlatform extends Platform

    Permalink

  2. trait Platform extends AnyRef

    Permalink

    The platform dependent pieces of Global.

Ungrouped