use super::{
ebi_command::{EBI_COMMANDS, EbiCommand},
ebi_file_handler::{EBI_FILE_HANDLERS, EbiFileHandler},
ebi_input::{EbiInput, EbiInputType},
};
use crate::ebi_traits::{
ebi_trait_activities, ebi_trait_event_log, ebi_trait_event_log_event_attributes,
ebi_trait_event_log_trace_attributes, ebi_trait_graphable, ebi_trait_semantics,
ebi_trait_stochastic_deterministic_semantics, ebi_trait_stochastic_partially_ordered_semantics,
ebi_trait_stochastic_semantics,
};
use ebi_objects::{
anyhow::{Result, anyhow},
ebi_arithmetic::Fraction,
};
use std::{
collections::{BTreeSet, HashSet},
fmt::Debug,
};
use strum_macros::{Display, EnumIter, EnumString};
#[derive(Clone, Copy, PartialEq, Eq, EnumIter, Hash, Default, EnumString, Display)]
pub enum EbiTrait {
#[strum(serialize = "activities")]
Activities,
#[default]
#[strum(serialize = "event log")]
EventLog,
#[strum(serialize = "event log with event attributes")]
EventLogEventAttributes,
#[strum(serialize = "event log with trace attributes")]
EventLogTraceAttributes,
#[strum(serialize = "finite language")]
FiniteLanguage,
#[strum(serialize = "finite stochastic language")]
FiniteStochasticLanguage,
#[strum(serialize = "graphable")]
Graphable,
#[strum(serialize = "iterable language")]
IterableLanguage,
#[strum(serialize = "iterable stochastic language")]
IterableStochasticLanguage,
#[strum(serialize = "queriable stochastic language")]
QueriableStochasticLanguage,
#[strum(serialize = "semantics")]
Semantics,
#[strum(serialize = "stochastic deterministic semantics")]
StochasticDeterministicSemantics,
#[strum(serialize = "stochastic partially ordered semantics")]
StochasticPartiallyOrderedSemantics,
#[strum(serialize = "stochastic semantics")]
StochasticSemantics,
}
impl EbiTrait {
pub fn get_file_handlers(&self) -> Vec<&'static EbiFileHandler> {
let mut result = HashSet::new();
for file_handler in EBI_FILE_HANDLERS {
for importer in file_handler.trait_importers {
if &importer.get_trait() == self {
result.insert(file_handler);
}
}
}
let mut result: Vec<&EbiFileHandler> = result.into_iter().collect();
result.sort();
result
}
pub fn get_article(&self) -> &str {
match self {
EbiTrait::EventLog => "an",
EbiTrait::EventLogEventAttributes => "an",
EbiTrait::EventLogTraceAttributes => "an",
EbiTrait::IterableLanguage => "an",
EbiTrait::FiniteLanguage => "a",
EbiTrait::FiniteStochasticLanguage => "a",
EbiTrait::IterableStochasticLanguage => "an",
EbiTrait::QueriableStochasticLanguage => "a",
EbiTrait::StochasticDeterministicSemantics => "a",
EbiTrait::StochasticPartiallyOrderedSemantics => "a",
EbiTrait::StochasticSemantics => "a",
EbiTrait::Semantics => "a",
EbiTrait::Graphable => "a",
EbiTrait::Activities => "",
}
}
pub fn get_applicable_commands(&self) -> BTreeSet<Vec<&'static EbiCommand>> {
let mut result = EBI_COMMANDS.get_command_paths();
result.retain(|path| {
if let EbiCommand::Command { input_types, .. } = path[path.len() - 1] {
for input_typess in input_types.iter() {
for input_typesss in input_typess.iter() {
if input_typesss == &&EbiInputType::Trait(self.clone()) {
return true;
}
}
}
}
false
});
result
}
pub fn get_explanation(&self) -> &str {
match self {
EbiTrait::EventLog => ebi_trait_event_log::TRAIT_DEFINITION_LATEX,
EbiTrait::EventLogEventAttributes => ebi_trait_event_log_event_attributes::TRAIT_DEFINITION_LATEX,
EbiTrait::EventLogTraceAttributes => ebi_trait_event_log_trace_attributes::TRAIT_DEFINITION_LATEX,
EbiTrait::FiniteLanguage => "Iterating over a finite language will yield each trace variant once.
\\\\
Definition: let $\\Sigma$ be an alphabet of activities.
Then, a \\emph{trace} $\\sigma \\in \\Sigma^*$ is a finite sequence of activities, and
a \\emph{finite language} $F \\subseteq \\Sigma^*$ is a finite set of traces.",
EbiTrait::FiniteStochasticLanguage => "Iterating over a finite stochastic language will yield each trace variant once, as well as how likely that trace variant is in the language.
The probabilities are positive and their sum must be smaller than or equal to one.
The ``missing'' probability means ``no trace'' or ``livelock''.
\\\\
Definition: let $\\Sigma$ be an alphabet of activities.
Then, a \\emph{trace} $\\sigma \\in \\Sigma^*$ is a finite sequence of activities, and
a \\emph{finite stochastic language} $S \\subseteq \\Sigma^* \\mapsto \\mathcal{R}^+$ is a finite set of trace-probability tuples, such that $1 \\geq \\sum_{\\sigma \\in \\Sigma^*} S(\\sigma) $.",
EbiTrait::IterableLanguage => {
"An iterable language allows to walk over its traces. May iterate over infinitely many traces and not terminate."
}
EbiTrait::IterableStochasticLanguage => {
"An iterable stochastic language allows to walk over its traces and their probabilities. May iterate over infinitely many traces and not terminate."
}
EbiTrait::QueriableStochasticLanguage => {
"A queriable stochastic language can be given a trace, and it will return the probability of the trace."
}
EbiTrait::Semantics => ebi_trait_semantics::TRAIT_DEFINITION_LATEX,
EbiTrait::StochasticPartiallyOrderedSemantics => ebi_trait_stochastic_partially_ordered_semantics::TRAIT_DEFINITION_LATEX,
EbiTrait::StochasticDeterministicSemantics => ebi_trait_stochastic_deterministic_semantics::TRAIT_DEFINITION_LATEX,
EbiTrait::StochasticSemantics => ebi_trait_stochastic_semantics::TRAIT_DEFINITION_LATEX,
EbiTrait::Graphable => ebi_trait_graphable::TRAIT_DEFINITION_LATEX,
EbiTrait::Activities => ebi_trait_activities::TRAIT_DEFINITION_LATEX,
}
}
}
impl Ord for EbiTrait {
fn cmp(&self, other: &Self) -> std::cmp::Ordering {
self.to_string()
.to_lowercase()
.cmp(&other.to_string().to_lowercase())
}
}
impl PartialOrd for EbiTrait {
fn partial_cmp(&self, other: &Self) -> Option<std::cmp::Ordering> {
self.to_string()
.to_lowercase()
.partial_cmp(&other.to_string().to_lowercase())
}
}
impl Debug for EbiTrait {
fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
std::fmt::Display::fmt(&self, f)
}
}
pub trait FromEbiTraitObject {
fn from_trait_object(object: EbiInput) -> Result<Box<Self>>;
}
impl FromEbiTraitObject for Fraction {
fn from_trait_object(object: EbiInput) -> Result<Box<Self>> {
match object {
EbiInput::Fraction(e, _) => Ok(Box::new(e)),
_ => Err(anyhow!(
"cannot read {} {} as a fraction",
object.get_type().get_article(),
object.get_type()
)),
}
}
}
impl FromEbiTraitObject for usize {
fn from_trait_object(object: EbiInput) -> Result<Box<Self>> {
match object {
EbiInput::Usize(e, _) => Ok(Box::new(e)),
_ => Err(anyhow!(
"cannot read {} {} as an integer",
object.get_type().get_article(),
object.get_type()
)),
}
}
}
impl FromEbiTraitObject for String {
fn from_trait_object(object: EbiInput) -> Result<Box<Self>> {
match object {
EbiInput::String(e, _) => Ok(Box::new(e)),
_ => Err(anyhow!(
"cannot read {} {} as an integer",
object.get_type().get_article(),
object.get_type()
)),
}
}
}
#[cfg(test)]
mod tests {
use strum::IntoEnumIterator;
use crate::{
ebi_framework::ebi_input::{EbiInput, TEST_INPUT_TYPE_STRING, TEST_INPUT_TYPE_USIZE},
prom::java_object_handler::JavaObjectHandlerQueryImport,
};
use super::{EbiTrait, FromEbiTraitObject};
#[test]
fn traits() {
for etrait in EbiTrait::iter() {
etrait.get_applicable_commands();
etrait.get_article();
etrait.get_java_object_handlers_that_can_import();
etrait.to_string();
let _ = format!("{:?}", etrait);
}
let _ =
String::from_trait_object(EbiInput::String("xyz".to_string(), &TEST_INPUT_TYPE_STRING));
}
#[test]
#[should_panic]
fn unreachable_string() {
String::from_trait_object(EbiInput::Usize(1, &TEST_INPUT_TYPE_USIZE)).unwrap();
}
#[test]
#[should_panic]
fn unreachable_usize() {
usize::from_trait_object(EbiInput::String("abc".to_string(), &TEST_INPUT_TYPE_STRING))
.unwrap();
}
}