patrick/foliage-rs
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Assert against empty conjunctions and disjunctions

Browse Source
This commit is contained in:
Patrick Lühne 2020-02-02 17:46:55 +01:00
parent 6163c5b259
commit 25c567af06
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
2 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/ast.rs
View File

@ -491,6 +491,8 @@ impl Formula
{
pub fn and(arguments: Formulas) -> Self
{
assert!(!arguments.is_empty());
Self::And(arguments)
}
@ -566,6 +568,8 @@ impl Formula
pub fn or(arguments: Formulas) -> Self
{
assert!(!arguments.is_empty());
Self::Or(arguments)
}

4
src/format.rs
View File

@ -240,6 +240,8 @@ impl<'formula> std::fmt::Debug for FormulaDisplay<'formula>
{
let mut separator = "";
assert!(!arguments.is_empty());
for argument in arguments
{
write!(format, "{}{:?}", separator, display_formula(argument, precedence))?;
@ -251,6 +253,8 @@ impl<'formula> std::fmt::Debug for FormulaDisplay<'formula>
{
let mut separator = "";
assert!(!arguments.is_empty());
for argument in arguments
{
write!(format, "{}{:?}", separator, display_formula(argument, precedence))?;