Package aterm :: Module build :: Class Parser

[frames] | no frames]

Class Parser

Parse a term pattern into a tree of term builders.

Instance Methods

handleInt(self, value)

handleReal(self, value)

handleStr(self, value)

handleNil(self)

handleCons(self, head, tail)

handleAppl(self, name, args, annos=Nil())

handleWildcard(self)

handleVar(self, name)

handleApplCons(self, name, args, annos=Nil())

Inherited from parser.Parser: __init__, consume, getFilename, match, term, term_args, term_list, term_list_tail

Method Details

handleInt(self, value)

Overrides: parser.Parser.handleInt

handleReal(self, value)

Overrides: parser.Parser.handleReal

handleStr(self, value)

Overrides: parser.Parser.handleStr

handleNil(self)

Overrides: parser.Parser.handleNil

handleCons(self, head, tail)

Overrides: parser.Parser.handleCons

handleAppl(self, name, args, annos=Nil())

Overrides: parser.Parser.handleAppl

handleWildcard(self)

Overrides: parser.Parser.handleWildcard

handleVar(self, name)

Overrides: parser.Parser.handleVar

handleApplCons(self, name, args, annos=Nil())

Overrides: parser.Parser.handleApplCons