(self, tokens, command)
Consumes a single '('
Consumes a single '('
Consumes a single (
def consume_opening(self, tokens, command):
        """ Consumes a single '(' """
        try:
            p = tokens.consume_maybe()
        except StopIteration:
            raise #Re-raise execption for higher-level management, see get_command()
        if p != "(":
            raise PysmtSyntaxError("Unexpected token '%s' in %s command. "
                                   "Expected '('" %
                                   (p, command), tokens.pos_info)
def consume_opening ( self , tokens , command ) : try : p = tokens . consume_maybe ( ) except StopIteration : raise #Re-raise execption for higher-level management, see get_command() if p != "(" : raise PysmtSyntaxError ( "Unexpected token '%s' in %s command. " "Expected '('" % ( p , command ) , tokens . pos_info )