ODL-Sprachkonstrukte und interaktive Benutzerschnittstelle - TUM

146 ANHANG C: ODL-GRAMMATIK IN DER SABLECC-NOTATIONstring_constant = ’"’ [not_cr_lf - ’"’]* ’"’;// Identifiersidentifier = al alnum*;// Whitespace & commentsblank = (’ ’ | eol | tab)+;comment = onelined_comment | multiline_comment;Ignored Tokensblank, comment;Productionsodl_start = {proposition} proposition |{named_predicate} named_predicate_declaration;named_predicate_declaration = identifier l_par type_list r_parassign ccl_proposition;proposition ={unop} unary_proposition |{and} proposition and unary_proposition |{or} proposition or unary_proposition |{implies} proposition implies unary_proposition |{equiv} proposition equiv unary_proposition;// In a ccl proposition no ’post_relation’ (result ...) and// no quantors ’context’ and ’new’ are allowedccl_proposition ={unop} ccl_unary_proposition |{and} ccl_proposition and ccl_unary_proposition |{or} ccl_proposition or ccl_unary_proposition |{implies} ccl_proposition implies ccl_unary_proposition |{equiv} ccl_proposition equiv ccl_unary_proposition;unary_proposition ={neg} neg unary_proposition |{quantifier} quantifier variable_definition dotunary_proposition |{new_quantifier}new_quantifier model_element_variable_definitiondot unary_proposition |{named_predicate} named_predicate_call |{term}term;ccl_unary_proposition ={neg} neg ccl_unary_proposition |{quantifier} ccl_quantifier variable_definition dotccl_unary_proposition |{named_predicate} named_predicate_call |