Crate task_maker
source ·Expand description
The new cmsMake!
§Installation
-For Ubuntu and Debian users you can find the .deb file in the Releases page.
+
For Ubuntu and Debian users you can find the .deb file in the Releases page.
Install the package using sudo dpkg -i the_file.deb and it’s dependencies (if you need to) with sudo apt install -f.
There is a good chance that you have already all the dependencies already installed.
For Ubuntu it’s also possible to install task-maker-rust using a PPA:
@@ -16,7 +16,7 @@§Installat
- Install the latest stable rust version (and cargo). For example using rustup
- Install the system dependencies:
libseccomp or libseccomp-dev on Ubuntu
-- Clone this repo:
git clone https://github.com/edomora97/task-maker-rust
+- Clone this repo:
git clone https://github.com/olimpiadi-informatica/task-maker-rust
- Build task-maker:
cargo build --release
libseccomp or libseccomp-dev on Ubuntugit clone https://github.com/edomora97/task-maker-rustgit clone https://github.com/olimpiadi-informatica/task-maker-rustcargo build --releaseThe executable should be located at target/release/task-maker.
diff --git a/task_maker_format/ioi/italian_yaml/index.html b/task_maker_format/ioi/italian_yaml/index.html
index 76ce9f540..2ecfef3a0 100644
--- a/task_maker_format/ioi/italian_yaml/index.html
+++ b/task_maker_format/ioi/italian_yaml/index.html
@@ -6,7 +6,7 @@
§g
cmsImportTask.
The gen/GEN file describes how the input files of the testcases should be generated and how
the subtasks are composed. The formal definition of the format can be found looking at the
-parsing grammar.
+parsing grammar.
The format is described here informally.
Each line of that file can be of one of the following types:
@@ -53,7 +53,7 @@ §<
example it allows you to use just a single generator and a single validator. A new format, not
yet officially supported by cms (but workaround exists!), is here described.
The formal definition of the format can be found in the
-parsing grammar.
+parsing grammar.
An informal explanation is here provided.
Similarly to gen/GEN, each line is independent and can be one of the following:
diff --git a/task_maker_format/ioi/struct.SubtaskInfo.html b/task_maker_format/ioi/struct.SubtaskInfo.html
index 587414359..03b88faf0 100644
--- a/task_maker_format/ioi/struct.SubtaskInfo.html
+++ b/task_maker_format/ioi/struct.SubtaskInfo.html
@@ -6,7 +6,7 @@
pub testcases: Vec<TestcaseId>,
pub testcases_owned: Vec<TestcaseId>,
pub input_validator: InputValidator,
- pub span: Option<CodeSpan>,
+ pub span: Option<CodeSpan>,
pub is_default: bool,
pub dependencies: Vec<SubtaskId>,
}
Expand description
A subtask of a IOI task.
@@ -18,7 +18,7 @@
§testcases: Vec<TestcaseId>The testcases inside this subtask.
§testcases_owned: Vec<TestcaseId>The original testcases inside this subtask.
§input_validator: InputValidatorThe validator for the input files of this subtask.
-§span: Option<CodeSpan>The span of the definition of this subtask.
+§span: Option<CodeSpan>The span of the definition of this subtask.
§is_default: boolWhether this subtask was created automatically since no subtask was present in gen/GEN.
§dependencies: Vec<SubtaskId>The list of the dependencies of this subtask.
Trait Implementations§
source§impl Clone for SubtaskInfo
source§fn clone(&self) -> SubtaskInfo
Returns a copy of the value. Read more1.0.0 · source§fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read moresource§impl Debug for SubtaskInfo
source§impl Default for SubtaskInfo
source§fn default() -> SubtaskInfo
Returns the “default value” for a type. Read moresource§impl<'de> Deserialize<'de> for SubtaskInfo
source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
diff --git a/task_maker_format/ioi/struct.UIState.html b/task_maker_format/ioi/struct.UIState.html
index 0a65a8d18..08658ac20 100644
--- a/task_maker_format/ioi/struct.UIState.html
+++ b/task_maker_format/ioi/struct.UIState.html
@@ -8,7 +8,7 @@
pub evaluations: HashMap<PathBuf, SolutionEvaluationState>,
pub executor_status: Option<ExecutorStatus<SystemTime>>,
pub booklets: HashMap<String, BookletState>,
- pub diagnostics: DiagnosticContext,
+ pub diagnostics: DiagnosticContext,
}Expand description
The state of a IOI task, all the information for the UI are stored here.
Fields§
§task: IOITaskThe task.
§config: ExecutionDAGConfigThe configuration of this evaluation.
@@ -19,7 +19,7 @@
§evaluations: HashMap<PathBuf, SolutionEvaluationState>The status of the evaluations of the solutions.
§executor_status: Option<ExecutorStatus<SystemTime>>The status of the executor.
§booklets: HashMap<String, BookletState>The status of the booklets
-§diagnostics: DiagnosticContextDiagnostic context.
+§diagnostics: DiagnosticContextDiagnostic context.
Implementations§
source§impl UIState
sourcepub fn run_solution_checks(&self) -> Vec<SolutionCheckOutcome>
Evaluate the checks of all the solutions.
This function should be called only after all the executions have completed.
diff --git a/task_maker_format/struct.EvaluationData.html b/task_maker_format/struct.EvaluationData.html
index 7fc9935a3..b19e28a4b 100644
--- a/task_maker_format/struct.EvaluationData.html
+++ b/task_maker_format/struct.EvaluationData.html
@@ -11,7 +11,7 @@
Implementations§
source§impl EvaluationData
sourcepub fn new<P: Into<PathBuf>>(
task_root: P,
) -> (EvaluationData, UIChannelReceiver)
Crate a new EvaluationData returning the data and the receiving part of the UI channel.
-sourcepub fn add_diagnostic(&self, diagnostic: Diagnostic) -> Result<(), Error>
Add a diagnostic message to the UI.
+sourcepub fn add_diagnostic(&self, diagnostic: Diagnostic) -> Result<(), Error>
Add a diagnostic message to the UI.
Auto Trait Implementations§
§impl Freeze for EvaluationData
§impl !RefUnwindSafe for EvaluationData
§impl !Send for EvaluationData
§impl !Sync for EvaluationData
§impl Unpin for EvaluationData
§impl !UnwindSafe for EvaluationData
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
diff --git a/task_maker_format/struct.SolutionCheck.html b/task_maker_format/struct.SolutionCheck.html
index 661295981..16e43d406 100644
--- a/task_maker_format/struct.SolutionCheck.html
+++ b/task_maker_format/struct.SolutionCheck.html
@@ -1,15 +1,15 @@
SolutionCheck in task_maker_format - Rust Struct task_maker_format::SolutionCheck
source · pub struct SolutionCheck {
pub result: SolutionCheckResult,
pub subtask_name_pattern: String,
- pub code_span: CodeSpan,
+ pub code_span: CodeSpan,
}
Expand description
A check to perform on a solution, against a subtask.
Fields§
§result: SolutionCheckResultThe expected result of the solution.
§subtask_name_pattern: StringThe pattern that should match the name of the subtask to check.
-§code_span: CodeSpanSpan of this check.
+§code_span: CodeSpanSpan of this check.
Implementations§
source§impl SolutionCheck
sourcepub fn new(
result: SolutionCheckResult,
pattern: impl Into<String>,
- code_span: CodeSpan,
+ code_span: CodeSpan,
) -> Self
Create a new SolutionCheck with the given result, that targets all the subtasks matching
pattern.
source§impl SolutionCheck
sourcepub fn extract_check_list<P: AsRef<Path>>(
diff --git a/task_maker_format/trait.UISender.html b/task_maker_format/trait.UISender.html
index 852c3c11b..8655be44c 100644
--- a/task_maker_format/trait.UISender.html
+++ b/task_maker_format/trait.UISender.html
@@ -3,10 +3,10 @@
fn send(&self, message: UIMessage) -> Result<(), Error>;
// Provided method
- fn add_diagnostic(&self, diagnostic: Diagnostic) -> Result<(), Error> { ... }
+ fn add_diagnostic(&self, diagnostic: Diagnostic) -> Result<(), Error> { ... }
}Expand description
What can send UIMessages.
Required Methods§
Provided Methods§
sourcefn add_diagnostic(&self, diagnostic: Diagnostic) -> Result<(), Error>
Send a diagnostic message to the UI.
+Provided Methods§
sourcefn add_diagnostic(&self, diagnostic: Diagnostic) -> Result<(), Error>
Send a diagnostic message to the UI.
Implementations on Foreign Types§
source§impl UISender for Mutex<UIMessageSender>
Implement .send(message) for Mutex<UIMessageSender> in order to do
EvaluationData.sender.send(message). This will lock the mutex and send the message to the UI.
Implementors§
\ No newline at end of file
diff --git a/task_maker_format/ui/enum.UIMessage.html b/task_maker_format/ui/enum.UIMessage.html
index 473f9b527..762160801 100644
--- a/task_maker_format/ui/enum.UIMessage.html
+++ b/task_maker_format/ui/enum.UIMessage.html
@@ -95,7 +95,7 @@
outcome: Result<SolutionOutcome, String>,
},
Diagnostic {
- diagnostic: Diagnostic,
+ diagnostic: Diagnostic,
},
}Expand description
A message sent to the UI.
Variants§
§StopUI
A message asking the UI to exit.
@@ -176,7 +176,7 @@
Fields
§outcome: Result<SolutionOutcome, String>The outcome of the solution. Err is caused by an invalid response from the checker.
§Diagnostic
A diagnostic message has been emitted.
-Fields
§diagnostic: DiagnosticThe diagnostic message.
+Fields
§diagnostic: DiagnosticThe diagnostic message.
Trait Implementations§
source§impl<'de> Deserialize<'de> for UIMessage
source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read moreAuto Trait Implementations§
§impl Freeze for UIMessage
§impl !RefUnwindSafe for UIMessage
§impl Send for UIMessage
§impl Sync for UIMessage
§impl Unpin for UIMessage
§impl !UnwindSafe for UIMessage
Blanket Implementations§
source§impl<T> Any for Twhere
diff --git a/task_maker_format/ui/struct.FinishUIUtils.html b/task_maker_format/ui/struct.FinishUIUtils.html
index 46bd356ff..7bde9f0ca 100644
--- a/task_maker_format/ui/struct.FinishUIUtils.html
+++ b/task_maker_format/ui/struct.FinishUIUtils.html
@@ -7,7 +7,7 @@
sourcepub fn print_time_memory(resources: &ExecutionResourcesUsage)
Print the time and memory usage of an execution.
sourcepub fn print_fail_execution_status(status: &ExecutionStatus)
Print a message for the non-successful variants of the provided status.
sourcepub fn get_max_len<T>(solutions: &HashMap<PathBuf, T>) -> usize
Find the maximum length of the solutions name from the keys of the given structure.
-sourcepub fn print_diagnostic_messages(&mut self, diagnostics: &DiagnosticContext)
Print the diagnostics.
+sourcepub fn print_diagnostic_messages(&mut self, diagnostics: &DiagnosticContext)
Print the diagnostics.
Auto Trait Implementations§
§impl<'a> Freeze for FinishUIUtils<'a>
§impl<'a> RefUnwindSafe for FinishUIUtils<'a>
§impl<'a> Send for FinishUIUtils<'a>
§impl<'a> Sync for FinishUIUtils<'a>
§impl<'a> Unpin for FinishUIUtils<'a>
§impl<'a> !UnwindSafe for FinishUIUtils<'a>
Blanket Implementations§
cmsImportTask.
The gen/GEN file describes how the input files of the testcases should be generated and how
the subtasks are composed. The formal definition of the format can be found looking at the
-parsing grammar.
+parsing grammar.
The format is described here informally.
Each line of that file can be of one of the following types:
-
@@ -53,7 +53,7 @@
§<
example it allows you to use just a single generator and a single validator. A new format, not
yet officially supported by cms (but workaround exists!), is here described.
The formal definition of the format can be found in the
-parsing grammar.
+parsing grammar.
An informal explanation is here provided.
Similarly to gen/GEN, each line is independent and can be one of the following:
diff --git a/task_maker_format/ioi/struct.SubtaskInfo.html b/task_maker_format/ioi/struct.SubtaskInfo.html
index 587414359..03b88faf0 100644
--- a/task_maker_format/ioi/struct.SubtaskInfo.html
+++ b/task_maker_format/ioi/struct.SubtaskInfo.html
@@ -6,7 +6,7 @@
pub testcases: Vec<TestcaseId>,
pub testcases_owned: Vec<TestcaseId>,
pub input_validator: InputValidator,
- pub span: Option<CodeSpan>,
+ pub span: Option<CodeSpan>,
pub is_default: bool,
pub dependencies: Vec<SubtaskId>,
}
gen/GEN, each line is independent and can be one of the following:Expand description
A subtask of a IOI task.
@@ -18,7 +18,7 @@testcases: Vec<TestcaseId>The testcases inside this subtask.
testcases_owned: Vec<TestcaseId>The original testcases inside this subtask.
input_validator: InputValidatorThe validator for the input files of this subtask.
-span: Option<CodeSpan>The span of the definition of this subtask.
+span: Option<CodeSpan>The span of the definition of this subtask.
is_default: boolWhether this subtask was created automatically since no subtask was present in gen/GEN.
dependencies: Vec<SubtaskId>The list of the dependencies of this subtask.
Trait Implementations§
source§impl Clone for SubtaskInfo
impl Clone for SubtaskInfo
source§fn clone(&self) -> SubtaskInfo
fn clone(&self) -> SubtaskInfo
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read moresource§impl Debug for SubtaskInfo
impl Debug for SubtaskInfo
source§impl Default for SubtaskInfo
impl Default for SubtaskInfo
source§fn default() -> SubtaskInfo
fn default() -> SubtaskInfo
source§impl<'de> Deserialize<'de> for SubtaskInfo
impl<'de> Deserialize<'de> for SubtaskInfo
source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
diff --git a/task_maker_format/ioi/struct.UIState.html b/task_maker_format/ioi/struct.UIState.html
index 0a65a8d18..08658ac20 100644
--- a/task_maker_format/ioi/struct.UIState.html
+++ b/task_maker_format/ioi/struct.UIState.html
@@ -8,7 +8,7 @@
pub evaluations: HashMap<PathBuf, SolutionEvaluationState>,
pub executor_status: Option<ExecutorStatus<SystemTime>>,
pub booklets: HashMap<String, BookletState>,
- pub diagnostics: DiagnosticContext,
+ pub diagnostics: DiagnosticContext,
}Expand description
The state of a IOI task, all the information for the UI are stored here.
Fields§
§task: IOITaskThe task.
§config: ExecutionDAGConfigThe configuration of this evaluation.
@@ -19,7 +19,7 @@
§evaluations: HashMap<PathBuf, SolutionEvaluationState>The status of the evaluations of the solutions.
§executor_status: Option<ExecutorStatus<SystemTime>>The status of the executor.
§booklets: HashMap<String, BookletState>The status of the booklets
-§diagnostics: DiagnosticContextDiagnostic context.
+§diagnostics: DiagnosticContextDiagnostic context.
Implementations§
source§impl UIState
sourcepub fn run_solution_checks(&self) -> Vec<SolutionCheckOutcome>
Evaluate the checks of all the solutions.
This function should be called only after all the executions have completed.
diff --git a/task_maker_format/struct.EvaluationData.html b/task_maker_format/struct.EvaluationData.html
index 7fc9935a3..b19e28a4b 100644
--- a/task_maker_format/struct.EvaluationData.html
+++ b/task_maker_format/struct.EvaluationData.html
@@ -11,7 +11,7 @@
Implementations§
source§impl EvaluationData
sourcepub fn new<P: Into<PathBuf>>(
task_root: P,
) -> (EvaluationData, UIChannelReceiver)
Crate a new EvaluationData returning the data and the receiving part of the UI channel.
-sourcepub fn add_diagnostic(&self, diagnostic: Diagnostic) -> Result<(), Error>
Add a diagnostic message to the UI.
+sourcepub fn add_diagnostic(&self, diagnostic: Diagnostic) -> Result<(), Error>
Add a diagnostic message to the UI.
Auto Trait Implementations§
§impl Freeze for EvaluationData
§impl !RefUnwindSafe for EvaluationData
§impl !Send for EvaluationData
§impl !Sync for EvaluationData
§impl Unpin for EvaluationData
§impl !UnwindSafe for EvaluationData
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
diff --git a/task_maker_format/struct.SolutionCheck.html b/task_maker_format/struct.SolutionCheck.html
index 661295981..16e43d406 100644
--- a/task_maker_format/struct.SolutionCheck.html
+++ b/task_maker_format/struct.SolutionCheck.html
@@ -1,15 +1,15 @@
SolutionCheck in task_maker_format - Rust Struct task_maker_format::SolutionCheck
source · pub struct SolutionCheck {
pub result: SolutionCheckResult,
pub subtask_name_pattern: String,
- pub code_span: CodeSpan,
+ pub code_span: CodeSpan,
}
Expand description
A check to perform on a solution, against a subtask.
Fields§
§result: SolutionCheckResultThe expected result of the solution.
§subtask_name_pattern: StringThe pattern that should match the name of the subtask to check.
-§code_span: CodeSpanSpan of this check.
+§code_span: CodeSpanSpan of this check.
Implementations§
source§impl SolutionCheck
sourcepub fn new(
result: SolutionCheckResult,
pattern: impl Into<String>,
- code_span: CodeSpan,
+ code_span: CodeSpan,
) -> Self
Create a new SolutionCheck with the given result, that targets all the subtasks matching
pattern.
source§impl SolutionCheck
sourcepub fn extract_check_list<P: AsRef<Path>>(
diff --git a/task_maker_format/trait.UISender.html b/task_maker_format/trait.UISender.html
index 852c3c11b..8655be44c 100644
--- a/task_maker_format/trait.UISender.html
+++ b/task_maker_format/trait.UISender.html
@@ -3,10 +3,10 @@
fn send(&self, message: UIMessage) -> Result<(), Error>;
// Provided method
- fn add_diagnostic(&self, diagnostic: Diagnostic) -> Result<(), Error> { ... }
+ fn add_diagnostic(&self, diagnostic: Diagnostic) -> Result<(), Error> { ... }
}Expand description
What can send UIMessages.
Required Methods§
Provided Methods§
sourcefn add_diagnostic(&self, diagnostic: Diagnostic) -> Result<(), Error>
Send a diagnostic message to the UI.
+Provided Methods§
sourcefn add_diagnostic(&self, diagnostic: Diagnostic) -> Result<(), Error>
Send a diagnostic message to the UI.
Implementations on Foreign Types§
source§impl UISender for Mutex<UIMessageSender>
Implement .send(message) for Mutex<UIMessageSender> in order to do
EvaluationData.sender.send(message). This will lock the mutex and send the message to the UI.
Implementors§
\ No newline at end of file
diff --git a/task_maker_format/ui/enum.UIMessage.html b/task_maker_format/ui/enum.UIMessage.html
index 473f9b527..762160801 100644
--- a/task_maker_format/ui/enum.UIMessage.html
+++ b/task_maker_format/ui/enum.UIMessage.html
@@ -95,7 +95,7 @@
outcome: Result<SolutionOutcome, String>,
},
Diagnostic {
- diagnostic: Diagnostic,
+ diagnostic: Diagnostic,
},
}Expand description
A message sent to the UI.
Variants§
§StopUI
A message asking the UI to exit.
@@ -176,7 +176,7 @@
Fields
§outcome: Result<SolutionOutcome, String>The outcome of the solution. Err is caused by an invalid response from the checker.
§Diagnostic
A diagnostic message has been emitted.
-Fields
§diagnostic: DiagnosticThe diagnostic message.
+Fields
§diagnostic: DiagnosticThe diagnostic message.
Trait Implementations§
source§impl<'de> Deserialize<'de> for UIMessage
source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read moreAuto Trait Implementations§
§impl Freeze for UIMessage
§impl !RefUnwindSafe for UIMessage
§impl Send for UIMessage
§impl Sync for UIMessage
§impl Unpin for UIMessage
§impl !UnwindSafe for UIMessage
Blanket Implementations§
source§impl<T> Any for Twhere
diff --git a/task_maker_format/ui/struct.FinishUIUtils.html b/task_maker_format/ui/struct.FinishUIUtils.html
index 46bd356ff..7bde9f0ca 100644
--- a/task_maker_format/ui/struct.FinishUIUtils.html
+++ b/task_maker_format/ui/struct.FinishUIUtils.html
@@ -7,7 +7,7 @@
sourcepub fn print_time_memory(resources: &ExecutionResourcesUsage)
Print the time and memory usage of an execution.
sourcepub fn print_fail_execution_status(status: &ExecutionStatus)
Print a message for the non-successful variants of the provided status.
sourcepub fn get_max_len<T>(solutions: &HashMap<PathBuf, T>) -> usize
Find the maximum length of the solutions name from the keys of the given structure.
-sourcepub fn print_diagnostic_messages(&mut self, diagnostics: &DiagnosticContext)
Print the diagnostics.
+sourcepub fn print_diagnostic_messages(&mut self, diagnostics: &DiagnosticContext)
Print the diagnostics.
Auto Trait Implementations§
§impl<'a> Freeze for FinishUIUtils<'a>
§impl<'a> RefUnwindSafe for FinishUIUtils<'a>
§impl<'a> Send for FinishUIUtils<'a>
§impl<'a> Sync for FinishUIUtils<'a>
§impl<'a> Unpin for FinishUIUtils<'a>
§impl<'a> !UnwindSafe for FinishUIUtils<'a>
Blanket Implementations§
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
diff --git a/task_maker_format/ioi/struct.UIState.html b/task_maker_format/ioi/struct.UIState.html
index 0a65a8d18..08658ac20 100644
--- a/task_maker_format/ioi/struct.UIState.html
+++ b/task_maker_format/ioi/struct.UIState.html
@@ -8,7 +8,7 @@
pub evaluations: HashMap<PathBuf, SolutionEvaluationState>,
pub executor_status: Option<ExecutorStatus<SystemTime>>,
pub booklets: HashMap<String, BookletState>,
- pub diagnostics: DiagnosticContext,
+ pub diagnostics: DiagnosticContext,
}Expand description
The state of a IOI task, all the information for the UI are stored here.
Fields§
§task: IOITaskThe task.
§config: ExecutionDAGConfigThe configuration of this evaluation.
@@ -19,7 +19,7 @@
§evaluations: HashMap<PathBuf, SolutionEvaluationState>The status of the evaluations of the solutions.
§executor_status: Option<ExecutorStatus<SystemTime>>The status of the executor.
§booklets: HashMap<String, BookletState>The status of the booklets
-§diagnostics: DiagnosticContextDiagnostic context.
+§diagnostics: DiagnosticContextDiagnostic context.
Implementations§
source§impl UIState
sourcepub fn run_solution_checks(&self) -> Vec<SolutionCheckOutcome>
Evaluate the checks of all the solutions.
This function should be called only after all the executions have completed.
diff --git a/task_maker_format/struct.EvaluationData.html b/task_maker_format/struct.EvaluationData.html
index 7fc9935a3..b19e28a4b 100644
--- a/task_maker_format/struct.EvaluationData.html
+++ b/task_maker_format/struct.EvaluationData.html
@@ -11,7 +11,7 @@
Implementations§
source§impl EvaluationData
sourcepub fn new<P: Into<PathBuf>>(
task_root: P,
) -> (EvaluationData, UIChannelReceiver)
Crate a new EvaluationData returning the data and the receiving part of the UI channel.
-sourcepub fn add_diagnostic(&self, diagnostic: Diagnostic) -> Result<(), Error>
Add a diagnostic message to the UI.
+sourcepub fn add_diagnostic(&self, diagnostic: Diagnostic) -> Result<(), Error>
Add a diagnostic message to the UI.
Auto Trait Implementations§
§impl Freeze for EvaluationData
§impl !RefUnwindSafe for EvaluationData
§impl !Send for EvaluationData
§impl !Sync for EvaluationData
§impl Unpin for EvaluationData
§impl !UnwindSafe for EvaluationData
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
diff --git a/task_maker_format/struct.SolutionCheck.html b/task_maker_format/struct.SolutionCheck.html
index 661295981..16e43d406 100644
--- a/task_maker_format/struct.SolutionCheck.html
+++ b/task_maker_format/struct.SolutionCheck.html
@@ -1,15 +1,15 @@
SolutionCheck in task_maker_format - Rust Struct task_maker_format::SolutionCheck
source · pub struct SolutionCheck {
pub result: SolutionCheckResult,
pub subtask_name_pattern: String,
- pub code_span: CodeSpan,
+ pub code_span: CodeSpan,
}
Expand description
A check to perform on a solution, against a subtask.
Fields§
§result: SolutionCheckResultThe expected result of the solution.
§subtask_name_pattern: StringThe pattern that should match the name of the subtask to check.
-§code_span: CodeSpanSpan of this check.
+§code_span: CodeSpanSpan of this check.
Implementations§
source§impl SolutionCheck
sourcepub fn new(
result: SolutionCheckResult,
pattern: impl Into<String>,
- code_span: CodeSpan,
+ code_span: CodeSpan,
) -> Self
Create a new SolutionCheck with the given result, that targets all the subtasks matching
pattern.
source§impl SolutionCheck
sourcepub fn extract_check_list<P: AsRef<Path>>(
diff --git a/task_maker_format/trait.UISender.html b/task_maker_format/trait.UISender.html
index 852c3c11b..8655be44c 100644
--- a/task_maker_format/trait.UISender.html
+++ b/task_maker_format/trait.UISender.html
@@ -3,10 +3,10 @@
fn send(&self, message: UIMessage) -> Result<(), Error>;
// Provided method
- fn add_diagnostic(&self, diagnostic: Diagnostic) -> Result<(), Error> { ... }
+ fn add_diagnostic(&self, diagnostic: Diagnostic) -> Result<(), Error> { ... }
}Expand description
What can send UIMessages.
Required Methods§
Provided Methods§
sourcefn add_diagnostic(&self, diagnostic: Diagnostic) -> Result<(), Error>
Send a diagnostic message to the UI.
+Provided Methods§
sourcefn add_diagnostic(&self, diagnostic: Diagnostic) -> Result<(), Error>
Send a diagnostic message to the UI.
Implementations on Foreign Types§
source§impl UISender for Mutex<UIMessageSender>
Implement .send(message) for Mutex<UIMessageSender> in order to do
EvaluationData.sender.send(message). This will lock the mutex and send the message to the UI.
Implementors§
\ No newline at end of file
diff --git a/task_maker_format/ui/enum.UIMessage.html b/task_maker_format/ui/enum.UIMessage.html
index 473f9b527..762160801 100644
--- a/task_maker_format/ui/enum.UIMessage.html
+++ b/task_maker_format/ui/enum.UIMessage.html
@@ -95,7 +95,7 @@
outcome: Result<SolutionOutcome, String>,
},
Diagnostic {
- diagnostic: Diagnostic,
+ diagnostic: Diagnostic,
},
}Expand description
A message sent to the UI.
Variants§
§StopUI
A message asking the UI to exit.
@@ -176,7 +176,7 @@
Fields
§outcome: Result<SolutionOutcome, String>The outcome of the solution. Err is caused by an invalid response from the checker.
§Diagnostic
A diagnostic message has been emitted.
-Fields
§diagnostic: DiagnosticThe diagnostic message.
+Fields
§diagnostic: DiagnosticThe diagnostic message.
Trait Implementations§
source§impl<'de> Deserialize<'de> for UIMessage
source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read moreAuto Trait Implementations§
§impl Freeze for UIMessage
§impl !RefUnwindSafe for UIMessage
§impl Send for UIMessage
§impl Sync for UIMessage
§impl Unpin for UIMessage
§impl !UnwindSafe for UIMessage
Blanket Implementations§
source§impl<T> Any for Twhere
diff --git a/task_maker_format/ui/struct.FinishUIUtils.html b/task_maker_format/ui/struct.FinishUIUtils.html
index 46bd356ff..7bde9f0ca 100644
--- a/task_maker_format/ui/struct.FinishUIUtils.html
+++ b/task_maker_format/ui/struct.FinishUIUtils.html
@@ -7,7 +7,7 @@
sourcepub fn print_time_memory(resources: &ExecutionResourcesUsage)
Print the time and memory usage of an execution.
sourcepub fn print_fail_execution_status(status: &ExecutionStatus)
Print a message for the non-successful variants of the provided status.
sourcepub fn get_max_len<T>(solutions: &HashMap<PathBuf, T>) -> usize
Find the maximum length of the solutions name from the keys of the given structure.
-sourcepub fn print_diagnostic_messages(&mut self, diagnostics: &DiagnosticContext)
Print the diagnostics.
+sourcepub fn print_diagnostic_messages(&mut self, diagnostics: &DiagnosticContext)
Print the diagnostics.
Auto Trait Implementations§
§impl<'a> Freeze for FinishUIUtils<'a>
§impl<'a> RefUnwindSafe for FinishUIUtils<'a>
§impl<'a> Send for FinishUIUtils<'a>
§impl<'a> Sync for FinishUIUtils<'a>
§impl<'a> Unpin for FinishUIUtils<'a>
§impl<'a> !UnwindSafe for FinishUIUtils<'a>
Blanket Implementations§
Expand description
The state of a IOI task, all the information for the UI are stored here.
Fields§
§task: IOITaskThe task.
config: ExecutionDAGConfigThe configuration of this evaluation.
@@ -19,7 +19,7 @@evaluations: HashMap<PathBuf, SolutionEvaluationState>The status of the evaluations of the solutions.
executor_status: Option<ExecutorStatus<SystemTime>>The status of the executor.
booklets: HashMap<String, BookletState>The status of the booklets
-diagnostics: DiagnosticContextDiagnostic context.
+diagnostics: DiagnosticContextDiagnostic context.
Implementations§
source§impl UIState
impl UIState
sourcepub fn run_solution_checks(&self) -> Vec<SolutionCheckOutcome>
pub fn run_solution_checks(&self) -> Vec<SolutionCheckOutcome>
Evaluate the checks of all the solutions.
This function should be called only after all the executions have completed.
diff --git a/task_maker_format/struct.EvaluationData.html b/task_maker_format/struct.EvaluationData.html index 7fc9935a3..b19e28a4b 100644 --- a/task_maker_format/struct.EvaluationData.html +++ b/task_maker_format/struct.EvaluationData.html @@ -11,7 +11,7 @@Implementations§
source§impl EvaluationData
impl EvaluationData
sourcepub fn new<P: Into<PathBuf>>(
task_root: P,
) -> (EvaluationData, UIChannelReceiver)
pub fn new<P: Into<PathBuf>>( task_root: P, ) -> (EvaluationData, UIChannelReceiver)
Crate a new EvaluationData returning the data and the receiving part of the UI channel.
sourcepub fn add_diagnostic(&self, diagnostic: Diagnostic) -> Result<(), Error>
pub fn add_diagnostic(&self, diagnostic: Diagnostic) -> Result<(), Error>
Add a diagnostic message to the UI.
+sourcepub fn add_diagnostic(&self, diagnostic: Diagnostic) -> Result<(), Error>
pub fn add_diagnostic(&self, diagnostic: Diagnostic) -> Result<(), Error>
Add a diagnostic message to the UI.
Auto Trait Implementations§
impl Freeze for EvaluationData
impl !RefUnwindSafe for EvaluationData
impl !Send for EvaluationData
impl !Sync for EvaluationData
impl Unpin for EvaluationData
impl !UnwindSafe for EvaluationData
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
diff --git a/task_maker_format/struct.SolutionCheck.html b/task_maker_format/struct.SolutionCheck.html
index 661295981..16e43d406 100644
--- a/task_maker_format/struct.SolutionCheck.html
+++ b/task_maker_format/struct.SolutionCheck.html
@@ -1,15 +1,15 @@
SolutionCheck in task_maker_format - Rust Struct task_maker_format::SolutionCheck
source · pub struct SolutionCheck {
pub result: SolutionCheckResult,
pub subtask_name_pattern: String,
- pub code_span: CodeSpan,
+ pub code_span: CodeSpan,
}
Expand description
A check to perform on a solution, against a subtask.
Fields§
§result: SolutionCheckResultThe expected result of the solution.
§subtask_name_pattern: StringThe pattern that should match the name of the subtask to check.
-§code_span: CodeSpanSpan of this check.
+§code_span: CodeSpanSpan of this check.
Implementations§
source§impl SolutionCheck
sourcepub fn new(
result: SolutionCheckResult,
pattern: impl Into<String>,
- code_span: CodeSpan,
+ code_span: CodeSpan,
) -> Self
Create a new SolutionCheck with the given result, that targets all the subtasks matching
pattern.
source§impl SolutionCheck
sourcepub fn extract_check_list<P: AsRef<Path>>(
diff --git a/task_maker_format/trait.UISender.html b/task_maker_format/trait.UISender.html
index 852c3c11b..8655be44c 100644
--- a/task_maker_format/trait.UISender.html
+++ b/task_maker_format/trait.UISender.html
@@ -3,10 +3,10 @@
fn send(&self, message: UIMessage) -> Result<(), Error>;
// Provided method
- fn add_diagnostic(&self, diagnostic: Diagnostic) -> Result<(), Error> { ... }
+ fn add_diagnostic(&self, diagnostic: Diagnostic) -> Result<(), Error> { ... }
}Expand description
What can send UIMessages.
Required Methods§
Provided Methods§
sourcefn add_diagnostic(&self, diagnostic: Diagnostic) -> Result<(), Error>
Send a diagnostic message to the UI.
+Provided Methods§
sourcefn add_diagnostic(&self, diagnostic: Diagnostic) -> Result<(), Error>
Send a diagnostic message to the UI.
Implementations on Foreign Types§
source§impl UISender for Mutex<UIMessageSender>
Implement .send(message) for Mutex<UIMessageSender> in order to do
EvaluationData.sender.send(message). This will lock the mutex and send the message to the UI.
Implementors§
\ No newline at end of file
diff --git a/task_maker_format/ui/enum.UIMessage.html b/task_maker_format/ui/enum.UIMessage.html
index 473f9b527..762160801 100644
--- a/task_maker_format/ui/enum.UIMessage.html
+++ b/task_maker_format/ui/enum.UIMessage.html
@@ -95,7 +95,7 @@
outcome: Result<SolutionOutcome, String>,
},
Diagnostic {
- diagnostic: Diagnostic,
+ diagnostic: Diagnostic,
},
}Expand description
A message sent to the UI.
Variants§
§StopUI
A message asking the UI to exit.
@@ -176,7 +176,7 @@
Fields
§outcome: Result<SolutionOutcome, String>The outcome of the solution. Err is caused by an invalid response from the checker.
§Diagnostic
A diagnostic message has been emitted.
-Fields
§diagnostic: DiagnosticThe diagnostic message.
+Fields
§diagnostic: DiagnosticThe diagnostic message.
Trait Implementations§
source§impl<'de> Deserialize<'de> for UIMessage
source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read moreAuto Trait Implementations§
§impl Freeze for UIMessage
§impl !RefUnwindSafe for UIMessage
§impl Send for UIMessage
§impl Sync for UIMessage
§impl Unpin for UIMessage
§impl !UnwindSafe for UIMessage
Blanket Implementations§
source§impl<T> Any for Twhere
diff --git a/task_maker_format/ui/struct.FinishUIUtils.html b/task_maker_format/ui/struct.FinishUIUtils.html
index 46bd356ff..7bde9f0ca 100644
--- a/task_maker_format/ui/struct.FinishUIUtils.html
+++ b/task_maker_format/ui/struct.FinishUIUtils.html
@@ -7,7 +7,7 @@
sourcepub fn print_time_memory(resources: &ExecutionResourcesUsage)
Print the time and memory usage of an execution.
sourcepub fn print_fail_execution_status(status: &ExecutionStatus)
Print a message for the non-successful variants of the provided status.
sourcepub fn get_max_len<T>(solutions: &HashMap<PathBuf, T>) -> usize
Find the maximum length of the solutions name from the keys of the given structure.
-sourcepub fn print_diagnostic_messages(&mut self, diagnostics: &DiagnosticContext)
Print the diagnostics.
+sourcepub fn print_diagnostic_messages(&mut self, diagnostics: &DiagnosticContext)
Print the diagnostics.
Auto Trait Implementations§
§impl<'a> Freeze for FinishUIUtils<'a>
§impl<'a> RefUnwindSafe for FinishUIUtils<'a>
§impl<'a> Send for FinishUIUtils<'a>
§impl<'a> Sync for FinishUIUtils<'a>
§impl<'a> Unpin for FinishUIUtils<'a>
§impl<'a> !UnwindSafe for FinishUIUtils<'a>
Blanket Implementations§
impl<T> BorrowMut<T> for Twhere
diff --git a/task_maker_format/struct.SolutionCheck.html b/task_maker_format/struct.SolutionCheck.html
index 661295981..16e43d406 100644
--- a/task_maker_format/struct.SolutionCheck.html
+++ b/task_maker_format/struct.SolutionCheck.html
@@ -1,15 +1,15 @@
SolutionCheck in task_maker_format - Rust Struct task_maker_format::SolutionCheck
source · pub struct SolutionCheck {
pub result: SolutionCheckResult,
pub subtask_name_pattern: String,
- pub code_span: CodeSpan,
+ pub code_span: CodeSpan,
}
Expand description
A check to perform on a solution, against a subtask.
Fields§
§result: SolutionCheckResultThe expected result of the solution.
§subtask_name_pattern: StringThe pattern that should match the name of the subtask to check.
-§code_span: CodeSpanSpan of this check.
+§code_span: CodeSpanSpan of this check.
Implementations§
source§impl SolutionCheck
sourcepub fn new(
result: SolutionCheckResult,
pattern: impl Into<String>,
- code_span: CodeSpan,
+ code_span: CodeSpan,
) -> Self
Create a new SolutionCheck with the given result, that targets all the subtasks matching
pattern.
source§impl SolutionCheck
sourcepub fn extract_check_list<P: AsRef<Path>>(
diff --git a/task_maker_format/trait.UISender.html b/task_maker_format/trait.UISender.html
index 852c3c11b..8655be44c 100644
--- a/task_maker_format/trait.UISender.html
+++ b/task_maker_format/trait.UISender.html
@@ -3,10 +3,10 @@
fn send(&self, message: UIMessage) -> Result<(), Error>;
// Provided method
- fn add_diagnostic(&self, diagnostic: Diagnostic) -> Result<(), Error> { ... }
+ fn add_diagnostic(&self, diagnostic: Diagnostic) -> Result<(), Error> { ... }
}Expand description
What can send UIMessages.
Required Methods§
Provided Methods§
sourcefn add_diagnostic(&self, diagnostic: Diagnostic) -> Result<(), Error>
Send a diagnostic message to the UI.
+Provided Methods§
sourcefn add_diagnostic(&self, diagnostic: Diagnostic) -> Result<(), Error>
Send a diagnostic message to the UI.
Implementations on Foreign Types§
source§impl UISender for Mutex<UIMessageSender>
Implement .send(message) for Mutex<UIMessageSender> in order to do
EvaluationData.sender.send(message). This will lock the mutex and send the message to the UI.
Implementors§
\ No newline at end of file
diff --git a/task_maker_format/ui/enum.UIMessage.html b/task_maker_format/ui/enum.UIMessage.html
index 473f9b527..762160801 100644
--- a/task_maker_format/ui/enum.UIMessage.html
+++ b/task_maker_format/ui/enum.UIMessage.html
@@ -95,7 +95,7 @@
outcome: Result<SolutionOutcome, String>,
},
Diagnostic {
- diagnostic: Diagnostic,
+ diagnostic: Diagnostic,
},
}Expand description
A message sent to the UI.
Variants§
§StopUI
A message asking the UI to exit.
@@ -176,7 +176,7 @@
Fields
§outcome: Result<SolutionOutcome, String>The outcome of the solution. Err is caused by an invalid response from the checker.
§Diagnostic
A diagnostic message has been emitted.
-Fields
§diagnostic: DiagnosticThe diagnostic message.
+Fields
§diagnostic: DiagnosticThe diagnostic message.
Trait Implementations§
source§impl<'de> Deserialize<'de> for UIMessage
source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read moreAuto Trait Implementations§
§impl Freeze for UIMessage
§impl !RefUnwindSafe for UIMessage
§impl Send for UIMessage
§impl Sync for UIMessage
§impl Unpin for UIMessage
§impl !UnwindSafe for UIMessage
Blanket Implementations§
source§impl<T> Any for Twhere
diff --git a/task_maker_format/ui/struct.FinishUIUtils.html b/task_maker_format/ui/struct.FinishUIUtils.html
index 46bd356ff..7bde9f0ca 100644
--- a/task_maker_format/ui/struct.FinishUIUtils.html
+++ b/task_maker_format/ui/struct.FinishUIUtils.html
@@ -7,7 +7,7 @@
sourcepub fn print_time_memory(resources: &ExecutionResourcesUsage)
Print the time and memory usage of an execution.
sourcepub fn print_fail_execution_status(status: &ExecutionStatus)
Print a message for the non-successful variants of the provided status.
sourcepub fn get_max_len<T>(solutions: &HashMap<PathBuf, T>) -> usize
Find the maximum length of the solutions name from the keys of the given structure.
-sourcepub fn print_diagnostic_messages(&mut self, diagnostics: &DiagnosticContext)
Print the diagnostics.
+sourcepub fn print_diagnostic_messages(&mut self, diagnostics: &DiagnosticContext)
Print the diagnostics.
Auto Trait Implementations§
§impl<'a> Freeze for FinishUIUtils<'a>
§impl<'a> RefUnwindSafe for FinishUIUtils<'a>
§impl<'a> Send for FinishUIUtils<'a>
§impl<'a> Sync for FinishUIUtils<'a>
§impl<'a> Unpin for FinishUIUtils<'a>
§impl<'a> !UnwindSafe for FinishUIUtils<'a>
Blanket Implementations§
Struct task_maker_format::SolutionCheck
source · pub struct SolutionCheck {
pub result: SolutionCheckResult,
pub subtask_name_pattern: String,
- pub code_span: CodeSpan,
+ pub code_span: CodeSpan,
}Expand description
A check to perform on a solution, against a subtask.
Fields§
§result: SolutionCheckResultThe expected result of the solution.
subtask_name_pattern: StringThe pattern that should match the name of the subtask to check.
-code_span: CodeSpanSpan of this check.
+code_span: CodeSpanSpan of this check.
Implementations§
source§impl SolutionCheck
impl SolutionCheck
sourcepub fn new(
result: SolutionCheckResult,
pattern: impl Into<String>,
- code_span: CodeSpan,
+ code_span: CodeSpan,
) -> Self
pub fn new( result: SolutionCheckResult, pattern: impl Into<String>, - code_span: CodeSpan, + code_span: CodeSpan, ) -> Self
Create a new SolutionCheck with the given result, that targets all the subtasks matching
pattern.
source§impl SolutionCheck
impl SolutionCheck
sourcepub fn extract_check_list<P: AsRef<Path>>(
diff --git a/task_maker_format/trait.UISender.html b/task_maker_format/trait.UISender.html
index 852c3c11b..8655be44c 100644
--- a/task_maker_format/trait.UISender.html
+++ b/task_maker_format/trait.UISender.html
@@ -3,10 +3,10 @@
fn send(&self, message: UIMessage) -> Result<(), Error>;
// Provided method
- fn add_diagnostic(&self, diagnostic: Diagnostic) -> Result<(), Error> { ... }
+ fn add_diagnostic(&self, diagnostic: Diagnostic) -> Result<(), Error> { ... }
}Expand description
What can send UIMessages.
Required Methods§
Provided Methods§
sourcefn add_diagnostic(&self, diagnostic: Diagnostic) -> Result<(), Error>
Send a diagnostic message to the UI.
+Provided Methods§
sourcefn add_diagnostic(&self, diagnostic: Diagnostic) -> Result<(), Error>
Send a diagnostic message to the UI.
Implementations on Foreign Types§
source§impl UISender for Mutex<UIMessageSender>
Implement .send(message) for Mutex<UIMessageSender> in order to do
EvaluationData.sender.send(message). This will lock the mutex and send the message to the UI.
Implementors§
pub fn extract_check_list<P: AsRef<Path>>(
diff --git a/task_maker_format/trait.UISender.html b/task_maker_format/trait.UISender.html
index 852c3c11b..8655be44c 100644
--- a/task_maker_format/trait.UISender.html
+++ b/task_maker_format/trait.UISender.html
@@ -3,10 +3,10 @@
fn send(&self, message: UIMessage) -> Result<(), Error>;
// Provided method
- fn add_diagnostic(&self, diagnostic: Diagnostic) -> Result<(), Error> { ... }
+ fn add_diagnostic(&self, diagnostic: Diagnostic) -> Result<(), Error> { ... }
}Expand description
What can send UIMessages.
Required Methods§
Provided Methods§
sourcefn add_diagnostic(&self, diagnostic: Diagnostic) -> Result<(), Error>
Send a diagnostic message to the UI.
+Provided Methods§
sourcefn add_diagnostic(&self, diagnostic: Diagnostic) -> Result<(), Error>
Send a diagnostic message to the UI.
Implementations on Foreign Types§
source§impl UISender for Mutex<UIMessageSender>
Implement .send(message) for Mutex<UIMessageSender> in order to do
EvaluationData.sender.send(message). This will lock the mutex and send the message to the UI.
Implementors§
Expand description
What can send UIMessages.
sourcefn add_diagnostic(&self, diagnostic: Diagnostic) -> Result<(), Error>
fn add_diagnostic(&self, diagnostic: Diagnostic) -> Result<(), Error>
Send a diagnostic message to the UI.
+sourcefn add_diagnostic(&self, diagnostic: Diagnostic) -> Result<(), Error>
fn add_diagnostic(&self, diagnostic: Diagnostic) -> Result<(), Error>
Send a diagnostic message to the UI.
source§impl UISender for Mutex<UIMessageSender>
impl UISender for Mutex<UIMessageSender>
Implement .send(message) for Mutex<UIMessageSender> in order to do
EvaluationData.sender.send(message). This will lock the mutex and send the message to the UI.
Expand description
A message sent to the UI.
Variants§
StopUI
A message asking the UI to exit.
@@ -176,7 +176,7 @@Fields
outcome: Result<SolutionOutcome, String>The outcome of the solution. Err is caused by an invalid response from the checker.
Diagnostic
A diagnostic message has been emitted.
-Fields
diagnostic: DiagnosticThe diagnostic message.
+Fields
diagnostic: DiagnosticThe diagnostic message.
Trait Implementations§
source§impl<'de> Deserialize<'de> for UIMessage
impl<'de> Deserialize<'de> for UIMessage
source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Auto Trait Implementations§
impl Freeze for UIMessage
impl !RefUnwindSafe for UIMessage
impl Send for UIMessage
impl Sync for UIMessage
impl Unpin for UIMessage
impl !UnwindSafe for UIMessage
Blanket Implementations§
source§impl<T> Any for Twhere
diff --git a/task_maker_format/ui/struct.FinishUIUtils.html b/task_maker_format/ui/struct.FinishUIUtils.html
index 46bd356ff..7bde9f0ca 100644
--- a/task_maker_format/ui/struct.FinishUIUtils.html
+++ b/task_maker_format/ui/struct.FinishUIUtils.html
@@ -7,7 +7,7 @@
impl<T> Any for Twhere
diff --git a/task_maker_format/ui/struct.FinishUIUtils.html b/task_maker_format/ui/struct.FinishUIUtils.html
index 46bd356ff..7bde9f0ca 100644
--- a/task_maker_format/ui/struct.FinishUIUtils.html
+++ b/task_maker_format/ui/struct.FinishUIUtils.html
@@ -7,7 +7,7 @@
sourcepub fn print_time_memory(resources: &ExecutionResourcesUsage)
pub fn print_time_memory(resources: &ExecutionResourcesUsage)
Print the time and memory usage of an execution.
sourcepub fn print_fail_execution_status(status: &ExecutionStatus)
pub fn print_fail_execution_status(status: &ExecutionStatus)
Print a message for the non-successful variants of the provided status.
sourcepub fn get_max_len<T>(solutions: &HashMap<PathBuf, T>) -> usize
pub fn get_max_len<T>(solutions: &HashMap<PathBuf, T>) -> usize
Find the maximum length of the solutions name from the keys of the given structure.
-sourcepub fn print_diagnostic_messages(&mut self, diagnostics: &DiagnosticContext)
pub fn print_diagnostic_messages(&mut self, diagnostics: &DiagnosticContext)
Print the diagnostics.
+sourcepub fn print_diagnostic_messages(&mut self, diagnostics: &DiagnosticContext)
pub fn print_diagnostic_messages(&mut self, diagnostics: &DiagnosticContext)
Print the diagnostics.