blob: e50cbf261fe43c47bf3d6f43a854503c7cacb4d1 [file] [log] [blame]
/*******************************************************************************
* Copyright (c) 2021 CentraleSupelec, CEA-LIST
*
* This program and the accompanying materials
* are made available under the terms of the Eclipse Public License 2.0
* which accompanies this distribution, and is available at
* https://www.eclipse.org/legal/epl-2.0/
*
* SPDX-License-Identifier: EPL-2.0
*
* Contributors:
* Erwan Mahé (CentraleSupelec) - initial API and implementation
*******************************************************************************/
pub static SYNTAX_STRICT: &'static str = "strict";
pub static SYNTAX_SEQ: &'static str = "seq";
pub static SYNTAX_PAR: &'static str = "par";
pub static SYNTAX_ALT: &'static str = "alt";
pub static SYNTAX_SCOPE: &'static str = "scope";
pub static SYNTAX_LOOP: &'static str = "loop_";
pub static SYNTAX_LOOP_STRICT: &'static str = "loop_strict";
pub static SYNTAX_LOOP_SEQ: &'static str = "loop_seq";
pub static SYNTAX_LOOP_PAR: &'static str = "loop_par";
pub static SYNTAX_BREAK: &'static str = "break";
pub static SYNTAX_CONTINUE: &'static str = "continue";
pub static SYNTAX_EMISSION: &'static str = "!";
pub static SYNTAX_RECEPTION: &'static str = "?";
pub static SYNTAX_LOGGING: &'static str = ":";
pub static SYNTAX_POROSITY: &'static str = "^";
pub static SYNTAX_SCOPE_START: &'static str = "{";
pub static SYNTAX_SCOPE_SEPARATOR: &'static str = ",";
pub static SYNTAX_SCOPE_END: &'static str = "}";
pub static SYNTAX_LOGIC_TRUE: &'static str = "⊤";
pub static SYNTAX_LOGIC_FALSE: &'static str = "⊥";
pub static SYNTAX_LOGIC_AND: &'static str = "∧";
pub static SYNTAX_LOGIC_OR: &'static str = "∨";
pub static SYNTAX_LOGIC_NOT: &'static str = "¬";
pub static SYNTAX_COMPARE_Diff: &'static str = "≠";
pub static SYNTAX_COMPARE_Eq: &'static str = "=";
pub static SYNTAX_COMPARE_Gr: &'static str = ">";
pub static SYNTAX_COMPARE_GrEq: &'static str = "≥";
pub static SYNTAX_COMPARE_Lr: &'static str = "<";
pub static SYNTAX_COMPARE_LrEq: &'static str = "≤";
pub static SYNTAX_NEWFRESH: &'static str = "#"; //"※";