Struct polyhorn_cli::android::Spec

pub struct Spec {
    pub package: String,
    pub version_code: usize,
    pub min_sdk_version: usize,
    pub target_sdk_version: usize,
    pub library: String,
}

This spec contains Android-specific settings.

Fields

package: String

This is the package identifier for Android that uniquely identifies your app on a user's device and within the Google Play Store. The package identifier usually looks like a reverse DNS name. The package identifier must contain of at least two segments, each segment must start with a letter and can only contain alphanumeric characters.

version_code: usize

This is the version code for Android. The version code is used to determine the order of multiple releases of the same app. Each subsequent release must have a version code that is strictly greater than the previous release's version code (but it is allowed to skip version codes in between). Additionally, this is also used by the OS to deny downgrades to earlier versions of your app (e.g. to protect against cases where you introduce backwards incompatible changes to a persistent storage format).

min_sdk_version: usize

This is the minimum API version that your app supports. If you're not bringing in your own native Java code, this should generally not be changed. In any case, don't change this to an API version lower than the Polyhorn default (16), because our own Java code might not be compatible with earlier API versions.

target_sdk_version: usize

This is the target API version that your app uses to build. We're currently compiling native Java code against the most recent Android API level. If you don't bring in your own Java code, you shouldn't need to change this. Even if you do bring in your own Java code, it's unlikely that you need to change this.

library: String

This is the name of the shared library that will contain your Rust code. End users will not be aware of this. It simply refers to the name of the shared library that will reside in jniLibs/*. Usually, this will be the lowercased last segment of the package identifier.

Trait Implementations

impl Clone for Spec

fn clone(&self) -> Spec

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Spec

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Spec

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
    __D: Deserializer<'de>, 

Deserialize this value from the given Serde deserializer.

impl Eq for Spec

impl PartialEq<Spec> for Spec

fn eq(&self, other: &Spec) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Spec) -> bool

This method tests for !=.

impl Serialize for Spec

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error> where
    __S: Serializer, 

Serialize this value into the given Serde serializer.

impl StructuralEq for Spec

impl StructuralPartialEq for Spec