polyhorn-android 0.4.0

Polyhorn for Android.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

mod builtin;
mod component;
mod compositor;
mod container;
mod convert;
mod environment;
mod logger;
mod platform;

pub use builtin::Builtin;
pub use component::{Component, OpaqueComponent};
pub use compositor::{CommandBuffer, Compositor, ContainerID};
pub use container::{Container, OpaqueContainer};
pub use convert::Convert;
pub use environment::Environment;
pub use logger::AndroidLogger;
pub use platform::Platform;

pub mod jni {
    pub use jni::objects::JObject;
    pub use jni::JNIEnv;
}