Package aterm :: Module match :: Class Str
[frames] | no frames]

Class Str




String term matcher.

Instance Methods
 
__init__(self, value)
 
visitStr(self, term, match)

Inherited from Matcher: match, visitTerm

Inherited from visitor.Visitor: visit, visitAppl, visitCons, visitInt, visitList, visitLit, visitNil, visitReal

Inherited from object: __delattr__, __getattribute__, __hash__, __new__, __reduce__, __reduce_ex__, __repr__, __setattr__, __str__

Properties

Inherited from object: __class__

Method Details

__init__(self, value)
(Constructor)

 
Overrides: visitor.Visitor.__init__

visitStr(self, term, match)

 
Overrides: visitor.Visitor.visitStr