blob: 7575aeea582a7b74f881c44b55af966c7035fa59 [file] [log] [blame] [edit]
// Copyright 2023 The Dawn & Tint Authors
//
// Redistribution and use in source and binary forms, with or without
// modification, are permitted provided that the following conditions are met:
//
// 1. Redistributions of source code must retain the above copyright notice, this
// list of conditions and the following disclaimer.
//
// 2. Redistributions in binary form must reproduce the above copyright notice,
// this list of conditions and the following disclaimer in the documentation
// and/or other materials provided with the distribution.
//
// 3. Neither the name of the copyright holder nor the names of its
// contributors may be used to endorse or promote products derived from
// this software without specific prior written permission.
//
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
// AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
// IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
// DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE
// FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
// DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
// SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
// CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
// OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
package cnf
import (
"strings"
"dawn.googlesource.com/dawn/tools/src/transform"
)
// String returns the expression in a C-like syntax
func (e Expr) String() string {
return e.Format(" && ", " || ", "!")
}
// String returns the expression in a C-like syntax
func (o Ors) String() string {
return o.Format(" || ", "!")
}
// String returns the expression in a C-like syntax
func (u Unary) String() string {
return u.Format("!")
}
// Format returns the expression using the provided operators
func (e Expr) Format(and, or, not string) string {
parts, _ := transform.Slice(e, func(ors Ors) (string, error) {
if len(e) > 1 && len(ors) > 1 {
return "(" + ors.Format(or, not) + ")", nil
}
return ors.Format(or, not), nil
})
return strings.Join(parts, and)
}
// Format returns the expression using the provided operators
func (o Ors) Format(or, not string) string {
parts, _ := transform.Slice(o, func(u Unary) (string, error) {
return u.Format(not), nil
})
return strings.Join(parts, or)
}
// Format returns the expression using the provided operator
func (u Unary) Format(not string) string {
if u.Negate {
return "(" + not + u.Var + ")"
}
return u.Var
}