(self, string)
Parses the content of the given string
Parses the content of the given string
Parses the content of the given string
def parse(self, string):
        """Parses the content of the given string"""
        self.token = None
        self.tokenizer = self.lexer.tokenize(string)
        self.token = next(self.tokenizer)
        result = self.expression()
        try:
            bd = next(self.tokenizer)
            raise PysmtSyntaxError("Bogus data after expression: '%s' "
                                   "(Partial: %s)" % (bd, result))
        except StopIteration:
            return result
def parse ( self , string ) : self . token = None self . tokenizer = self . lexer . tokenize ( string ) self . token = next ( self . tokenizer ) result = self . expression ( ) try : bd = next ( self . tokenizer ) raise PysmtSyntaxError ( "Bogus data after expression: '%s' " "(Partial: %s)" % ( bd , result ) ) except StopIteration : return result