Package transf :: Package parse :: Module compiler :: Class Compiler

[frames] | no frames]

Class Compiler

Instance Methods

__init__(self, debug=False)
x.__init__(...) initializes x; see x.__class__.__doc__ for signature

stmt(self, s)

definitionsDefs(self, tdefs)

predefineVarDef(self, n, t)

predefineTransfDef(self, n, t)

predefineMacroDef(self, n, a, t)

defineVarDef(self, n, t)

type(self, t)

defineTransfDef(self, n, t)

defineMacroDef(self, n, a, t)

doTransf(self, n, t)

transfIdent(self)

transfFail(self)

transfMatch(self, t)

transfBuild(self, t)

transfCongruent(self, t)

transfComposition(self, l, r)

transfChoice(self, o)

transfLeftChoice(self, l, r)

transfGuardedChoice(self, l, m, r)

transfTransf(self, n)

transfMacro(self, i, a)

transfRule(self, m, b)

transfRuleIf(self, m, b, w)

transfWhere(self, t, w)

transfApplyMatch(self, t, m)

transfApplyAssign(self, l, r)

transfBuildApply(self, t, b)

transfIf(self, conds, other)

doIfClause(self, t)

transfSwitch(self, expr, cases, other)

doSwitchClause(self, t)

transfJoin(self, l, r, u, i)

transfIterate(self, o, u, i)

transfRec(self, i, t)

transfGlobal(self, vs, t)

transfScope(self, vs, t)

transfWithDef(self, v, t)

transfObj(self, o)

staticInt(self, i)

staticReal(self, r)

staticStr(self, s)

staticNil(self)

staticCons(self, h, t)

staticCat(self, h, t)

staticUndef(self)

staticAppl(self, n, a)

staticApplName(self, n)

staticWildcard(self)

staticVar(self, v)

staticWrap(self, t)

staticAnnos(self, t, a)

match(self, t)

build(self, t)

congruent(self, t)

termInt(self, i, mode)

termReal(self, r, mode)

termStr(self, s, mode)

termNil(self, mode)

termCons(self, h, t, mode)

termCat(self, h, t, mode)

termAppl(self, name, args, mode)

termApplName(self, name, mode)

termApplCons(self, n, a, mode)

termWildcard(self, mode)

termVar(self, v, mode)

termWrap(self, t, mode)

termAnnos(self, t, a, mode)

term_Term(self, t, mode)

collectVar(self, name, vars)

collectWithDef(self, name, t, vars)

collectGlobal(self, names, operand, vars)

collect_List(self, elms, vars)

collect_Appl(self, name, args, vars)

collect_Term(self, t, vars)

id(self, i)

id_list(self, l)

idRef(self, i)

var(self, v)

local(self, v)

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

Class Variables
	definitions = `walker.Dispatch('definitions')`
	predefine = `walker.Dispatch('predefine')`
	define = `walker.Dispatch('define')`
	transf = `walker.Dispatch('transf')`
	static = `walker.Dispatch('static')`
	term = `walker.Dispatch('term')`
	collect = `walker.Dispatch('collect')`

Properties
Inherited from `object`: `__class__`

Method Details

init(self, debug=False)
(Constructor)

x.__init__(...) initializes x; see x.__class__.__doc__ for signature

Overrides: aterm.walker.Walker.__init__

Class Compiler

__init__(self, debug=False) (Constructor)

init(self, debug=False)
(Constructor)