1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
// Copyright (c) The Diem Core Contributors
// SPDX-License-Identifier: Apache-2.0
use serde::{Deserialize, Serialize};
#[derive(Debug, Clone, Default, Serialize, Deserialize)]
#[serde(default, deny_unknown_fields)]
pub struct ModelBuilderOptions {
/// Ignore the "opaque" pragma on internal function (i.e., functions with no unknown callers)
/// specs when possible. The opaque can be ignored as long as the function spec has no property
/// marked as `[concrete]` or `[abstract]`.
pub ignore_pragma_opaque_internal_only: bool,
/// Ignore the "opaque" pragma on all function specs when possible. The opaque can be ignored
/// as long as the function spec has no property marked as `[concrete]` or `[abstract]`.
pub ignore_pragma_opaque_when_possible: bool,
}