ODL-Sprachkonstrukte und interaktive Benutzerschnittstelle - TUM

ANHANG C: ODL-GRAMMATIK IN DER SABLECC-NOTATION 149{unary_plus} plus |{unary_minus} minus;functional_expression = call_expression;selector_expression = defined_variable dot selection;selection = selector selection_tail*;selection_tail = dot selector;selector = identifier;defined_variable = variable;variable = identifier;equal_expression = [l_expr]:expression equal [r_expr]:expression;// Arithmetic expressionsarithmetic_expression ={factor} factor |{plus} arithmetic_expression plus factor |{minus} arithmetic_expression minus factor;factor ={arithmetic_term} arithmetic_term |{mult}factor mult arithmetic_term;arithmetic_term ={constant} int_constant_expr |{expression} l_par arithmetic_expression r_par |{set_size} size l_par expression r_par;// Variable definitionsvariable_definition = variable colon type;model_element_variable_definition = variable colon model_element_type;// Type definitionstype = {product} product_type |{restricted} restricted_type_definition |{set} set_type_definition |{set_variable} element defined_variable |{set_expression} element l_par expression r_par;restricted_type_definition = l_brace variable colon type v_lineccl_proposition r_brace;set_type_definition = set type;