def single_quoted_string():
"""Single quoted string literal."""
return (
"'",
arpeggio.ZeroOrMore([r"\\", r"\'", _("[^']")]),
"'",
)
def double_quoted_string():
"""Double quoted string literal."""
return (
'"',
arpeggio.ZeroOrMore([r'\\', r'\"', _('[^"]')]),
'"',
)
def new_rule():
return (
arpeggio.ZeroOrMore([
common.string,
common.unsigned_float,
common.signed_float,
common.unsigned_integer,
common.signed_integer,]),
arpeggio.EOF)
def text():
return ar.ZeroOrMore([defTag, HTMLTag, tag, plainText])
def grammar():
return arpeggio.ZeroOrMore([
GrammarUpdateDbConf.assign_multiple_values_quoted,
GrammarBasic.comment_shell_block, GrammarBasic.newline
]), arpeggio.EOF
def args():
return subterm, ap.ZeroOrMore(',', subterm), ap.Optional(',')
def omc_record_element_list():
return arpeggio.ZeroOrMore(omc_record_element, sep=",")
def omc_component_list():
return arpeggio.ZeroOrMore(omc_component, sep=",")
def forall():
return namedterm, ':', term, ap.ZeroOrMore(',', term)
def multargs():
return args, ap.ZeroOrMore(';', args)
def args():
return arg, ap.ZeroOrMore(',', arg)
def textUntilNewLine():
return ar.ZeroOrMore(
[oneLineTag, tagSelected, codeString, plainTextUntilNewLine])
def text():
return ar.ZeroOrMore([oneLineTag, tagSelected, codeString, plainText])
def args():
return (beginTag, ar.ZeroOrMore(arguments, sep=separator),
ar.Optional(separator), ws, endTag)
def ws():
return ar.ZeroOrMore(_(r'\t| '))
def args():
return term, ap.ZeroOrMore(',', term)
def args():
return subterm, ap.ZeroOrMore(',', subterm)
def not_forall():
return 'not', namedterm, ':', term, ap.ZeroOrMore(',', term)
def omc_value_list():
return arpeggio.ZeroOrMore(omc_value, sep=",")
def body():
return expression, ap.ZeroOrMore(';', expression)
def subscript_list():
return arpeggio.ZeroOrMore(std.subscript, sep=",")
def args(): return subterm, ap.ZeroOrMore(',', subterm)
def term(): return ap.Optional('not'), ident, ap.Optional("(", args, ")")
def terms():
return ap.ZeroOrMore(term)
def forall(): return term, ':', term, ap.ZeroOrMore(',', term)
def expression(): return [forall, term]
def multiple_values_blank_separated():
return arpeggio.ZeroOrMore(GrammarBasic.unicode_string)
def body(): return expression, ap.ZeroOrMore(';', expression)
def constraint(): return ':-', body
def head(): return term, ap.ZeroOrMore(';', term)
def rule(): return head, ':-', body
def text():
return ap.ZeroOrMore([r'\"', ap.RegExMatch(r'[^"]*')])
def unsigned_integer():
"""Unsigned integer."""
return (number_element,
arpeggio.ZeroOrMore(arpeggio.Optional(couple_word),
number_element))
def space():
return ar.ZeroOrMore(_(r'\t| '))
