(self, tokens, command)
Consumes a single ')'
Consumes a single ')'
Consumes a single )
def consume_closing(self, tokens, command):
        """ Consumes a single ')' """
        p = tokens.consume("Unexpected end of stream. Expected ')'")
        if p != ")":
            raise PysmtSyntaxError("Unexpected token '%s' in %s command. "
                                   "Expected ')'" %
                                   (p, command), tokens.pos_info)
def consume_closing ( self , tokens , command ) : p = tokens . consume ( "Unexpected end of stream. Expected ')'" ) if p != ")" : raise PysmtSyntaxError ( "Unexpected token '%s' in %s command. " "Expected ')'" % ( p , command ) , tokens . pos_info )